horc: lightweight Horn-clause interpreter
horc is a free and open-source tool for programming with Horn clauses (opens in new tab). Horn clauses are the core of Prolog (opens in new tab) and logic programming (opens in new tab) in general. horc is an extension to Prolog’s interpreter…