swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
The traceback doesn't make sense. When I ran under `gdb`, the crash seems to have happened somewhere inside `PL_initialise()`, where it calls `prologTopLevel()` (`pl-init.c:1247`). ``` [peter@penguin man (master=)]$ swipl-ld -goal...
swipl-ld looks for these flags that don't exist from `swipl --dump-runtime-variables`: `PLLIBS` (this has a comment "Always required") `PLLDFLAGS` `PLCFLAGS` These are missing from "help": `-pg*` `-g3` `-gdward-*` and the...
Latest versions of LVM and Trealla Prolog implement a `function_property/2` built-in predicate, which provides similar functionality to the de facto standard `predicate_property/2` built-in predicate, allowing checking or enumerating the properties...
`In file included from /home/oper/Programs/swipl-devel/src/pl-incl.h:132:0, from /home/oper/Programs/swipl-devel/src/pl-atom.h:36, from /home/oper/Programs/swipl-devel/src/pl-atom.c:38: /home/oper/Programs/swipl-devel/src/pl-builtin.h:331:41: error: missing binary operator before token "(" #if defined(__GNUC__) && __has_attribute(error)` `gcc --version gcc (GCC) 11.2.1 20220127 (Red Hat 11.2.1-9)...
This is related to this ticket: https://github.com/SWI-Prolog/swipl-devel/issues/1159 An offending test case is: ``` /* SWI-Prolog 9.1.7 */ ?- T = s(s(T, S), _), S = s(S,T), term_factorized(T, _, _). ERROR:...
Currently there is a PR open in npm-swipl-wasm to properly use `swipl.js` for node rather than copying `swipl-web.js` to `swipl.js` (see https://github.com/SWI-Prolog/npm-swipl-wasm/pull/101). As can be [seen in the CI](https://github.com/SWI-Prolog/npm-swipl-wasm/actions/runs/4695450249/jobs/8324637129); this...
For example: ``` ?- X=f(X,a(X)), Y=f(Y,b(Y)), Z=f(Y,c(Y)), compare(A,X,Y), compare(B,Y,Z), compare(C,X,Z). X = f(X, a(X)), Y = f(Y, b(Y)), Z = f(Y, c(Y)), A = B, B = (). ``` Also:...
Per https://github.com/emscripten-core/emscripten/issues/19141#issuecomment-1498443649 - `dlopen` usages appear to be causing problems with the webassembly builds of this library - I'm wondering if they can be removed.
`test_cpp.{cpp,pl}` causes a memory leak in GMP (this seems to be related to bug https://github.com/SWI-Prolog/swipl-devel/issues/1141). The cause seems to be that `mpz_init_set_si64(MPZ_MIN_TAGGED, PLMINTAGGEDINT)` causes a GMP object to be allocated,...
When packaging swipl 9.0.4 on openSUSE, swipl:transaction test fails on i586 (it builds everywhere else including x86_64, aarch64, armv7l, and s390x): ``` [ 118s] 5/79 Test #16: swipl:transaction ................***Failed 0.41...
