SWI-Prolog/

swipl-devel

Main development repository

Owners:

$0.00

USD raised

Recent activities

janwielemaker added the repository

over 4 years ago

Issues

Funded Unfunded Rewarded Closed

Broken URL reference to FAQ/ToplevelMode.txt

Unfunded#1278created bybrebs-gh

$0.00

Warning in library prolog_stack

Unfunded#1253created byetrian-dev

$0.00

Segmentation fault in call to get_rational_no_int

Unfunded#1254created byetrian-dev

$0.00

crash in PL_free when using the foreign language interface

Unfunded#1259created byetrian-dev

$0.00

Add support for `process` module in WASM build

Unfunded#1260created byjeswr

$0.00

Handling I/O in `WASM` build / using the `read_lines_to_codes` predicate

Unfunded#1261created byjeswr

$0.00

Crash in upcase_atom/1 with non-ASCII

Unfunded#1262created byAbramo-Bagnara

$0.00

WASM: Return value of `.call` is inconsistent and missing bindings.

Unfunded#1264created byjeswr

$0.00

Compilation problem using gcc-10.

Unfunded#1265created bysei-mwd

$0.00

SWI-cpp2-plx.h new_hash_table invalid conversion from ‘void (*)(void*, void*)’ to ‘void (*)(table_key_t, table_value_t)

Unfunded#1266created bydoubledong94

$0.00

SWIPL not compiling on Fedora 40

Unfunded#1269created bydtonhofer

$0.00

Runtime error with UBSAN

Unfunded#1271created bymgondan

$0.00

`trie_gen_compiled` crashes on simple tries

Unfunded#1277created byJanno

$0.00

Engine generates solution that fails one of the constraints.

Unfunded#1247created bywentaoc

$0.00

Bulding with ninja fails with error: 'man/utf8proc' missing and no known rule to make it

Unfunded#1285created byphochste

$0.00

[ppc64le] fails to build WAM Table mismatch: wam_table[224(t_smallint)] == wam_table[226(t_smallintw)]

Unfunded#1287created bymcepl

$0.00

UBSAN errors, need inspection

Unfunded#1290created bymgondan

$0.00

Crashes at command line

Unfunded#1292created bykamahen

$0.00

Pack buildenv.sh SWIPL_CC doesn't match Prolog flag c_cc

Unfunded#1294created bykamahen

$0.00

Garbo.java:13: warning: [removal] finalize() in Object has been deprecated and marked for removal

Unfunded#1295created bymcepl

$0.00

FTBFS: division by zero error while building on s390x

Unfunded#1297created bymcepl

$0.00

given prefix mode “fy” for atom "[]" ignored

Unfunded#1300created byJean-Luc-Picard-2021

$0.00

error messages upon opening the prolog editor

Unfunded#1302created byMatthiasFreiburghaus

$0.00

swipl-win >Run>New thread, no new console but an error

Unfunded#1308created byxpxaxsxi

$0.00

segfault in read_file_from_codes/3 when running out of stack

Unfunded#1311created bymatko

$0.00

pack buildenv.sh incorrectly sets `LD`

Unfunded#1214created bykamahen

$0.00

read_term comments() option truncates comment at first nul

Unfunded#1185created byanionic

$0.00

format('~W', [X, [numbervars(true)]]) ignores "numbervars"

Unfunded#1186created bykamahen

$0.00

Emacs crashes with segv when opening `library/clp/bounds.pl` in Emacs with sweep enabled

Unfunded#1188created byncaq

$0.00

Bug fix for `cmpReals` - mixed compare on negative values

Unfunded#1197created byridgeworks

$0.00

failing undo goal causes stacktrace

Unfunded#1204created byIanUtley

$0.00

sandbox:format_calls/3 gnerates exception on non-list argument

Unfunded#1205created byridgeworks

$0.00

Running `attribute_goals/1` in a sandbox can generate error

Unfunded#1206created byridgeworks

$0.00

call_with_time_limit doesn't work with initialization

Unfunded#1207created bydeRemo

$0.00

dcg_basics:digits//1 unnecessarily commits too early and has incorrect determinism declaration

Unfunded#1208created byGeoffChurch

$0.00

build stopped at ninja install

Unfunded#1209created byjosd

$0.00

SIGSEGV in $c_wrap_predicate

Unfunded#1213created byyrashk

$0.00

where to add unit tests for prolog functions?

Unfunded#1316created byyounes-io

$0.00

warning on SWI-Prolog.h

Unfunded#1216created byfriguzzi

$0.00

multiple pyhton interpreters

Unfunded#1217created byfriguzzi

$0.00

Specifying CXX breaks package build

Unfunded#1218created bykamahen

$0.00

Dict access with `.` is lifted out of `findall`

Unfunded#1219created byBarrensZeppelin

$0.00

`apropos` crashes SWI-Prolog

Unfunded#1220created byz5h

$0.00

SIGSEGV with mode directed tabling

Unfunded#1222created byBarrensZeppelin

$0.00

include/1 is missing in 9.1.18

Unfunded#1225created byxpxaxsxi

$0.00

pack_install/1 error with HTTPS URL

Unfunded#1227created bypmoura

$0.00

qsave_program with stand_alone=true ignores -g or goal(…) option

Unfunded#1228created bysoli

$0.00

swipl-win.exe Help>Check installation gives out two problems

Unfunded#1237created byxpxaxsxi

$0.00

getting existence_error(procedure,http_stream:close_range/3) with rdf_read_turtle/3

Unfunded#1239created byjosd

$0.00

MULTI_THREADED=OFF build broken (rev 68da0c9)

Unfunded#1387created byanykey111

$0.00

Terminal regression on 9.3.23, MacOS

Unfunded#1367created byridgeworks

$0.00

report of errors

Unfunded#1368created byjoseph-vidal-rosset

$0.00

Running strip on standalone binary removes save state

Unfunded#1370created byxelxebar

$0.00

FYI: Improved version of library(portray_text)

Unfunded#1373created byJean-Luc-Picard-2021

$0.00

Provide phrase/[2,3] string convenience

Unfunded#1374created byJean-Luc-Picard-2021

$0.00

Toplevel swallows cyclic terms

Unfunded#1376created byJean-Luc-Picard-2021

$0.00

Careful with Transitive Reductions of Directed Graphs

Unfunded#1377created byJean-Luc-Picard-2021

$0.00

Clause Compilation swallows Cyclic Equations

Unfunded#1378created byJean-Luc-Picard-2021

$0.00

Add swi-prolog build for windows aarch64

Unfunded#1379created byStackPancakes

$0.00

SWI-prolog windows build issue with MULTI_THREAD=FALSE

Unfunded#1381created bynvetrini

$0.00

transaction breaks the repl

Unfunded#1384created byiogrt

$0.00

dynamic in Prolog

Unfunded#1366created byyounes-io

$0.00

Feature Request: SIO_NL_DOS mode for the clipboard on Windows

Unfunded#1393created byJean-Luc-Picard-2021

$0.00

prolog odbc module not able to return unicode characters from snowflake database server

Unfunded#1401created bydmaffly2-star

$0.00

No return statement in function returning non-void [-Wreturn-type]

Unfunded#1411created bymgondan

$0.00

`\+ \+ once((undo(true), fail)).` segfaults

Unfunded#1414created byds84182

$0.00

C interface: library does not build anymore with swi-prolog 9.3.8

Unfunded#1415created byquibo

$0.00

clang-21, ubsan

Unfunded#1424created bymgondan

$0.00

Math formatting discrepancy since 9.3.32-36?

Unfunded#1431created byIanUtley

$0.00

Some -Wconversion -Wno-sign-conversion isses

Unfunded#1432created bymgondan

$0.00

'CpuCount': redefinition

Unfunded#1435created byEricGT

$0.00

Warning: [Thread main] library `library(editline)' does not exist - should it also appear for check_installation/0

Unfunded#1436created byEricGT

$0.00

ASAN problem in pl-trie

Unfunded#1442created bymgondan

$0.00

Silent behavior (error?) with PL_get_arg

Unfunded#1344created byai-robert

$0.00

Crash in `thread_exit/1`

Unfunded#1317created byeshelyaron

$0.00

small glitch in docu of library(dcg/high_order)).

Unfunded#1303created byJean-Luc-Picard-2021

$0.00

Behaviour of subseq/3

Unfunded#1328created byjp-diegidio

$0.00

BUG: tabling incompatible with hex encodings

Unfunded#1330created byz5h

$0.00

block declarations seem to be broken in recent release, sometime before v9.2.8

Unfunded#1331created bygeraintwiggins

$0.00

Discussions feature

Unfunded#1332created byyounes-io

$0.00

0.000 CPU in display by time/1 built-in

Unfunded#1334created byJean-Luc-Picard-2021

$0.00

`consult/1` generates incorrect code for closures

Unfunded#1335created by1gmar

$0.00

9.3.16 Windows version has problems

Unfunded#1338created byxpxaxsxi

$0.00

9.3.17 Windows 64-bits is stuck in http_get/1

Unfunded#1339created byxpxaxsxi

$0.00

wasm build incompatible with emsdk v4

Unfunded#1343created byjeswr

$0.00

`qsave_program` fatal error saving bundled module `clpBNR`

Unfunded#1184created byridgeworks

$0.00

block/1 gives an warning about append/3

Unfunded#1345created bykamahen

$0.00

Wrong bearer option in http_get causes a problem with handling of url's search part

Unfunded#1351created byxpxaxsxi

$0.00

Error in rc.pl trying to open_resource from a pack

Unfunded#1352created bykquick

$0.00

Feature request: is_mutex/1

Unfunded#1353created byesad

$0.00

quasi quotation code does run but fails to crossref

Unfunded#1354created bydobbelap

$0.00

prolog_load_context/2 fails in initialization

Unfunded#1355created byfriguzzi

$0.00

prolog_stack_frame_property fails for location property in DCG code

Unfunded#1358created byz5h

$0.00

Cannot call use_module/1 on a module created with PL_new_module.

Unfunded#1360created bybbergeron0

$0.00

hyperlnk _term flag and SWI-Prolog banner? [Windows 11]

Unfunded#1361created byJean-Luc-Picard-2021

$0.00

Somewhat bogus warning about auto-loaded package - library(plunit)

Unfunded#1362created bykamahen

$0.00

nb_set_to_list bug?

Unfunded#1364created bylbuczkow

$0.00

[Bug]: SWI-Prolog prelude information is emitted by `printErr` in swipl-web

Unfunded#1020created byjeswr

$0.00

Non-sensical error from prolog_colour library with discontiguous clauses

Unfunded#990created byxpxaxsxi

$0.00

6eb26fa introduced an apparent infinite loop

Unfunded#993created byspl

$0.00

write_term/2 with numbervars and variable_names instantiates its argument

Unfunded#866created bydmchurch

$0.00

Sporadic issue, possibly with garbage collection

Unfunded#995created byspl

$0.00

Base64 encoding discrepancy

Unfunded#1000created bytotpet

$0.00

Regression for swipl-wasm

Unfunded#1007created byjosd

$0.00

Duplicate swipl-win target on Windows

Unfunded#1009created byDRKV333

$0.00

Encoding errors with running "env -i PATH=/usr/bin ctest"

Unfunded#1013created bykamahen

$0.00

segfault in crypto library on debian unstable

Unfunded#1014created bymatko

$0.00

Memory leak from swipl --abi-version (and from most other tests)

Unfunded#1015created bykamahen

$0.00

issue with qsave'd programs

Unfunded#1017created byjosd

$0.00

Missing from SWI-Prolog.h: wchar_t equivalent of PL_put_atom_nchars()

Unfunded#1019created bykamahen

$0.00

Compile fails in pl-coverage.c with some compilers

Unfunded#988created bymd5i

$0.00

Coroutining using Prolog engines abort

Unfunded#1021created byJean-Luc-Picard-2021

$0.00

Rational to float conversion isn't monotonic

Unfunded#1022created byridgeworks

$0.00

(wasm shell) sleep/1 example hangs indefinitely

Unfunded#1023created byJean-Luc-Picard-2021

$0.00

with_output_to/2 doesn't set stream encoding

Unfunded#1025created bymorlic

$0.00

minor issue ... absolute_file_name/3 does not see Python Microsoft Store app in Windows 10

Unfunded#1030created byxpxaxsxi

$0.00

[openSUSE] two tests fail jpl:java_in_prolog and swipl:files

Unfunded#1038created bymcepl

$0.00

GC-atom crash on first goal execution

Unfunded#1041created byBartola64

$0.00

make fails for SWI-Prolog

Unfunded#1043created bynavdeepkjohal

$0.00

WebAssembly interface: query.once() should have more predictable way to detect failing query?

Unfunded#1052created byrla

$0.00

Assertion check with ASAN detect_stack_use_after_return=1

Unfunded#1054created bykamahen

$0.00

"EXCEPTION while printing message" output for failing test

Unfunded#1057created byumrigar

$0.00

prolog_pack server software does not handle Github urls with 'refs/tags'

Unfunded#944created byxpxaxsxi

$0.00

Error with library rbtrees

Unfunded#903created bydamianoazzolini

$0.00

Building swipl wasm failed

Unfunded#906created byjosd

$0.00

retract/1 becomes slow

Unfunded#907created bySapifel

$0.00

Exported symbol PL_version conflicts with symbol in Perl

Unfunded#900created byzmughal

$0.00

swipl can't read prolog-file from STDIN

Unfunded#909created byJRaspass

$0.00

Commit bf0fb83 breaks PySwip 0.2.10: pl-fli.c:2556: PL_put_chars: Assertion failed: 0

Unfunded#910created bydavid-r-cox

$0.00

Behavior of brace_terms is inverted compared to documentation

Unfunded#914created bydgelessus

$0.00

WAM Table mismatch

Unfunded#917created bymd5i

$0.00

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

Unfunded#934created byyoquierotacob

$0.00

pack_install/2 from a Github zip file url is propably having a problem

Unfunded#935created byxpxaxsxi

$0.00

swipl.js not running anymore with latest commit 6600d54

Unfunded#942created byjosd

$0.00

PL_scan_options() doesn't respect flag OPT_ALL

Unfunded#1058created bykamahen

$0.00

segv in system:trie_gen/3

Unfunded#885created byEricZinda

$0.00

library(yall) failing with running foldl backwards?

Unfunded#948created byK9-guardian

$0.00

query for determining init.pl path does not work on Windows 11

Unfunded#949created bymedovina

$0.00

Latest daily build for Windows is from 2022-2-23 y-m-d

Unfunded#950created byxpxaxsxi

$0.00

ssh_server.pl library is not found

Unfunded#956created byxpxaxsxi

$0.00

[swi/prolog 8.2.3 -> 8.4.2] : absolute_file_name/3

Unfunded#957created bydidier31

$0.00

transpose/2 is absent from PDF documentation

Unfunded#960created bymedovina

$0.00

swipl crashed after `halt.` after using gtrace.

Unfunded#961created byvancaho

$0.00

ERROR: ODBC: State H: [unixODBC][ when using odbc

Unfunded#962created byvancaho

$0.00

Unknown procedure `to_list/2`

Unfunded#963created byogoletti

$0.00

Error occured in building

Unfunded#987created byPosoSAgapo

$0.00

Bug in tuples_in/2 of CLP(FD)

Unfunded#1160created byleuschel

$0.00

odbc package should check for presence of unixodbc.h

Unfunded#1127created byedmcman

$0.00

PL_atom_to_encoding() in wrong header file?

Unfunded#1133created bykamahen

$0.00

library(http/json) mishandles encoded surrogate pairs

Unfunded#1135created bymbrock

$0.00

Memory leak (from gmp?) when loading foreign file.

Unfunded#1141created bykamahen

$0.00

saveUCSAtom() and loadUCSAtom() are inconsistent

Unfunded#1143created bykamahen

$0.00

PL_PRUNED not called for C++ foreign predicate

Unfunded#1150created bykamahen

$0.00

time/1 and run_tests give wrong times, inferences when run in multiple threads

Unfunded#1151created bykamahen

$0.00

Non coherent tags

Unfunded#1152created bymoueza

$0.00

SERVER ERROR

Unfunded#1154created byNelson6203

$0.00

Order of PL_new_*() functions before PL_initialise() can cause crash

Unfunded#1155created bykamahen

$0.00

ERROR: Duplicate key

Unfunded#1156created byz5h

$0.00

can't compile

Unfunded#1123created byheiheshang

$0.00

Stack overflow in term_factorized/3

Unfunded#1162created byJean-Luc-Picard-2021

$0.00

Prolog flag answer_write_options is ignored

Unfunded#1164created byduesentrieb17

$0.00

PL_record_external() doesn't support blobs

Unfunded#1165created bykamahen

$0.00

Emscripten build with pcre

Unfunded#1166created byjeswr

$0.00

Minor: Confusing message when one calls goal `type_error(_,_)`

Unfunded#845created bydtonhofer

$0.00

Permission error: modify static_procedure while asserting/retracting/abolishing dynamic predicates

Unfunded#1168created bypmoura

$0.00

emsdk versions

Unfunded#1169created byJanWielemaker

$0.00

Closing stream used in thread hangs

Unfunded#1174created bybrebs-gh

$0.00

Operator definition in a module seems to need a definition in parent module to be fully defined

Unfunded#1175created byxpxaxsxi

$0.00

Add issue forms/templates

Unfunded#1177created byPanquesito7

$0.00

Add funding button

Unfunded#1178created byPanquesito7

$0.00

Optimized arithmetic and libbf don't work together.

Unfunded#1091created byridgeworks

$0.00

Inconsistent handling of `argv`

Unfunded#1063created bytotpet

$0.00

Negation breaks solving?

Unfunded#1064created byinferrna

$0.00

pack_install appears to not propogate enviroment variables.

Unfunded#1070created byblueforesticarus

$0.00

Crash in get_optval()

Unfunded#1073created bykamahen

$0.00

Ssnprintf() doesn't report # bytes correctly

Unfunded#1074created bykamahen

$0.00

unhandled exception writing a string in xpce text editor

Unfunded#1077created bybobtie

$0.00

cmpNumber() function incorrect for comparing large mpz/mpq with infinities

Unfunded#1078created byridgeworks

$0.00

working_directory(CWD, CWD) returns path to target of a symlink, not the link itself

Unfunded#1082created byanionic

$0.00

prolog.js re-assigns a const

Unfunded#1083created byjeswr

$0.00

http_post/4 gives out stream that is not utf8, http_open/3 gives out octet stream, in Windows 10

Unfunded#1085created byxpxaxsxi

$0.00

Decompiler: unknown instruction in clause body: h_mpq

Unfunded#1087created byIanUtley

$0.00

TL;DR page for swipl

Unfunded#902created byEmilySeville7cfg

$0.00

term_hash sigfault.

Unfunded#1092created byIanUtley

$0.00

`max(1,nan)` broken in 9.1.2

Unfunded#1095created byridgeworks

$0.00

ctrl-C in read causes exit from REPL

Unfunded#1097created bykamahen

$0.00

PL_unify_list() gets assert check inside PL_open_query

Unfunded#1111created bykamahen

$0.00

Fails to build on systems without libgmp

Unfunded#1113created bysei-mwd

$0.00

Performance degradation from swipl 8.4.3 to 9.0.x

Unfunded#1115created byjasuser0

$0.00

Error in doc on page https://www.swi-prolog.org/pldoc/man?section=threadsync

Unfunded#1116created bybriggs-w

$0.00

Pack install 503 server error

Unfunded#1117created bycrgz

$0.00

Blob save doesn't check return code

Unfunded#1118created bykamahen

$0.00

Make some functions in pl-wic.c public

Unfunded#1120created bykamahen

$0.00

Missing string_insert fonction ?

Unfunded#1121created byn-ai-up8-edu

$0.00

Recent activities

janwielemaker added the repository

over 4 years ago

swipl-devel

$0.00

Issues

Company

Community

Support

Connect