H ? « »

Language peer sets for lambda-Prolog:
United States
United States/1988
Designed 1988
1980s languages
Fifth generation
Late Cold War
Genus Horn clause
String and List Processing
Horn clause
Data representation
Horn clause/1988
Context-based /1988
Data representation/1988
Horn clause/United States
Context-based /United States
Data representation/United States
String and List Processing
String and List Processing/1988
String and List Processing/us


alternate simple view
Country: United States
Designed 1988
Genus: Horn clause
Sammet category: String and List Processing

An extension of standard Prolog, in which terms are typed lambda-terms.

Related languages
LAMBDA lambda-Prolog   Influence
Prolog lambda-Prolog   Evolution of
lambda-Prolog PM   Adaptation of

  • Nadathur, Gopalan and Dale Miller (1988) Nadathur, Gopalan and Dale Miller "An Overview of Lambda Prolog" Technical Report DUKE--TR--1988--14 Duke University Durham 1988 Abstract
  • Nadathur, Gopalan (1998) Nadathur, Gopalan "An Explicit Substitution Notation in a lambda Prolog Implementation" Technical Report, University of Chicago January 1998
  • Nadathur, Gopalan (2001) Nadathur, Gopalan "The Metalanguage lambda-Prolog and Its Implementation" FLOPS 2001: 1-20 Abstract DOI
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder