Lygon

Appeared in Volume 8/3, August 1995

Lygon is a logic programming language based on linear logic, and hence is a generalisation of (pure) Prolog. Due to the resource-oriented nature of linear logic, Lygon can be used to provide simple and elegant solutions for graph manipulations, bin packing problems, counting programs, and programs which requiring reasoning about state.

Lygon can be executed on a variety of architectures, and the implementation includes a variety of facilities to support debugging.

Lygon is freely available, and feedback on any aspect of the language is most welcome.

More information (including how to obtain the system) may be found on the Lygon WWW page at:

http://www.cs.mu.oz.au/~winikoff/lygon/lygon.html

Or via email from:

James Harland (jah@cs.rmit.edu.au) or
Michael Winikoff (winikoff@cs.mu.oz.au)