swipl | SWI-Prolog stable releases

Based on some older post, I have some prolog program, which specifies propositions. Let's call it "logic.pl"

To call prolog programs in python there is the libary pyswip.

Is there a possibility to get information if a rule for a given value is true or false. If I call a fact in console from swipl I get e.g.

...

I'm totally new to Prolog so I might be really off here. I'm trying to solve the following problem for the past week:

I figure it may not be built to do that but I might ask.

I want to run a simple cli application and have it show the backtrace in case of error.

swipl -f test.pl -g test(X)

This runs the goal test in the program.

ERROR: -g test(X): Arguments are not sufficiently instantiated

However, it doesn't show the full backtrace. What I need to do is every time, open the GUI, type guitracer,trace, run it, etc. That shows the program can keep a backtrace.

I figure it may not be built to do that but I might ask.

I generated a large file of paths via eclipse. Each line contains a clause for a list of 27 points.

I am having an issue in which a specific test returns false when I put it in a test suite and pass it through logtalk, but returns true (which is the desired behavior) when I run it through an interpreter using the same backend compiler (SWI-Prolog). Here is the relevant piece of the logtalk tests results, a snapshot of what the test looks like within the student directory, and the output when I pass the identical test through the SWI interpreter.

Test results:

Test case in tests.lgt:

Results from running through swipl:

Any assistance would be greatly appreciated.

Thank you.

I'm trying to use the WordNet package for swi-prolog and I can't seem to be able to use it after install. I'm on MacOS Big Sur. I have tried fresh installs with both homebrew and macports, and I've even tried the docker container and I get the same error every time.

This is the process and ouput:

I am trying to make a prolog api where I call a given prolog link from another program. After several tries and learning prolog, this is the best version of the code I've been able to write

I have a very simple Prolog function but Prolog always returns false from the comparison and I can't work out why. I want to take N letters of the alphabet and put them in a list. So if I call it with N=6, I want [A,B,C,D,E,F]. Can anyone tell me what I'm doing wrong please?