Not for general purpose programming
More restricted computation model of proving assertions from collections of facts and rules
Think of queries working on a database of facts with rules that permit inferring new facts
Query is just a theorem to be proven