SWI-Prolog Did You Know Did you know? Early Prologs ended clauses with AMEN Search Documentation:
Predicate ord_subtract/3