Logic Java: Combining Object-Oriented and Logic Programming.

Tim A. Majchrzak Herbert Kuchen

Published in: WFLP (2011)

Keyphrases

logic programming
object oriented
programming language
classical logic
logic programs
logic programming language
computational logic
answer set programming
nonmonotonic reasoning

deductive databases
knowledge base
general purpose
query language
software engineering
knowledge representation
knowledge representation and reasoning
classical first order logic
propositional variables

relational databases
default logic
constraint logic programming
inductive logic programming
declarative semantics
answer sets
data model
knowledge representation language
high level

database design
linear logic
reasoning tasks
probabilistic reasoning
default theories
database systems
fixpoint
databases
defeasible argumentation