bug-prolog  

Messages by Date

• 2025/12/02 Re: Cyclic term error with quot_rem Daniel Diaz
• 2025/12/02 Re: gprolog-1.5.0 fails to compile on Linux/Debian/Trixie/x86-64 (or Ubuntu 24) Daniel Diaz
• 2025/11/26 gprolog-1.5.0 fails to compile on Linux/Debian/Trixie/x86-64 (or Ubuntu 24) Basile Starynkevitch
• 2024/02/08 Another i386 problem Jasper Taylor
• 2024/02/06 Re: build for i386 broken Jasper Taylor
• 2024/02/06 build for i386 broken Jasper Taylor
• 2023/11/30 Re: Cyclic term error with quot_rem Daniel Diaz
• 2023/11/29 Cyclic term error with quot_rem Marc Nieper-Wißkirchen
• 2023/07/13 Re: --min-bips omits necessary library Daniel Diaz
• 2023/07/10 --min-bips omits necessary library Jasper Taylor
• 2023/02/08 Re: warning: discontiguous predicate x/2 - clause ignored François Fages
• 2023/02/08 warning: discontiguous predicate x/2 - clause ignored one_of_us
• 2023/01/09 Re: The editor does not always offer other solutions. Daniel Diaz
• 2023/01/08 The editor does not always offer other solutions. one_of_us
• 2022/08/21 Re: fd_labeling do not work with value method bounds Salvador Abreu
• 2022/08/21 fd_labeling do not work with value method bounds one_of_us
• 2022/07/05 Re: Segmentation fault Daniel Diaz
• 2022/05/22 Variables can be modified through the foreign C interface Vésy Jordan
• 2022/01/27 Re: [Feature Request] Is there any plan for RISC-V support? Daniel Diaz
• 2022/01/27 Re: [Feature Request] Is there any plan for RISC-V support? Jasper Taylor
• 2022/01/27 Re: Re: [Feature Request] Is there any plan for RISC-V support? panrz
• 2022/01/24 Re: [Feature Request] Is there any plan for RISC-V support? Daniel Diaz
• 2022/01/24 Re: [Feature Request] Is there any plan for RISC-V support? Jasper Taylor
• 2022/01/22 [Feature Request] Is there any plan for RISC-V support? panrz
• 2021/12/10 Re: segmentation fault writing cyclic term Paul Eggert
• 2021/12/09 Re: segmentation fault writing cyclic term Daniel Diaz
• 2021/12/04 Re: segmentation fault writing cyclic term Paul Eggert
• 2021/12/04 Re: segmentation fault writing cyclic term Paulo Moura
• 2021/12/03 segmentation fault writing cyclic term Paul Eggert
• 2021/07/20 Re: gprolog DESTDIR and optional install directories Daniel Diaz
• 2021/07/11 Re: Build failures on GCC 10 due to -fno-common default Daniel Diaz
• 2021/07/10 gprolog DESTDIR and optional install directories Keri Harris
• 2021/07/10 gprolog install-links Makefile rule Keri Harris
• 2021/07/10 gprolog not respecting LDFLAGS Keri Harris
• 2021/05/28 Re: Unable to read or compile a file Daniel Diaz
• 2021/05/28 Unable to read or compile a file Domicile
• 2021/03/29 Re: Issues with ubuntu 18.04 Jerry Hancock
• 2021/03/29 Re: Issues with ubuntu 18.04 Salvador Abreu
• 2021/03/26 Re: Issues with ubuntu 18.04 Paulo Moura
• 2021/03/25 Issues with ubuntu 18.04 Jerry Hancock
• 2021/03/04 Re: Integer overflow in functor/3 Daniel Diaz
• 2021/03/04 Re: Keying F1 for manual in gprolog closes Prolog console Daniel Diaz
• 2021/03/02 Keying F1 for manual in gprolog closes Prolog console Cesar Rabak
• 2020/11/15 Integer overflow in functor/3 Mark Barbone
• 2020/10/02 Re: Website links to the latest version Daniel Diaz
• 2020/10/01 Website links to the latest version Alice Toniolo
• 2020/03/31 Re: phrase doesn't fail Paulo Moura
• 2020/03/31 phrase doesn't fail Etienne Laurin
• 2020/02/07 Re: Build failures on GCC 10 due to -fno-common default Till Hofmann
• 2020/02/07 Build failures on GCC 10 due to -fno-common default Till Hofmann
• 2020/02/04 Important request, participation in software development study ivandarioarroyo
• 2020/01/19 can't build gprolog 1.4.5 on Fedora 31 x86-64 Paul Eggert
• 2019/10/24 Fyi: this list, bug-prolog, just had it's subject [tag] and footer removed sysadmin
• 2019/09/24 guess there is a bug in linedit Vitaly Bosakevich via Bug-prolog
• 2019/07/29 Fwd: possible memory leak in v1.4.5 Omer Brandis
• 2019/07/23 possible memory leak in v1.4.5 Omer Brandis
• 2018/11/05 Re: can't build gprolog 1.4.5 on RHEL 7.5 x86-64 (regression) Daniel Diaz
• 2018/10/31 can't build gprolog 1.4.5 on RHEL 7.5 x86-64 (regression) Paul Eggert
• 2018/09/24 Re: GNU Prolog 1.4.5 under Linux Salvador Abreu
• 2018/09/24 Re: GNU Prolog 1.4.5 under Linux Paulo Moura
• 2018/09/24 GNU Prolog 1.4.5 under Linux Sergey S. Kumkov
• 2018/09/16 gprolog 1.4.4 and 1.4.5 run failure with gcc 8.2.0, success with clang 6.0.2 on FreeBSD. Dewayne Geraghty
• 2018/09/12 Re: Makefile rules not considering DESTDIR Daniel Diaz
• 2018/08/22 fib(30) crash Info XLOG
• 2018/07/25 Re: Operator "^" bug. Brian Bray
• 2018/07/25 Re: Operator "^" bug. Paulo Moura
• 2018/07/25 Operator "^" bug. Brian Bray
• 2018/07/22 Makefile rules not considering DESTDIR Keri Harris
• 2018/07/22 install-links Makefile rule Keri Harris
• 2018/07/22 Executables built without respecting LDFLAGS Keri Harris
• 2018/07/20 Inovcation typo Kevin Garlow
• 2018/01/09 Re: gprolog extended via C interface ignores command-line interface arguments Daniel Diaz
• 2017/12/19 Re: gprolog segmentation violation due to infinite recursion in unification Daniel Diaz
• 2017/12/18 Re: gprolog segmentation violation due to infinite recursion in unification Paul Eggert
• 2017/12/18 Re: gprolog segmentation violation due to infinite recursion in unification Daniel Diaz
• 2017/12/13 gprolog segmentation violation due to infinite recursion in unification Paul Eggert
• 2017/12/02 gprolog extended via C interface ignores command-line interface arguments Simon Curry
• 2017/07/27 Re: Linking errors from gplc with ld 2.28 Daniel Diaz
• 2017/07/24 Re: Linking errors from gplc with ld 2.28 Keri Harris
• 2017/07/21 Linking errors from gplc with ld 2.28 Jasper Taylor
• 2017/02/02 Re: GNU Prolog Daniel Diaz
• 2017/01/31 GNU Prolog Радослав Василев
• 2016/10/28 errors Радослав Василев
• 2016/10/25 Blender Python with GNU Prolog Радослав Василев
• 2016/08/17 gplc - Memory allocation fault fx . nion
• 2016/05/10 Re: Simple but crashes ! Daniel Diaz
• 2016/05/04 Simple but crashes ! Khaled, Mahmoud
• 2016/04/25 Compilation failed under Alpine Linux fx . nion
• 2015/11/07 Re: The evaluable function (^)/2. Jan Burse
• 2015/11/07 The evaluable function (^)/2. Jan Burse
• 2015/09/14 Re: system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3))) Gustavo Brown - INCO
• 2015/09/14 Re: system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3))) Daniel Diaz
• 2015/09/14 Re: gplc possible bug: symbol already defined Daniel Diaz
• 2015/08/03 Re: gplc possible bug: symbol already defined Paulo Moura
• 2015/08/03 gplc possible bug: symbol already defined Paulo Moura
• 2015/07/14 system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3))) Gustavo Brown - INCO
• 2015/07/03 Re: Access Violation with abolish Daniel Diaz
• 2015/07/01 Access Violation with abolish Gustavo Brown - INCO
• 2015/04/21 100% CPU utilization when gprolog loses shell connection - 1.4.4 @ Ubuntu 14.04 Kevin de Berk
• 2015/03/05 Re: Problem with select/5 on AF_INET sockets with Windows 7 Fx
• 2015/02/20 Re: Problem with select/5 on AF_INET sockets with Windows 7 Fx
• 2015/02/19 Re: Problem with select/5 on AF_INET sockets with Windows 7 Paulo Moura
• 2015/02/19 Re: Problem with select/5 on AF_INET sockets with Windows 7 Fx
• 2015/02/19 Re: Problem with select/5 on AF_INET sockets with Windows 7 Paulo Moura
• 2015/02/19 Re: Problem with select/5 on AF_INET sockets with Windows 7 Fx
• 2015/02/17 Re: Problem with select/5 on AF_INET sockets with Windows 7 Daniel Diaz
• 2015/01/27 Problem with select/5 on AF_INET sockets with Windows 7 fx . nion
• 2014/12/11 Re: Bug Prolog Daniel Diaz
• 2014/12/08 Bug Prolog Nicow R
• 2014/10/06 Re: Inconsistency between the declaration of three function prototypes in header file gprolog.h and atom.h Daniel Diaz
• 2014/10/06 Re: Inconsistency between the declaration of three function prototypes in header file gprolog.h and atom.h Gustavo Brown - INCO
• 2014/10/05 Re: Inconsistency between the declaration of three function prototypes in header file gprolog.h and atom.h Daniel Diaz
• 2014/10/02 Inconsistency between the declaration of three function prototypes in header file gprolog.h and atom.h Gustavo Brown - INCO
• 2014/08/28 C interface: documenting how to get results from Pl_Query_Call() and Pl_Query_Next_Solution() Ricky Husky
• 2014/08/18 Re: Bug when instantiating long list of compounds from consulted file STREBELLE Alain
• 2014/08/13 Re: GNU prolog crash systematicaly for the program Daniel Diaz
• 2014/08/13 Re: Bug when instantiating long list of compounds from consulted file Daniel Diaz
• 2014/08/11 GNU prolog crash systematicaly for the program Fabrice . BIZEC
• 2014/06/03 Bug when instantiating long list of compounds from consulted file STREBELLE Alain
• 2014/05/13 Re: gprolog-1.4.4 bug report Daniel Diaz
• 2014/05/12 gprolog-1.4.4 bug report David Binderman
• 2014/03/26 Erreur au lancement de Prolog sous Mac OS X Lion 10.7.5 avec gprolog-1.4.4 Michel Rueher
• 2014/02/08 Re: Problems with large terms Daniel Diaz
• 2014/02/07 Problems with large terms Simile support
• 2014/01/31 Re: Ctrl+[left or right arrow] freezes gprolog Daniel Diaz
• 2014/01/30 Re: Ctrl+[left or right arrow] freezes gprolog Matthew Carter
• 2014/01/30 Ctrl+[left or right arrow] freezes gprolog Francois-Marie Floch
• 2013/09/18 Re: Bug: Issue with gplc failing to compile large (17, 000 line) file of facts Daniel Diaz
• 2013/09/16 Bug: Issue with gplc failing to compile large (17,000 line) file of facts Matthew Carter
• 2013/09/05 Where did my program go? Barry Dwyer
• 2013/09/05 Where did my program go? The aftermath. Barry Dwyer
• 2013/08/18 Re: $gprolog given Segmentation fault: 11 Paulo Moura
• 2013/08/18 Re: $gprolog given Segmentation fault: 11 Ognjen Savkovic
• 2013/08/18 $gprolog given Segmentation fault: 11 Ognjen Savkovic
• 2013/05/16 Web site bug Abe Skolnik
• 2013/03/09 Re: Segmentation fault with constraints involving many terms. Daniel Diaz
• 2013/03/06 Segmentation fault with constraints involving many terms. Thierry Martinez
• 2013/02/25 Re: Segmentation fault on arithmetic after ppl_initialize() Thierry Martinez
• 2013/02/25 Re: Segmentation fault on arithmetic after ppl_initialize() Thierry Martinez
• 2013/02/25 Re: Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints Thierry Martinez
• 2013/02/25 Re: Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints Daniel Diaz
• 2013/02/25 Re: Segmentation fault on arithmetic after ppl_initialize() Daniel Diaz
• 2013/02/24 Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints Thierry Martinez
• 2013/02/22 Segmentation fault on arithmetic after ppl_initialize() Thierry Martinez
• 2013/01/29 Re: Prolog on mac Paulo Moura
• 2013/01/29 Prolog on mac Raed Abboud
• 2013/01/06 Re: C Interface Issue mcculloch
• 2012/12/16 Re: C Interface Issue mcculloch
• 2012/12/16 Re: C Interface Issue Daniel Diaz
• 2012/12/15 C Interface Issue mcculloch
• 2012/11/22 Re: Constraint solver generates invalid solutions Daniel Diaz
• 2012/11/12 Re: *-> Causes a segmentation fault Daniel Diaz
• 2012/11/11 *-> Causes a segmentation fault Matthew Prestifilippo
• 2012/10/28 Re: Constraint solver generates invalid solutions Markus Triska
• 2012/09/24 Re: Cut(!) and fail inside nested once/1 calls? Daniel Diaz
• 2012/09/21 Cut(!) and fail inside nested once/1 calls? Dave Sworin
• 2012/09/10 Re: possible memory leak in Stream Handling Daniel Diaz
• 2012/09/06 possible memory leak in Stream Handling Mario Frank
• 2012/08/25 Re: Regression on portray_clause/2 Daniel Diaz
• 2012/08/25 Re: Regression on portray_clause/2 Daniel Diaz
• 2012/08/24 Regression on portray_clause/2 Thierry Martinez
• 2012/08/04 Re: Compilation problem in gprolog-1.4.1 Daniel Diaz
• 2012/07/28 Compilation problem in gprolog-1.4.1 Michał Kołodziejski
• 2012/07/15 Re: All constraints not met in results. Daniel Diaz
• 2012/07/15 Re: Regression: Failure and segfault with unification, predicate calls and arrow Daniel Diaz
• 2012/07/14 Regression: Failure and segfault with unification, predicate calls and arrow Thierry Martinez
• 2012/07/11 All constraints not met in results. Mark Roulo
• 2012/07/09 Re: sublist/2 recognizes subsequences as sublists Daniel Diaz
• 2012/07/07 sublist/2 recognizes subsequences as sublists Heiko
• 2012/04/17 Re: FD and Multiplication Daniel Diaz
• 2012/04/16 FD and Multiplication Jan Burse
• 2012/04/06 Re: I think I have found a bug in list processing Daniel Diaz
• 2012/03/30 Re: I think I have found a bug in list processing Paulo Moura
• 2012/03/30 I think I have found a bug in list processing phi16
• 2012/03/24 Re: Segfault on X = [a,X]. Daniel Diaz
• 2012/03/24 Segfault on X = [a,X]. Konstantin Weitz
• 2012/03/05 Re: Interrupting the Interpreter -> Segmentation Violation Daniel Diaz
• 2012/03/02 Interrupting the Interpreter -> Segmentation Violation Jan Burse
• 2012/02/20 Re: fd_element/fd_element_var do not support lists with more than 63 elements Daniel Diaz
• 2012/02/20 fd_element/fd_element_var do not support lists with more than 63 elements Thierry Martinez
• 2012/02/17 Re: uncaught exception: error(resource_error(too_big_fd_constraint), # /2) Daniel Diaz
• 2012/02/14 uncaught exception: error(resource_error(too_big_fd_constraint), # /2) Ujjwal Guin
• 2012/02/07 Re: Gprolog 1.4 exec/5 does not work under cygwin Daniel Diaz
• 2012/02/06 Re: Gprolog 1.4 exec/5 does not work under cygwin Mark Utting
• 2012/01/30 Re: Is GNU Prolog interpreter output missing quotes for '<>', '[]', and '{}'? Dave Sworin
• 2012/01/26 Re: Is GNU Prolog interpreter output missing quotes for '<>', '[]', and '{}'? Salvador Abreu
• 2012/01/26 Is GNU Prolog interpreter output missing quotes for '<>', '[]', and '{}'? Dave Sworin
• 2012/01/17 Re: failed when try to compile Daniel Diaz
• 2012/01/14 failed when try to compile tetra yudhabakti pamungkas
• 2011/12/13 Re: Gprolog 1.4 exec/5 does not work under cygwin Daniel Diaz
• 2011/12/12 Gprolog 1.4 exec/5 does not work under cygwin Mark Utting
• 2011/11/25 Re: Error with consult/1 from console (Windows v. 1.40) Daniel Diaz
• 2011/11/25 Re: Error with consult/1 from console (Windows v. 1.40) Daniel Diaz
• 2011/11/25 Re: new_atom broken on GNU Prolog 1.4.0/MinGW Daniel Diaz
• 2011/11/21 GNU Prolog segfaults on simple math (Mac OS Lion ) Tomasz Baranski
• 2011/11/21 Re: Cygwin bug with GProlog 1.4.0 executable Daniel Diaz
• 2011/11/19 pb de CreateProcess manquant en compilant par gplc avec MinGW sur windows pierre de boisheraud
• 2011/11/19 Cygwin bug with GProlog 1.4.0 executable Mark Utting
• 2011/11/18 Re: Interfacing with libexpat Daniel Diaz
• 2011/11/17 Re: order Daniel Diaz

• Earlier messages