Prolog  Site

 

ÇÙ½É »çÀÌÆ®

Prolog study of Oxford                      

AI Programming (Prolog) : ¹öŬ¸® ´ëÇÐ

Visual Prolog download                      

Visual Prolog Language Tutorial    

PPT : ¹èÀç´ë

Prolog »çÀü                                       

Prolog Tutorial

ÀÚ·á½Ç

news group (Google) : comp-lang-prolog

www.faqs.com ÀÇ 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.