Wikibooks:Collections/Prolog:A Programming Languag

by:Guru,CSE,HETC[2014]

 * Prolog
 * What is Prolog
 * History
 * Introduction to logic
 * Glossary
 * Built-in predicates
 * Frequently Asked Questions


 * Beginning Prolog
 * Introduction
 * Rules
 * Recursive Rules
 * Variables
 * Lists
 * Math, Functions and Equality
 * Putting it Together


 * Programming:
 * Cuts and Negation
 * Reading and Writing code
 * Difference Lists
 * Definite Clause Grammars
 * Inference Engines


 * Built-in Predicates:
 * Testing Terms
 * Bagof, Setof and Findall
 * Modifying the Database
 * Input and Output


 * Advanced Prolog
 * Associative map
 * Search techniques
 * Sorting
 * Graphics: XPCE


 * Prolog and beyond
 * Higher Order Programming
 * Constraint Logic Programming
 * Combining Languages
 * External Links