Assertion: f logic | /r/CapableOf | stand in same relationship
Facets:
value: to object-oriented programming
type: OTHER
value: as classical predicate calculus
type: MANNER
Source sentences:
text: F-logic stands in the same relationship to object-oriented programming as classical predicate calculus stands to relational database programming.