First-Order Disjunctive Logic Programming vs Normal Logic Programming

Open in new window