Informal introduction to Starlog
Cleary, J.G. (1993). Informal introduction to Starlog (Working paper 93/10). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/9961
This report provides an informal and gentle introduction to the logic programming language Starlog and is intended to eventually form the first chapter of a book on Starlog. Like Prolog (a widely known and common logic programming language), Starlog programs consist of sets of Horn clauses. Starlog differs from Prolog in the way it is executed and in the use of logical time to order execution. The style of programming that results tends to be different from Prolog and similar to programs for relational databases.
University of Waikato, Department of Computer Science
©1993 John G. Cleary.
- 1993 Working Papers