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

Building with documentation in combination with SWIPL_PACKAGE_LIST errors

Unfunded#1350created byesad

$0.00

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

Unfunded#1361created byJean-Luc-Picard-2021

$0.00

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

Unfunded#1360created bybbergeron0

$0.00

Blackboard and attributes on a naked variable

Unfunded#1359created byinfradig

$0.00

prolog_stack_frame_property fails for location property in DCG code

Unfunded#1358created byz5h

$0.00

prolog_load_context/2 fails in initialization

Unfunded#1355created byfriguzzi

$0.00

quasi quotation code does run but fails to crossref

Unfunded#1354created bydobbelap

$0.00

Feature request: is_mutex/1

Unfunded#1353created byesad

$0.00

Error in rc.pl trying to open_resource from a pack

Unfunded#1352created bykquick

$0.00

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

Unfunded#1351created byxpxaxsxi

$0.00

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

Unfunded#1362created bykamahen

$0.00

block/1 gives an warning about append/3

Unfunded#1345created bykamahen

$0.00

Silent behavior (error?) with PL_get_arg

Unfunded#1344created byai-robert

$0.00

wasm build incompatible with emsdk v4

Unfunded#1343created byjeswr

$0.00

9.3.17 Windows 64-bits is stuck in http_get/1

Unfunded#1339created byxpxaxsxi

$0.00

9.3.16 Windows version has problems

Unfunded#1338created byxpxaxsxi

$0.00

arity: short, int, or size_t

Unfunded#1337created bymgondan

$0.00

`consult/1` generates incorrect code for closures

Unfunded#1335created by1gmar

$0.00

0.000 CPU in display by time/1 built-in

Unfunded#1334created byJean-Luc-Picard-2021

$0.00

Provide phrase/[2,3] string convenience

Unfunded#1374created byJean-Luc-Picard-2021

$0.00

Clause indexing regression

Unfunded#1386created byridgeworks

$0.00

Crash on complex example program while printing goals.

Unfunded#1385created bymatthewhammer

$0.00

transaction breaks the repl

Unfunded#1384created byiogrt

$0.00

SWI-prolog windows build issue with MULTI_THREAD=FALSE

Unfunded#1381created bynvetrini

$0.00

Add swi-prolog build for windows aarch64

Unfunded#1379created byStackPancakes

$0.00

Clause Compilation swallows Cyclic Equations

Unfunded#1378created byJean-Luc-Picard-2021

$0.00

Careful with Transitive Reductions of Directed Graphs

Unfunded#1377created byJean-Luc-Picard-2021

$0.00

Toplevel swallows cyclic terms

Unfunded#1376created byJean-Luc-Picard-2021

$0.00

Discussions feature

Unfunded#1332created byyounes-io

$0.00

FYI: Improved version of library(portray_text)

Unfunded#1373created byJean-Luc-Picard-2021

$0.00

`user_input` on Windows can't be set to `encoding(octet)`

Unfunded#1372created byeignnx

$0.00

Running strip on standalone binary removes save state

Unfunded#1370created byxelxebar

$0.00

report of errors

Unfunded#1368created byjoseph-vidal-rosset

$0.00

Terminal regression on 9.3.23, MacOS

Unfunded#1367created byridgeworks

$0.00

dynamic in Prolog

Unfunded#1366created byyounes-io

$0.00

cross compilation terminates with failure to execute archive4pl

Unfunded#1365created byBiswa96

$0.00

nb_set_to_list bug?

Unfunded#1364created bylbuczkow

$0.00

`trie_gen_compiled` crashes on simple tries

Unfunded#1277created byJanno

$0.00

Crashes at command line

Unfunded#1292created bykamahen

$0.00

UBSAN errors, need inspection

Unfunded#1290created bymgondan

$0.00

Mac: "SWI-Prolog" cannot be opened because the developer cannot be verified.

Unfunded#1288created bymunro

$0.00

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

Unfunded#1287created bymcepl

$0.00

[s390x] fails to build ... division by zero in (SIZEOF_WORD/SIZEOF_CODE)

Unfunded#1286created bymcepl

$0.00

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

Unfunded#1285created byphochste

$0.00

.gitmodules file contains relative paths and not absolute paths

Unfunded#1283created bygl-yziquel

$0.00

Broken URL reference to FAQ/ToplevelMode.txt

Unfunded#1278created bybrebs-gh

$0.00

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

Unfunded#1294created bykamahen

$0.00

Runtime error with UBSAN

Unfunded#1271created bymgondan

$0.00

SWIPL not compiling on Fedora 40

Unfunded#1269created bydtonhofer

$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

Compilation problem using gcc-10.

Unfunded#1265created bysei-mwd

$0.00

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

Unfunded#1264created byjeswr

$0.00

Crash in upcase_atom/1 with non-ASCII

Unfunded#1262created byAbramo-Bagnara

$0.00

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

Unfunded#1261created byjeswr

$0.00

Add support for `process` module in WASM build

Unfunded#1260created byjeswr

$0.00

swi-prolog build crashed during documentation build

Unfunded#1310created bymatko

$0.00

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

Unfunded#1331created bygeraintwiggins

$0.00

BUG: tabling incompatible with hex encodings

Unfunded#1330created byz5h

$0.00

Behaviour of subseq/3

Unfunded#1328created byjp-diegidio

$0.00

Compilation warnings with PL_initialise

Unfunded#1327created byLecrapouille

$0.00

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

Unfunded#1303created byJean-Luc-Picard-2021

$0.00

Crash in `thread_exit/1`

Unfunded#1317created byeshelyaron

$0.00

where to add unit tests for prolog functions?

Unfunded#1316created byyounes-io

$0.00

segfault in read_file_from_codes/3 when running out of stack

Unfunded#1311created bymatko

$0.00

MULTI_THREADED=OFF build broken (rev 68da0c9)

Unfunded#1387created byanykey111

$0.00

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

Unfunded#1308created byxpxaxsxi

$0.00

error messages upon opening the prolog editor

Unfunded#1302created byMatthiasFreiburghaus

$0.00

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

Unfunded#1300created byJean-Luc-Picard-2021

$0.00

binary-or-shlib-calls-gethostbyname issues

Unfunded#1299created bymcepl

$0.00

test string:string_upper is locale dependent

Unfunded#1298created bymatko

$0.00

FTBFS: division by zero error while building on s390x

Unfunded#1297created bymcepl

$0.00

linking of the package fails on ppc64le

Unfunded#1296created bymcepl

$0.00

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

Unfunded#1295created bymcepl

$0.00

Compiling 8.3.7 passes all tests but an error remains in the log file about plunit_coroutining

Unfunded#675created bydtonhofer

$0.00

Calling nb_current with undefined global invokes user:exception hook

Unfunded#868created byridgeworks

$0.00

number_string/2 doesn't accept atoms and gives inappropriate error message in that case

Unfunded#695created bydtonhofer

$0.00

A rare segfault while running tests

Unfunded#654created bydtonhofer

$0.00

missing clpqr predicates?

Unfunded#715created bykoo5

$0.00

--debug vs debug flag

Unfunded#754created bykoo5

$0.00

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

Unfunded#716created byghost

$0.00

Predicates added to new file not found.

Unfunded#669created byIanUtley

$0.00

Possible crash in atom lookup

Unfunded#738created byJanWielemaker

$0.00

xsb_test_tables.pl:78: test abol_test3: failed

Unfunded#755created bykoo5

$0.00

segv in save_backtrace()

Unfunded#836created bykoo5

$0.00

Add command-line option to halt on errors/warnings

Unfunded#692created bykoo5

$0.00

Support MacOS on Apple Silicon / M1

Unfunded#717created bynickmain

$0.00

SWI-Prolog 8.2.1 forgets predicates after qsave_program/2 is invoked

Unfunded#661created bygenivia-inc

$0.00

new installation: "tcmalloc not present" warning with windows binaries

Unfunded#624created byjasuser0

$0.00

Fixing the package/ssl build on Mac OS X with homebrew deps

Unfunded#439created bymye

$0.00

Lots of warnings when compiling against C++ interface

Unfunded#586created bywouterbeek

$0.00

Emscripten Web Assembly build not working

Unfunded#576created bygoshdarngames

$0.00

SWI doesn't reload modified files correctly.

Unfunded#332created bykrfkeith

$0.00

Can't set breakpoint on SWI-Prolog 8.3.22-1 for MacOSX

Unfunded#814created byEricZinda

$0.00

Using `Dict.Key` inside of lambda expression inside of maplist causes compiler to build wrong code

Unfunded#687created bydtonhofer

$0.00

rdf_db.c:4539: literal_hash: Assertion failed: 0

Unfunded#721created bykoo5

$0.00

Minor: executing `type_error(X,X)` on the toplevel leads to various unexpected messages

Unfunded#726created bydtonhofer

$0.00

Library yall usage with constraints behaves differently in repl and in file

Unfunded#728created byAnniepoo

$0.00

cross-compilation targeting Android has `chr.qlf: No such file or directory.`

Unfunded#1503created byrobertkirkman

$0.00

Feature request UTF-32 in SWI and XPCE

Unfunded#811created byghost

$0.00

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

Unfunded#777created bydgelessus

$0.00

Pattern matching shouldn't be bugged by occurs check

Unfunded#789created byghost

$0.00

SSL support fails to build on OpenBSD

Unfunded#249created byvext01

$0.00

plunit.....

Unfunded#769created bykoo5

$0.00

Sunlock assertion failed

Unfunded#765created bywouterbeek

$0.00

swi Prolog version 8.2.4 refuses to read on exchangeable media

Unfunded#778created byJdeirng

$0.00

Build failed with address sanitizer

Unfunded#892created byspl

$0.00

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

Unfunded#782created byanionic

$0.00

profile/1, profile/2, zero time recorded

Unfunded#877created bykoo5

$0.00

Explain the significance of the `--home` option in the man page

Unfunded#793created bydtonhofer

$0.00

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

Unfunded#822created byhaohaiziround

$0.00

Math formatting discrepancy since 9.3.32-36?

Unfunded#1431created byIanUtley

$0.00

UBSAN found some UB

Unfunded#1479created bymgondan

$0.00

Wrongfully error handling , exposing server paths

Unfunded#1477created byiamlearningcs50

$0.00

Skip http tests when sigalert == 0

Unfunded#1467created bymgondan

$0.00

int/bool confusion in pl-trie

Unfunded#1465created bymgondan

$0.00

ASAN problem in pl-trie

Unfunded#1442created bymgondan

$0.00

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

Unfunded#1436created byEricGT

$0.00

'CpuCount': redefinition

Unfunded#1435created byEricGT

$0.00

Some -Wconversion -Wno-sign-conversion isses

Unfunded#1432created bymgondan

$0.00

remove `RETSIGTYPE` from definition of `handler_t`

Unfunded#1481created byNHOrus

$0.00

tracing over a telnet connection to SWI-Prolog

Unfunded#1428created bygroehner

$0.00

clang-21, ubsan

Unfunded#1424created bymgondan

$0.00

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

Unfunded#1415created byquibo

$0.00

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

Unfunded#1414created byds84182

$0.00

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

Unfunded#1411created bymgondan

$0.00

Move build procedure to main source

Unfunded#1402created byblakemcbride

$0.00

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

Unfunded#1401created bydmaffly2-star

$0.00

Feature Request: SIO_NL_DOS mode for the clipboard on Windows

Unfunded#1393created byJean-Luc-Picard-2021

$0.00

Assertion failed

Unfunded#1498created byolopierpa

$0.00

pack_upgrade/1 broken for Github versions

Unfunded#236created bywouterbeek

$0.00

lambda expression does not handle "." operator for dictionary

Unfunded#123created byhonnix

$0.00

pack_install does two things

Unfunded#94created byAnniepoo

$0.00

netherlands swi-prolog.org site failing breaks pack_install

Unfunded#66created byAnniepoo

$0.00

Prolog Navigator and non-prolog files

Unfunded#65created byAnniepoo

$0.00

pack_install: make pack_install(Spec) directly use pack_install(Spec, [])?

Unfunded#45created byrla

$0.00

Improve/add debug messages for all exceptions thrown by `pack.pl`

Unfunded#44created byrla

$0.00

clang-ubsan (asan?) problem

Unfunded#1500created bymgondan

$0.00

crash in PL_free when using the foreign language interface

Unfunded#1259created byetrian-dev

$0.00

ASAN issue

Unfunded#1497created bymgondan

$0.00

emacs malfunctioning

Unfunded#1496created byolopierpa

$0.00

ctest: ill-formed exception?

Unfunded#1495created bymgondan

$0.00

ws_dispatch() caches external stream fds as the default dispatch fd

Unfunded#1494created byalanbur

$0.00

pl filetype doesn't get associated to swi-prolog in Windows 11 in version 10.1.6

Unfunded#1487created byxpxaxsxi

$0.00

clause/2 unexpected

Unfunded#1485created byinfradig

$0.00

Possible race condition when starting multiple `swipl` processes concurrently

Unfunded#1484created bypmoura

$0.00

V10.1.5 regression parsing the `0'#` term

Unfunded#1483created bypmoura

$0.00

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

Unfunded#1030created byxpxaxsxi

$0.00

Foreign interface for integers: PL_get_integer_ex() vs PL_cvt_i_int() etc.

Unfunded#1062created bykamahen

$0.00

PL_scan_options() doesn't respect flag OPT_ALL

Unfunded#1058created bykamahen

$0.00

"EXCEPTION while printing message" output for failing test

Unfunded#1057created byumrigar

$0.00

Assertion check with ASAN detect_stack_use_after_return=1

Unfunded#1054created bykamahen

$0.00

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

Unfunded#1052created byrla

$0.00

Race condition detected

Unfunded#1051created bykarlpopp

$0.00

make fails for SWI-Prolog

Unfunded#1043created bynavdeepkjohal

$0.00

GC-atom crash on first goal execution

Unfunded#1041created byBartola64

$0.00

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

Unfunded#1038created bymcepl

$0.00

Inconsistent handling of `argv`

Unfunded#1063created bytotpet

$0.00

Import swipl-web.wasm and swipl-web.data relative to `swipl-web.js` rather than the global script.

Unfunded#1027created byjeswr

$0.00

with_output_to/2 doesn't set stream encoding

Unfunded#1025created bymorlic

$0.00

[Feature Request]: Publish swipl-web as an npm module

Unfunded#1024created byjeswr

$0.00

(wasm shell) sleep/1 example hangs indefinitely

Unfunded#1023created byJean-Luc-Picard-2021

$0.00

Rational to float conversion isn't monotonic

Unfunded#1022created byridgeworks

$0.00

Coroutining using Prolog engines abort

Unfunded#1021created byJean-Luc-Picard-2021

$0.00

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

Unfunded#1020created byjeswr

$0.00

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

Unfunded#1019created bykamahen

$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

PL_unify_list() gets assert check inside PL_open_query

Unfunded#1111created bykamahen

$0.00

SEGV in compileArgument() during build while processing docs(?)

Unfunded#1107created byhe32

$0.00

ctrl-C in read causes exit from REPL

Unfunded#1097created bykamahen

$0.00

`max(1,nan)` broken in 9.1.2

Unfunded#1095created byridgeworks

$0.00

PL_initialise changes process' locale

Unfunded#1093created byfabriceleal

$0.00

term_hash sigfault.

Unfunded#1092created byIanUtley

$0.00

Optimized arithmetic and libbf don't work together.

Unfunded#1091created byridgeworks

$0.00

Decompiler: unknown instruction in clause body: h_mpq

Unfunded#1087created byIanUtley

$0.00

issue with qsave'd programs

Unfunded#1017created byjosd

$0.00

prolog.js re-assigns a const

Unfunded#1083created byjeswr

$0.00

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

Unfunded#1082created byanionic

$0.00

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

Unfunded#1078created byridgeworks

$0.00

unhandled exception writing a string in xpce text editor

Unfunded#1077created bybobtie

$0.00

Ssnprintf() doesn't report # bytes correctly

Unfunded#1074created bykamahen

$0.00

Crash in get_optval()

Unfunded#1073created bykamahen

$0.00

pack_install appears to not propogate enviroment variables.

Unfunded#1070created byblueforesticarus

$0.00

Negation breaks solving?

Unfunded#1064created byinferrna

$0.00

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

Unfunded#934created byyoquierotacob

$0.00

ssh_server.pl library is not found

Unfunded#956created byxpxaxsxi

$0.00

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

Unfunded#950created byxpxaxsxi

$0.00

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

Unfunded#949created bymedovina

$0.00

library(yall) failing with running foldl backwards?

Unfunded#948created byK9-guardian

$0.00

segv in system:trie_gen/3

Unfunded#885created byEricZinda

$0.00

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

Unfunded#944created byxpxaxsxi

$0.00

swipl.js not running anymore with latest commit 6600d54

Unfunded#942created byjosd

$0.00

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

Unfunded#935created byxpxaxsxi

$0.00

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

Unfunded#957created bydidier31

$0.00

WAM Table mismatch

Unfunded#917created bymd5i

$0.00

Behavior of brace_terms is inverted compared to documentation

Unfunded#914created bydgelessus

$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

swipl can't read prolog-file from STDIN

Unfunded#909created byJRaspass

$0.00

Exported symbol PL_version conflicts with symbol in Perl

Unfunded#900created byzmughal

$0.00

retract/1 becomes slow

Unfunded#907created bySapifel

$0.00

Building swipl wasm failed

Unfunded#906created byjosd

$0.00

Error with library rbtrees

Unfunded#903created bydamianoazzolini

$0.00

6eb26fa introduced an apparent infinite loop

Unfunded#993created byspl

$0.00

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

Unfunded#1015created bykamahen

$0.00

segfault in crypto library on debian unstable

Unfunded#1014created bymatko

$0.00

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

Unfunded#1013created bykamahen

$0.00

Duplicate swipl-win target on Windows

Unfunded#1009created byDRKV333

$0.00

Regression for swipl-wasm

Unfunded#1007created byjosd

$0.00

Base64 encoding discrepancy

Unfunded#1000created bytotpet

$0.00

Sporadic issue, possibly with garbage collection

Unfunded#995created byspl

$0.00

write_term/2 with numbervars and variable_names instantiates its argument

Unfunded#866created bydmchurch

$0.00

Fails to build on systems without libgmp

Unfunded#1113created bysei-mwd

$0.00

Non-sensical error from prolog_colour library with discontiguous clauses

Unfunded#990created byxpxaxsxi

$0.00

Compile fails in pl-coverage.c with some compilers

Unfunded#988created bymd5i

$0.00

Error occured in building

Unfunded#987created byPosoSAgapo

$0.00

Building static self-contained Prolog binary

Unfunded#982created byredfast00

$0.00

Unknown procedure `to_list/2`

Unfunded#963created byogoletti

$0.00

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

Unfunded#962created byvancaho

$0.00

swipl crashed after `halt.` after using gtrace.

Unfunded#961created byvancaho

$0.00

transpose/2 is absent from PDF documentation

Unfunded#960created bymedovina

$0.00

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

Unfunded#1205created byridgeworks

$0.00

Specifying CXX breaks package build

Unfunded#1218created bykamahen

$0.00

multiple pyhton interpreters

Unfunded#1217created byfriguzzi

$0.00

warning on SWI-Prolog.h

Unfunded#1216created byfriguzzi

$0.00

pack buildenv.sh incorrectly sets `LD`

Unfunded#1214created bykamahen

$0.00

SIGSEGV in $c_wrap_predicate

Unfunded#1213created byyrashk

$0.00

build stopped at ninja install

Unfunded#1209created byjosd

$0.00

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

Unfunded#1208created byGeoffChurch

$0.00

call_with_time_limit doesn't work with initialization

Unfunded#1207created bydeRemo

$0.00

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

Unfunded#1206created byridgeworks

$0.00

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

Unfunded#1219created byBarrensZeppelin

$0.00

failing undo goal causes stacktrace

Unfunded#1204created byIanUtley

$0.00

Running a script via a symlink in a different directory fails to load module files

Unfunded#1201created byjinwoo

$0.00

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

Unfunded#1197created byridgeworks

$0.00

Not compiling

Unfunded#1192created byeddiec

$0.00

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

Unfunded#1188created byncaq

$0.00

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

Unfunded#1186created bykamahen

$0.00

read_term comments() option truncates comment at first nul

Unfunded#1185created byanionic

$0.00

`qsave_program` fatal error saving bundled module `clpBNR`

Unfunded#1184created byridgeworks

$0.00

thread_signal/2 throws an existence error for threads that terminated but are not yet joined

Unfunded#1236created bypmoura

$0.00

Installing on Windows without compiling does not add jpl

Unfunded#1255created byrzese

$0.00

Segmentation fault in call to get_rational_no_int

Unfunded#1254created byetrian-dev

$0.00

Warning in library prolog_stack

Unfunded#1253created byetrian-dev

$0.00

Engine generates solution that fails one of the constraints.

Unfunded#1247created bywentaoc

$0.00

Use-after-free bug in `trace`

Unfunded#1245created byjinwoo

$0.00

CVT_WRITEQ doesn't quote at the outermost level

Unfunded#1241created bykamahen

$0.00

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

Unfunded#1239created byjosd

$0.00

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

Unfunded#1237created byxpxaxsxi

$0.00

Built-in predicate request: function_property/2

Unfunded#1181created bypmoura

$0.00

SIO_INPUT stream allows write

Unfunded#1233created bykamahen

$0.00

catch_with_backtrace/3 doesn't produce a backtrace message

Unfunded#1231created bykamahen

$0.00

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

Unfunded#1228created bysoli

$0.00

pack_install/1 error with HTTPS URL

Unfunded#1227created bypmoura

$0.00

include/1 is missing in 9.1.18

Unfunded#1225created byxpxaxsxi

$0.00

Handle variable attributes in the Foreign Interface, if possible

Unfunded#1223created byturibe

$0.00

SIGSEGV with mode directed tabling

Unfunded#1222created byBarrensZeppelin

$0.00

`apropos` crashes SWI-Prolog

Unfunded#1220created byz5h

$0.00

PL_atom_to_encoding() in wrong header file?

Unfunded#1133created bykamahen

$0.00

SERVER ERROR

Unfunded#1154created byNelson6203

$0.00

Non coherent tags

Unfunded#1152created bymoueza

$0.00

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

Unfunded#1151created bykamahen

$0.00

PL_PRUNED not called for C++ foreign predicate

Unfunded#1150created bykamahen

$0.00

Memory leak from GMP

Unfunded#1148created bykamahen

$0.00

saveUCSAtom() and loadUCSAtom() are inconsistent

Unfunded#1143created bykamahen

$0.00

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

Unfunded#1141created bykamahen

$0.00

library(http/json) mishandles encoded surrogate pairs

Unfunded#1135created bymbrock

$0.00

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

Unfunded#1155created bykamahen

$0.00

odbc package should check for presence of unixodbc.h

Unfunded#1127created byedmcman

$0.00

can't compile

Unfunded#1123created byheiheshang

$0.00

Missing string_insert fonction ?

Unfunded#1121created byn-ai-up8-edu

$0.00

Make some functions in pl-wic.c public

Unfunded#1120created bykamahen

$0.00

Blob save doesn't check return code

Unfunded#1118created bykamahen

$0.00

Pack install 503 server error

Unfunded#1117created bycrgz

$0.00

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

Unfunded#1116created bybriggs-w

$0.00

Performance degradation from swipl 8.4.3 to 9.0.x

Unfunded#1115created byjasuser0

$0.00

Emscripten build with pcre

Unfunded#1166created byjeswr

$0.00

can't compile

Unfunded#1179created byheiheshang

$0.00

Add funding button

Unfunded#1178created byPanquesito7

$0.00

Add issue forms/templates

Unfunded#1177created byPanquesito7

$0.00

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

Unfunded#1175created byxpxaxsxi

$0.00

Closing stream used in thread hangs

Unfunded#1174created bybrebs-gh

$0.00

emsdk versions

Unfunded#1169created byJanWielemaker

$0.00

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

Unfunded#1168created bypmoura

$0.00

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

Unfunded#845created bydtonhofer

$0.00

TL;DR page for swipl

Unfunded#902created byEmilySeville7cfg

$0.00

PL_record_external() doesn't support blobs

Unfunded#1165created bykamahen

$0.00

Prolog flag answer_write_options is ignored

Unfunded#1164created byduesentrieb17

$0.00

Generate `swipl.wasm` and `swipl.data`

Unfunded#1163created byjeswr

$0.00

Stack overflow in term_factorized/3

Unfunded#1162created byJean-Luc-Picard-2021

$0.00

Bug in tuples_in/2 of CLP(FD)

Unfunded#1160created byleuschel

$0.00

system:compare/3 violates transitive ordering for rational trees (cyclic terms)

Unfunded#1159created byridgeworks

$0.00

Are use of `dlopen` necessary

Unfunded#1158created byjeswr

$0.00

ERROR: Duplicate key

Unfunded#1156created byz5h

$0.00

Recent activities

janwielemaker added the repository

over 4 years ago

swipl-devel

$0.00

Issues

Company

Community

Support

Connect