swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
`absolute_file_name/2` silently fails when passed a nonexistant path alias, whereas `absolute_file_name/3` throws an error. SICStus 4.6.0 throws an error in both cases. That is also the logical behavior IMO, because...
``` ?- type_error(_,_). ERROR: Type error: `_5508' contains attributed variables ERROR: In: ERROR: [11] throw(error(type_error(_5562,_5564),_5558)) ERROR: [9] toplevel_call(user:user: ...) at /usr/local/logic/swipl/lib/swipl/boot/toplevel.pl:1115 ERROR: ERROR: Note: some frames are missing due to...
The SICStus emulation [defines a goal expansion](https://github.com/SWI-Prolog/swipl-devel/blob/79ac16a36d2596c19f95580b8408d3a04a6b32bc/library/dialect/sicstus.pl#L211-L224) for emulating library predicate calls with explicit module prefixes, so that e. g. `lists:nth(1, List, E)` is rewritten to call the emulated predicate...
``` SWI-Prolog [thread 1 (main) at Thu May 13 16:30:15 2021]: received fatal signal 11 (segv) C-stack trace labeled "crash": [0] save_backtrace() at /app/swipl/build/../src/os/pl-cstack.c:332 [0x7f4842dcd458] [1] print_c_backtrace() at /app/swipl/build/../src/os/pl-cstack.c:867 [0x7f4842dcd60e]...
``` koom@dev ~/lodgeit2/master2/server_root (smsf)> swipl Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.10-DIRTY) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details....
In the stable build (SWI-Prolog 8.2.4-1 for MacOSX 10.12 (Sierra) and later on intel) I can: ~~~ ?- consult("/.../Bug.pl"). true. ?- gtrace, test. ~~~ And put the cursor to the...
After I saw some test cases by Paulo Moura, I am deliberating a future UTF-32 support. I just made a little check with his mythology file, and I get letter...
The man page for `swipl` says: ``` --home=DIR Use DIR as home directory. ``` This is not very telling unless one already knows that the "home directory" is the directory...
Pattern matching doesn't need occurs check. The fresh clause head variables do not appear in the goal, even so after pattern matching since pattern matching doesn't change the goal. But...