Assertion: mercury | /r/HasProperty | based on the logic programming language
Facets:
Source sentences:
text: Mercury is based on the logic programming language Prolog.