Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.

Daniel Cabeza Manuel V. Hermenegildo James Lipton

Published in: ASIAN (2004)

Keyphrases

logic programming language
higher order
logic programming
inference rules
constraint logic programming
pairwise
situation calculus
first order logic
declarative semantics
high order
query language
probabilistic model
markov random field