Assertion: computer science's application | /r/HasProperty | unification
Facets:
Source sentences:
text: Application: unification in logic programming [ edit ]