PM 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: ftp://ftp.irisa.fr/local/pm/ 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: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers