Whats the relation between RIF and Functional-Logic Programming?
Both are founded on Horn logic with equality. Functional-Logic Programming is built on Horn logic with oriented equations in rule conclusions, used to define functions. In that sense it specializes RIF-BLD, built on Horn logic with symmetric equations. However, Functional-Logic Programming permits higher-order functions, while RIF-BLD only permits first-order functions. For an introduction to functional-logic technology, with many examples, see Visualizing Executable Functional-Logic Specifications.
