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↑
Context-based ↑
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 ↑

lambda-Prolog(ID:2153/lam006)

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
References:
  • 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