Situation: my Prolog application mainly consists of a predicate's fact clauses.