A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.
Erik SandewallPublished in: IJCAI (1971)
Keyphrases
- predicate calculus
- programming tool
- first order logic
- database
- predicate logic
- formal model
- semantic network
- theorem proving
- knowledge management
- development tools
- text to speech
- programming language
- exception handling
- databases
- data management
- natural language processing
- project management
- relational databases
- artificial intelligence
- data mining