Terminology: "true", "entailed", "provable", "holds"

6 posts were split to a new topic: How do you get syntax highlighting in comments that aren’t obviously Prolog?