swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
the `put(+KeyPath, +Value)` predicate allows to add a value using a keypath. However, the keypath expression does not support lists currently. Consider the following dict `X = _{a:[_{b:Value}]}` I'd like...
Homebrew installs openssl [without SSL3 support](https://github.com/Homebrew/homebrew-core/blob/master/Formula/openssl.rb#L33) which causes the error ``` Undefined symbols for architecture x86_64: "_SSLv3_method", referenced from: _pl_ssl_context in ssl4pl.c.o ld: symbol(s) not found for architecture x86_64 ```...
Truly stand alone --------------------- In order to have multi-arch, stand-alone saved states we need to save not only the shlib loaded by `load_foreign_library` but also its dependencies. So for example,...
Currently, running `pack_upgrade/1` will find & download the new version of a package, but it doesn't seem to update the information on https://www.swi-prolog.org/pack/list. This results in both the pack list...
Currently using v. 7.6.4 on Windows 10/x64. For some reason, SWI will ocassionally stop reloading modified files correctly with `make/0`. The only way to get it to work is to...
license/0 reports only on restrictive licenses, it would be nice to have another predicate reporting license info for all components, even when the license is not restrictive
At 10,000 engines, `ldata_in_use()` is getting expensive. Similar issues probably hold for the various _in_use_ fields of the thread info structure related to hash tables, atom-gc, etc.
Provided by @logicmoo ``` :- set_prolog_flag(occurs_check,true). next(P , \+ ~(P)). next(~(P) , \+P). next(on_start(G)/definitional(G),G). bug :- clause(next(A , \+ ~( A)),true,R), clause(_H,_B,R), assertion(acyclic_term(A)), fail. bug. ```
With the latest release of swi-prolog on OpenBSD-current: ``` ... cc -O2 -pipe -ftrampolines -I/usr/local/include -O2 -pipe -ftrampolines -pthread -fPIC -I/usr/local/include -I/usr/local/[239/1855] rolog-7.4.2/swipl-7.4.2/src/../include -DHAVE_CONFIG_H -D__SWI_PROLOG__ -I. -DSERVER_CERT_REQUIRED=TRUE -DCLIENT_CERT_REQUIRED=TRUE -c -o...
I have identified a situation where I believe CLP(FD) could reduce the search space much more than what it currently does: ``` ?- X^Y #= 0. X^Y#=0. ``` I believe...
