SWI-Prolog A logical programming language. Useful URL: SWI-Prolog: jrfisher/www/prolog_tutorial/ kris/learn-prolog-now/lpnpage.php?pageid=teaching.
