From Abstract Data Types to Logic Programs: A Transformational Approach.
Naji HabraPublished in: ICLP Workshop on Construction of Logic Programs (1991)
Keyphrases
- logic programs
- abstract data types
- data types
- logic programming
- programming language
- object oriented databases
- relational database systems
- answer sets
- fixpoint
- data model
- stable models
- normal logic programs
- relational databases
- answer set programming
- partial deduction
- preprocessing
- computational properties
- object identity
- prolog programs
- data structure
- database
- general purpose
- database systems
- strong equivalence
- term rewriting systems
- deductive databases
- multi dimensional
- query processing
- artificial intelligence
- data mining
- databases