swipl
swipl copied to clipboard
SWI-Prolog
SWI-Prolog stable releases
No matter what I do, when readln reaches the end of the input it just returns an empty list. Here's the current version of the script I'm trying to write:...
Hi, could you update the information of the foreign function interface? If I understand correctly, since 8.2.0 version, `PL_register_foreign` takes a function with the return with `pl_function_t` instead of `foreign_t`....
8.4.2 seems to have a regression in how test output is handled. This regression seems to only exist in 8.4.2, and not in 8.4.1 or in the dev branch. Given...
**Summary** On some systems, `SIGTERM` (e.g. using `kill`) doesn't terminate the `swipl` process. `SIGKILL` (e.g. `kill -9`) does still kill the process. **Background** We first ran into this issue after...
I'm following the commands: `cd swipl-devel mkdir build cd build cmake -DCMAKE_INSTALL_PREFIX=$HOME/opt/swipl-8.0.3 .. make ctest -j 4 sudo make install` where `DCMAKE_INSTALL_PREFIX=$HOME/opt/swipl-8.0.3`. During `make` I get the repeated error shown...
When using the online manual browser in SWI-Prolog 7.4.2, I’m seeing odd rendering issues in headlines, code blocks, underlined words, crossreferences and literature references.  When I copy-paste text portions...
The Fedora project is currently rebuilding all packages with a GCC 15 prerelease. GCC 15 changes the default C standard from C17 to C23. In C23, the semantics of `type...
Attempting to trace failure of `is_list/1` leads to an error. ``` ?- trace(is_list/1, +fail). % is_list/1: [fail] ERROR: sig_atomic/1: C-stack limit (8,372,224 bytes) exceeded. ERROR: Use the shell command ERROR:...
