Implementing type theory in higher order constraint logic programming.

Ferruccio Guidi Claudio Sacerdoti Coen Enrico Tassi

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

constraint logic programming
higher order
proof theoretic
constraint solving
logic programming language
logic programming
answer set programming
high order
temporal reasoning
pairwise
constraint programming
markov random field
search algorithm
knowledge base