SAL Home PROGRAM Languages & Compilers


Lygon is a logic programming language that is based on linear logic. It can be viewed as Prolog extended with features derived from linear logic. These features include a clean declarative notion of state and the ability to express problems involving concurrency. In addition, the availability of use once predicates allows simple solutions to problems such as graph manipulation. Just as Prolog programmers do not require a knowledge of proof theory a knowledge of proof theory (used in the derivation of Lygon) is not needed to program in Lygon.

Current Version:   ??

License Type:   Free

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   No

Targeted Platforms:

Where Tcl/Tk and BinProlog are available.

Software/Hardware Requirements:

Tcl/Tk and BinProlog

Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.