A Semantics for Hybrid Object-Oriented Prolog Systems.
Bernd MüllerPublished in: IFIP Congress (1) (1994)
Keyphrases
- object oriented
- logic programming
- expert systems
- programming language
- management system
- knowledge based systems
- logic programming language
- reasoning systems
- object oriented database systems
- semantic information
- relational databases
- knowledge base
- database
- learning systems
- data management
- conceptual model
- theorem proving
- software engineering
- formal semantics