CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Implementations of Functional/Logic Programming Languages


   alf/       ALF: Algebraic Logic Functional programming 
   aspect/    ASpecT: A functional logic programming language.
   eql/       EqL: General purpose language combining 
              functional and logic programming
   fp/        FP: A C implementation of John Backus' "FP" 
   life/      Wild_LIFE: Implementation of LIFE, a programming 
              language that integrates functional programming, 
              logic programming, and object-oriented 
This directory contains a variety of language implementations that integrate functional programming and logic programming.
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Functional Programming, Logic Programming, Programming Languages!Functional Programming, Programming Languages!Logic Programming, Prolog!Implementations
Last Web update on Mon Feb 13 10:34:36 1995