Prolog Site
ÇÙ½É »çÀÌÆ®
AI Programming (Prolog) : ¹öŬ¸® ´ëÇÐ
Visual Prolog Language Tutorial
ÀÚ·á½Ç
news group (Google) : comp-lang-prolog
CMU Prolog Repository : free/shareware Prolog implementations
book
Prolog Programming for AI (3rd ed.) : Ivan Bratko : Jozef Stefan Institute (½½·Îº£´Ï¾Æ) :
Prolog Programming: A First Course : on-line book by Paul Brna.
Logic, Programming and Prolog : on- line book by Ulf Nilsson and Jan Maluszynski.
Logic programming books and Prolog programming books listed by Amazon.com
Logic programming books in MIT press
Window on PC¿¡¼ »ç¿ë°¡´ÉÇÑ prolog compiler
Amzi! Prolog + Logic Server . Commercial implementation for embedding Prolog in other tools. See Prolog information and demos and samples.
ADA Prolog (fairly slow) and ESL Prolog (good, fast). (See contents for full list.)
LPA WIN-Prolog is a commercial implementation available
Qu-Prolog. symbolic computation for mathematical notations and specification languages such as Z
Strawberry Prolog freeware Prolog compiler
Trinc-Prolog. An object-oriented Prolog
Visual Prolog from the Prolog Development Center freeware version.
ALS Prolog compiler from Applied Logic Systems, Inc.
Quintus Prolog. For Unix and MS Windows.
SWI-Prolog. For Unix and MS Windows.