Assertion: mercury | /r/HasProperty | viewed as pure subset of prolog
Facets:
value: with modes
type: OTHER
value: with strong types
type: OTHER
Source sentences:
text: It can be viewed as a pure subset of Prolog with strong types and modes.