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.
Sponsored listings
Avaya Definity Circuit Packs
-
Browse our large Inventory of Lucent and Avaya Circuit packs, Hard to find like new and refurbished Definity G3, Prologic boards.
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 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.
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.
