关于prolog的一些链接

Visual Prolog

http://www.visual-prolog.com

Quintus Prolog

http://www.sics.se/quintus

SWI-Prolog

http://www.swi.psy.uva.nl/projects/SWI-Prolog/

关于Prolog的一些工具和源码

http://www.programming-x.com/programming/prolog.html