A Restriction Mapping Engine Using Constraint Logic Programming.

Trevor I. Dix Chut N. Yee

Published in: ISMB (1994)

Keyphrases

constraint logic programming
constraint solving
logic programming language
logic programming
answer set programming
constraint programming
constraint propagation
proof theoretic
logic programs
global constraints
temporal reasoning
knowledge base
search algorithm
finite domain
proof theory
programming paradigms