A Concise Introduction to Prolog

Copyright © 1989, 1995 by David Matuszek
A first look at Prolog
Prolog syntax (approximate)
Unification and instantiation
Variables
Prolog execution
Lists and strings
How to run Prolog
How to write Prolog programs
Built-in predicates:
        Input predicates
        Output predicates
        Control predicates
        Database manipulation predicates
        Arithmetic predicates
        Listing and debugging predicates
        Tests
Copyright © 1995 by David Matuszek
All rights reserved.
 Last updated July 15, 1995