Assertion: f logic | /r/CapableOf | extend logic programming
Facets:
value: with the frame syntax
type: OTHER
value: with objects
type: OTHER
Source sentences:
text: F-logic extends logic programming with objects and the frame syntax.