The Logical State Thread Package

Appeared in Volume 10/2, May 1997

The Logical State Threads package simplifies the development of large Prolog programs. It provides a way to avoid many of the arguments in your predicates, whose main purpose is to thread state information through your program. These arguments often make your predicate definitions unnecessarily complicated and difficult to read and modify.

The Logical State Threads package currently works for SICStus Prolog versions 2.1 and 3, but support for other Prolog systems should not be difficult to add.

More information is available at:
http://www.cs.arizona.edu/people/andka/Threads/

You can also find the system by anonymous FTP at:
ftp://ftp.cs.arizona.edu/people/andka/threads-0.1.tar.gz

Comments and error reports are much appreciated.

Andreas Kagedal
Email: andka@cs.arizona.edu