Assertion: mercury | /r/HasProperty | declarative language
Facets:
value: unlike prolog
type: OTHER
value: purely
type: DEGREE
Source sentences:
text: Mercury is a purely declarative language, unlike Prolog, since it lacks extra-logical Prolog statements such as !