Update the SICStus Prolog adapter file to test for the availability of the `acyclic_term/1`, `subsumes_term/2`, and `term_variables/2` predicates as built-ins before adding workaround definitions for them

Add workaround definition for the missing `acyclic_term/1` standard predicate to the adapter files of Lean Prolog, Qu-Prolog, and SICStus Prolog