prological
Hmm horn clauses..?