Translating a Linear Logic Programming Language into Java.

Mutsunori Banbara Naoyuki Tamura

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
programming language
situation calculus
special case
logic programs
object oriented concepts
artificial intelligence
open source
source code
database
high level
java programs