swipl-devel

swipl-devel copied to clipboard

ADDED: portray_var/2 and flag auto_name_variables

3

This adds a new flag, `auto_name_variables`, that controls an implementation of a new portray hook to customize how variables are printed. Before and after: ```prolog ?- L=[_,_,_], member(X, L). L...

dmchurch

Make `foldl/4` error outside its domain

1

Use single-sided unification rules for `foldl/4` so that something like `foldl(not_a_list, Goal, In, Out)` is an exception instead of silently failing. This would be a breaking change. Some unresolved questions:...

mb64

Mapm is basically scanl without the intermediate values making it more useful in state managing DCGs. The other change is just an extention to convlist so you can obtain maplist...

GavinMendelGleason

ENHANCED: allow user:exception for missing shlibs, save dependencies

22

This patch allows the user to load a shared library from the network or from the saved state by means of writing the user:exception hook. It also provides qsave_foreign_libraries/4 to...

erlanger

Error occurred in building packages/swipl-win in Ubuntu 20.04

6

Hi, I have encountered an error when building from source on my Ubuntu 20.04 machine following instructions in CMAKE.md as well as swi-prolog [website](https://www.swi-prolog.org/build/unix.html). Error messages are as follows, ```...

haohaiziround

float_parts predicate isn't true to the IEEE 754 standard for fp data representation

13

SWI-Prolog (threaded, 64 bits, version 8.4.1) on Windows 10 Per Swi-prolog, documentation your recently added float_parts predicate uses or is based on the frexp() C library function. https://www.swi-prolog.org/pldoc/doc_for?object=float_parts/4 The problem...

yoquierotacob

``` Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.4) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details. For online help and...

UWN

Build failed with address sanitizer

2

I successfully built [`SWI-Prolog/swipl`](https://github.com/SWI-Prolog/swipl): ```sh cmake -G Ninja .. ninja ctest -j8 ``` However, I cannot build it with the address sanitizer (ASAN): ```sh cmake -DCMAKE_BUILD_TYPE=Sanitize -G Ninja .. ninja...

spl

all predicates have zero self, zero children, zero cumulative. Call counts are recorded fine. V8.3.18, V8.3.28. docker.

koo5

Calling nb_current with undefined global invokes user:exception hook

12

According to the `nb_current/2`documentation: "Note that nb_current/2 can be used as an alternative for nb_getval/2 to request the value of a variable and fail silently if the variable does not...

ridgeworks