CMU Artificial Intelligence Repository
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
Functional Programming, Logic Programming,
Programming Languages!Functional Programming,
Programming Languages!Logic Programming,
Last Web update on Mon Feb 13 10:34:36 1995