Update the Quintus Prolog adapter file with an experimental and incomplete hack to account for most arithmetic functions being implemented as predicates