swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
It looks like v8.5.11 introduced a bug in the crypto library, causing a crash in hashing: ``` $ swipl Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.11) SWI-Prolog comes with...
I can do the following in C++ ``` if ( !(ref_ = PL_new_term_ref()) || !PL_put_atom_nchars(ref_, text.size(), text.data()) ) throw PlResourceError(); ``` but for `wchar_t*` or `std:wstring`, it seems that there's...
When trying to configure cmake on Windows in MSYS, I got this error: ``` CMake Error at packages/swipl-win/CMakeLists.txt:79 (add_executable): add_executable cannot create target "swipl-win" because another target with the same...
merge_options/3 can leave duplicates in the merged list: ``` ?- merge_options([foo(x)], [bar(aaa), foo(y), foo(z), zot(a)], Merged), dict_options(Dict, Merged), select_option(foo(Foo), Merged, Merged2). Merged = [bar(aaa), foo(x), foo(z), zot(a)], Dict = _{bar:aaa,...
We've had several sporadic failures at around the same time in the [TerminusDB](https://github.com/terminusdb/terminusdb) continuous integration tests with SWI-Prolog 8.5.12. Several of the failures were in our Rust layer, but one...
I would like to build a static Prolog binary that has the Prolog library built in, so it can easily run on other systems. Is this possible? As a first...
I tried to split the homebrew code in a version for a (Intel) homebrew prefix /usr/local and a (ARM/M1) prefix /opt/homebrew. This is ugly but should be ok. I'm a...
This PR makes `infer_meta_predicate/2` consistent with the general preference of SWI-Prolog for using `?` rather than `*` as the unspecified argument mode specifier. While this is a breaking change, as...
As discussed this PR adds the unconfined snap package. The package will be larger since it must include the qt5 libraries needed by the ui. It should work with most...
These operations (split diff, diff+intersection) felt like they were missing in the ordsets library. ord_partition/5, in particular, is a generalization of a number of different ordsets predicates; if it were...
