Lygon 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: http://www.cs.mu.oz.au/~winikoff/lygon/lygon.html 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: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers