Removed PlTerm::unify_*_check()
Added example code for backtracking predicate that gets info on int types Fixing integer overloading for win32, MacOS
remove many of the overloaded methods and instead use names derived from the underlying SWI-Prolog PLput() and PL_unify()
I've given up on trying to get overloading to work properly for integers on all platforms. Perhaps in future, something better can be worked out.
(This has been tested in win32 and win64; but not on MacOS)
Removed PlTerm::unify_*_check() Added example code for backtracking predicate that gets info on int types Fixing integer overloading for win32, MacOS
I've given up on trying to get overloading to work properly for integers on all platforms. Perhaps in future, something better can be worked out. (This has been tested in win32 and win64; but not on MacOS)