swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
While building SWI-Prolog from source, I discovered ctest would fail in certain environments and not in others. It turns out that there's a single test, `string:string_upper`, which succeeds or fails...
When packaging for openSUSE, our rpmlinter is unhappy because of: ``` [ 126s] swipl.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/lib/swipl/lib/x86_64-linux/pl2xpce.so [ 126s] swipl.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/lib/swipl/lib/x86_64-linux/socket.so [ 126s] The binary calls gethostbyname. Please...
Building of swipl (9.3.7) package on openSUSE fails on `ppc64le` architecture with this error: ``` [ 213s] [2274/2598] : && /usr/bin/cc -fPIC -O2 -Wall -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=3 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection...
I get the following when doing a local install. The problem goes away when I remove the line ``` requires(prolog:c_cxx). ``` Note that `pack.pl` also contains the line `requires(prolog >=...
I added new tests for the `rwlocks` module: - A test to check if priority handling works correctly - A test to make sure timeouts work as expected - A...
Yeah, the [library(portray_text)](https://www.swi-prolog.org/pldoc/man?section=portraytext) in [SWI-Prolog](https://www.swi-prolog.org/pldoc/doc_for?object=manual) assumes the signature is_text_code(+Code:nonneg), subsequently this here doesn’t work: ```prolog /* SWI-Prolog 9.3.24 */ ?- set_portray_text(enabled, true). true. ?- set_prolog_flag(double_quotes, chars). true. ?- X =...
There seems to be no way for SWI Prolog to read exactly one byte from `user_input` on Windows. This is because `user_input`'s encoding is locked as `wchar_t` which on Windows...
## Overview Running [GNU binutils][2] `strip` on a `qsave_program/2` standalone ELF binary removes the save state data, resulting in a binary that just drops to a dry swipl REPL, _i.e._...
The current wasm build it targeting browser use cases. The build artefacts are JS loader files and a swipl-web.wasm and a swipl-web.data file. My use case is to run on...
