SAL Home PROGRAM Languages & Compilers


PM (Prolog/Mali) is a compiler for the logic programming language LambdaProlog which is an extension of standard Prolog where terms are simply typed lambda-terms. Possible applications are those of standard Prolog, with a real plus for those where scoping of variables is important, e.g. theorem-proving, implementation of type systems, formal transformation on structured programs ...

Current Version:   ??

License Type:   GPL

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

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

Targeted Platforms:

HP9000, Linux, Solaris, Sun4

Software/Hardware Requirements:


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.