Higher-Order Logic Programming Languages with Constraints: A Semantics.
James LiptonSusana NievaPublished in: TLCA (2007)
Keyphrases
- programming language
- higher order logic
- denotational semantics
- higher order
- conditional logic
- logic programming
- specification language
- theorem prover
- object oriented
- programming language constructs
- general purpose
- logical framework
- database languages
- software engineering
- lambda calculus
- strongly typed
- high level
- nonmonotonic reasoning
- default reasoning
- programming environment
- domain specific languages
- formal semantics
- constraint satisfaction
- object oriented concepts
- databases
- belief revision
- modal logic
- operational semantics
- abstract data types
- program code
- source code
- knowledge representation
- database systems
- artificial intelligence
- fluent calculus
- machine learning