How to Generalize Logic Programming to Arbitrary set of Clauses
Slaviša_B. Prešić
We state how one can extend Logic Programming to any set of clauses.