Search
Now showing items 1-1 of 1
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
(Elsevier, 2010-01-25)
Horn⊃ is a logic programming language that extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a way of structuring programs in logic programming. We ...