最終更新:2008-09-05 (金) 06:57:35 (4351d)  

SWI-Prolog
Top / SWI-Prolog

http://www.swi-prolog.org/