Tests break on current build

[EricZinda]

I'm getting consistent failures on many tests in the current build. If I back out the changes from your last commit, they are fixed.

Here's an example from tests/test_foreign.py:

ERROR: atom_chars/2: Arguments are not sufficiently instantiated EE

ERROR: test_deterministic_foreign (main.MyTestCase)

Traceback (most recent call last): File "/Users/ericzinda/Enlistments/pyswip/tests/test_foreign.py", line 16, in test_deterministic_foreign prolog.assertz("father(michael,john)") File "/Users/ericzinda/Enlistments/pyswip/pyswip/prolog.py", line 140, in assertz next(cls.query(assertion.join(["assertz((", "))."]), catcherrors=catcherrors)) File "/Users/ericzinda/Enlistments/pyswip/pyswip/prolog.py", line 126, in call raise PrologError("".join(["Caused by: '", query, "'. ", pyswip.prolog.PrologError: Caused by: 'assertz((father(michael,john))).'. Returned: 'error(instantiation_error, context(:(system, /(atom_chars, 2)), Variable(72)))'.

====================================================================== ERROR: test_nondeterministic_foreign (main.MyTestCase)

Traceback (most recent call last): File "/Users/ericzinda/Enlistments/pyswip/tests/test_foreign.py", line 44, in test_nondeterministic_foreign result = list(prolog.query("nondet(X)")) File "/Users/ericzinda/Enlistments/pyswip/pyswip/prolog.py", line 126, in call raise PrologError("".join(["Caused by: '", query, "'. ", pyswip.prolog.PrologError: Caused by: 'nondet(X)'. Returned: 'error(instantiation_error, context(:(system, /($c_call_prolog, 0)), Variable(72)))'.

---

Ran 2 tests in 0.003s

FAILED (errors=2)

[JeanChristopheRohner]

@EricZinda Did you find a solution to this?

[kamahen]

Also reported here: https://swi-prolog.discourse.group/t/error-could-not-find-system-resources-when-trying-to-use-pyswip/5517/10

[EricZinda]

No, sorry! That, plus some other issues I encountered caused me to want to try a different approach for swi prolog integration, described here: https://www.swi-prolog.org/pldoc/man?section=mqi-overview. This is now a part of the SWI Prolog distribution.

The python library that goes with it is here: https://pypi.org/project/swiplserver/

[JeanChristopheRohner]

Thanks for the tip!

[kamahen]

See Issue #143 -- it appears that the problem is due to an unexpected version of SWi-Prolog being used. pyswip can check for this using https://www.swi-prolog.org/pldoc/doc_for?object=c(%27PL_version_info%27)

[adamcrussell]

I ran into this problem (swipl 9.0.4) and the fix is to make a small change to core.py in the installed pyswipl. Details are here: https://swi-prolog.discourse.group/t/best-easiest-way-to-downgrade-to-version-8-4-3-on-linux-ubuntu-20-04/5966/9

It is odd that this small fix hasn't made it into the code yet.