Assertion: logic | /r/CapableOf | represent a logic program
Facets:
Source sentences:
text: where "Logic" represents a logic program and "Control" represents different theorem-proving strategies.