Version 2 of Prolog-D-Linda