Title: Disjunctions in forward chaining logic programming
Subjects: Logic design, Computer programs