/ Linux Software Directory / Development / Languages / Prolog
 
Swi-pl - Prolog interpreter and compiler