LMNtal as a hierarchical logic programming language.

Published in: Theor. Comput. Sci. (2009)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
high level
logic programs
database
optimal solution
video sequences
programming language