Prolog Last modified: Wednesday, June 27, 2007
Short for Programming Logic, Prolog is a high-level programming language based on formal logic. Unlike traditional programming languages that are based on performing sequences of commands, Prolog is based on defining and then solving logical formulas. Prolog is sometimes called a declarative language or a rule-based language because its programs consist of a list of facts and rules. Prolog is used widely for artificial intelligence applications, particularly expert systems.
•E-mail this definition to a colleague• For internet.com pages about Prolog . Also check out the following links! PC AI - The Prolog Programming Language site  The PC AI Prolog Programming Language site is an extremely comprehensive site which includes a history of Prolog, numerous links to vendors, articles, references, and other informative sites on the Internet. Learning Prolog page Index page of the University of Sheffield's Learning Prolog tutorial. Prolog FAQ Contains answers to frequently asked questions about Prolog and logic programming. Also includes resources such as: archives, newsgroups, books, magazines, compilers, and interpreters. Prolog Resource Guide The Prolog Resource Guide is an index with links to two series of frequently asked questions (FAQs) about Prolog. Prolog Tutorial - Introduction This page is the introduction to a Prolog tutorial, and includes an overview of what Prolog is and its history. The page is linked to a table of contents which leads you through the tutorial. Yahoo!'s Prolog shareware and freeware page Yahoo!'s directory of Prolog shareware and freeware.	Programming Languages Queries artificial intelligence expert system LISP programming language Give Us Your Feedback Shopping Prolog Products Compare Products,Prices and Stores Shop by Category: Garden 0 Store Offers Books 8 Model Matches