Availability of the linear logic programming language Lygon
Subject: Availability of the linear logic programming language Lygon
From: James Harland <firstname.lastname@example.org>
Date: Mon, 26 Jun 1995 16:52:34 +1000
This announcement is being sent to multiple lists. We apologise to those
who receive it more than once.
This message is to announce the availability of the programming
language Lygon. 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
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
or via email from
James Harland (email@example.com) or
Michael Winikoff (firstname.lastname@example.org)