NETPROLOG-A Logic Programming System for the Java Virtual Machine.
Cedric Luiz de CarvalhoEduardo Costa PereiraRita Maria da Silva JuliaPublished in: ICEIS (1999)
Keyphrases
- logic programming
- java virtual machine
- logic programs
- program execution
- logic programming language
- virtual machine
- knowledge representation
- answer set programming
- garbage collection
- deductive databases
- memory management
- java programs
- programming language
- default logic
- answer sets
- knowledge base
- constraint logic programming
- type checking
- stable models
- situation calculus
- operating system
- object oriented
- computer science
- database systems
- high level
- databases