Can logic programming be liberated from predicates and backtracking? [pdf]

Automatic layout algorithms compute layouts for diagrams

Sequentially Constructive Concurrency: Conservative Extension of Synchronous Computation

A Theory of Neural Computation with Clifford Algebras (2005)

Curry - Statically-typed, Functional and Logic Programming Language

Curry: A Tutorial Introduction