Integrating Logic Programming and Equational Specification of Abstract Data Types.
Christoph BeierleUdo PletatPublished in: ALP (1988)
Keyphrases
- logic programming
- abstract data types
- programming language
- logic programs
- data types
- high level
- answer set programming
- deductive databases
- relational database systems
- object oriented databases
- knowledge representation
- logic programming language
- object oriented
- answer sets
- software engineering
- reasoning about actions
- theorem proving
- data model
- general purpose
- stable models
- knowledge base
- default logic
- inductive logic programming
- constraint logic programming
- defeasible argumentation
- domain knowledge
- database systems
- database management systems
- horn clauses
- query processing
- relational databases
- data mining
- disjunctive logic programming
- databases