swipl-devel

swipl-devel copied to clipboard

A possible extension of load_test_files/1: It has the exact same functionality as the current [load_test_files/1](https://eu.swi-prolog.org/pldoc/doc/_SWI_/library/plunit.pl?show=src#load_test_files/1) but additionally instantiates a list of compound terms `loaded(File)` and `skipped(File)` to be able to...

dtonhofer

union/3 might go into infinite loop, even for well typed arguments

5

Try this: ``` ?- union(X,[],[_|X]) ERROR: Stack limit (1.0Gb) exceeded ``` My guess, it is a steadfastness problem.

ghost

absolute_file_name(library(chr),F) returns path to dir not to chr.pl

1

Hi Jan Despite "This predicate only returns non-directories" in PlDoc for absolute_file_name/3, I get (updated Windows 10 Pro 64-bit): ``` Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.4) SWI-Prolog comes...

anionic

swi Prolog version 8.2.4 refuses to read on exchangeable media

5

Jdeirng

Semantic singleton in branch detection doesn't work in meta-calls

2

Using the current development version of SWI-Prolog (cf65970368eaac32017afe819f68bce2af2ee9b3). The semantic singleton variable detection doesn't work correctly for if-then-else constructs in meta-calls - it seems that only syntactic singletons are detected,...

dgelessus

Incomplete handling of term-position rewriting

4

The following program emits undefined warnings when loading: ```prolog :- meta_predicate test(1). test :- test([a(_)]). test(Goal_1) :- call(Goal_1, b). ``` These are the warnings: ```prolog $ swipl test.pl Warning: /home/wbeek/test.pl:4:...

wouterbeek

Using SWI-Prolog 8.3.17 built from source (e5ff4a2c4d76ce57d177649b941f38792d876acd). I have code that uses `:- expects_dialect(sicstus).` and then loads other modules, expecting the other modules to be loaded with SICStus emulation as...

dgelessus

More documentation updates (i'm working through my notes here) In **4.1.3 Predicate behaviour and determinism** - Extended the list of indicators according to "pldoc" (also, put them into a "table")...

dtonhofer

plunit.....

1

given test1.pl: ``` :- ['../prolog/fnotation.pl']. :- fnotation_ops($>,

koo5

Sunlock assertion failed

2

I have the following error when I run my program code: ``` [Thread 1 (main) at Sun Jan 10 21:42:09 2021] ../src/os/pl-stream.c:369: Sunlock: Assertion failed: 0 C-stack trace labeled "assert_fail":...

wouterbeek