Assertion: computer's program | /r/CapableOf | describe desired results
Facets:
value: in declarative programming languages
type: OTHER
Source sentences:
text: In declarative programming languages, the program describes the desired results and doesn't specify changes to the state directly.