CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Other logic-related languages of interest.


   goedel/    Goedel: Prolog-like language with improved 
              declarative semantics.
   ho_unif/   HO_UNIF: Higher Order E-Unification
   prosit/    PROSIT: Programming in SItuation Theory
   sel2/      SEL2: Declarative set-processing language that 
              generates WAM code

CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Logic Languages, Programming Languages!Logic
Last Web update on Mon Feb 13 10:34:43 1995