Add missing definition for the standard `acyclic_term/1` predicate to the Quintus Prolog adapter file