Prolog学习之路 Visual Prolog: http://www.visual-prolog.com/vip/example/ SWI-Prolog: http://www.swi-prolog.org/ Amzi! Prolog + Logic Server™: http://www.amzi.com/AmziPrologLogicServer/index.php