Stu

What did work for me: ``` git clone --recursive https://github.com/andrewssobral/bgslibrary.git cd bgslibrary OpenCV_DIR=../opencv/build pip install . ```

Fixed a bug in the unload step ^^ above ^^. ```prolog.query(unload_file('f'))``` still fails to unload the name foo.

Did you try: prolog.query("f(X)", catcherrors=False) ? On Mon, Dec 28, 2020 at 8:04 AM pampelmuse76 wrote: > A python program, which does not determine in the prolog part, > cannot...

Tabling requires swi-prolog >= 8.x.x. Support pyswip support for 8.x.x is in PR: https://github.com/yuce/pyswip/pull/93

Is it still same if you switch the catch_exception parameter?

This is a limitation of SWI prolog. The C interface supported multiple execution threads, but only a single (global) database. You will not need to start/stop prolog process though (they...

Yes. You can place all of your rules and facts into a single module that is independent of the rest of the database. You can them query for and abolish...

https://swi-prolog.discourse.group/t/threaded-queries-rulebase-independence/1236/11

Have you tried: ``` module_name = 'foo' prolog.query(f"use_module(library({module_name}),[])") ```

Neither of: ``` args.append("--no-tty") args.append("--tty=false") ``` in initialize fixes this. Are the not correctly loaded into the initialize call. (Perhaps not -- these options dont seem to disable interactive input...