A Fully Abstract Semantics for a Functional Language with Logic Variables
Radha JagadeesanPrakash PanangadenKeshav PingaliPublished in: LICS (1989)
Keyphrases
- propositional dynamic logic
- functional language
- logic programming
- functional programming
- programming language
- object identity
- logical formulas
- logical framework
- proof planning
- object oriented databases
- high level
- model theoretic
- abstract data types
- formal semantics
- reasoning tasks
- predicate logic
- predicate calculus
- classical logic
- active rules
- operational semantics
- default reasoning
- deductive databases
- modal logic
- linear logic
- data model
- data structure
- database systems
- artificial intelligence