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