GOLOG: A Logic Programming Language for Dynamic Domains.

Hector J. Levesque Raymond Reiter Yves Lespérance Fangzhen Lin Richard B. Scherl

Published in: J. Log. Program. (1997)

Keyphrases

logic programming language
logic programming
situation calculus
constraint logic programming
inference rules
declarative semantics
logic programs
search space
constraint solving
machine learning
software engineering
constraint propagation