Lambda Prolog

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedBy gptkb:Dale_Miller
gptkb:Gopalan_Nadathur
gptkbp:firstAppearance late 1980s
gptkbp:hasFeature higher-order unification
explicit lambda abstraction
https://www.w3.org/2000/01/rdf-schema#label Lambda Prolog
gptkbp:implementedIn gptkb:ELPI
gptkb:Teyjus
gptkbp:influencedBy gptkb:lambda_calculus
gptkb:Prolog
gptkbp:paradigm functional programming
logic programming
gptkbp:supports modules
higher-order programming
polymorphic types
abstract syntax with binding
gptkbp:usedFor formal verification
symbolic computation
theorem proving
gptkbp:website https://teyjus.cs.umn.edu/
gptkbp:bfsParent gptkb:Gopalan_Nadathur
gptkb:Teyjus
gptkb:Prolog_programming_language
gptkbp:bfsLayer 8