Forum as a Logic Programming Language.

Joshua S. Hodas Jeffrey Polakow

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

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
digital libraries
web forums
answer set programming
logic programs
general purpose
online forums
objective function
np complete
deductive databases
discussion forums
state space