Guide to Prolog Programming	© Roman Barták, 1998
Home	Previous | Contents | Next
Prolog in Examples

Important!! If you have any problems with accessing links at this page, please check URL in your browser. The right URL of this page is http://kti.mff.cuni.cz/~bartak/prolog/learning.html. Please report this correction to authors of referring pages as well. Thanks.

Note also, that this is not a root page of the Prolog Guide. I recommend you to visit the root page where you can find links to other sections of Prolog Guide.

Chapters in this section are intended to be a tutorial to Prolog programming and to programming in general. You can find here a lot examples of (hopefully) working Prolog programs that show principles of declarative programming (you can try some of them in a new Test Zone). We start with trivial examples to introduce basic program and data structures and continue with more advanced programs which show how to implement algorithms in Prolog and how to solve problems using Prolog.

The goal of this tutorial is to convince you, that Prolog can be an efficient tool to do programming if you know the right techniques.

OK, here is the menu:

• First Steps in Prolog
  • Genealogy Database
  • Representing Data Structures
  • Data Flow and Recursion
  • Recursion in Detail
  • Top Down vs. Bottom Up Computation
• Prolog Data Structures
  terms, unification and operators
  • List Processing
    differential lists
    • Combinatorics
    • Sorting
    • Sets in Prolog
    • Generalized List Processor
  • Arithmetic Expressions
  • Boolean Expressions
  • Graphs in Prolog
    representation, coloring, search (including Dijkstra)
    • Generalized Algorithm for Graph Search
      based on sets of open & closed nodes, coloring, Dijkstra
    • Graph Library
• Special features
  • Cut and if-then-else constructs
  • Negation
    Negation-as-Failure or Constructive Negation?
  • Working with database of clauses
    assert and retract operations
• How does it work?
  some "difficult" features of Prolog

Note, that most of the following subsections are taken from "Learning Prolog in Examples" subsite in the original Interactive Prolog Guide.

Designed and maintained by Roman Barták	Previous | Contents | Next