bug-prolog

Re: Cyclic term error with quot_rem

Tue, 02 Dec 2025 19:18:23 GMT

2025/12/02 -- Daniel Diaz

Re: gprolog-1.5.0 fails to compile on Linux/Debian/Trixie/x86-64 (or Ubuntu 24)

Tue, 02 Dec 2025 17:17:23 GMT

2025/12/02 -- Daniel Diaz

gprolog-1.5.0 fails to compile on Linux/Debian/Trixie/x86-64 (or Ubuntu 24)

Wed, 26 Nov 2025 11:30:28 GMT

2025/11/26 -- Basile Starynkevitch

Another i386 problem

Thu, 08 Feb 2024 13:33:27 GMT

2024/02/08 -- Jasper Taylor

Re: build for i386 broken

Tue, 06 Feb 2024 15:01:18 GMT

2024/02/06 -- Jasper Taylor

build for i386 broken

Tue, 06 Feb 2024 13:20:59 GMT

2024/02/06 -- Jasper Taylor

Re: Cyclic term error with quot_rem

Thu, 30 Nov 2023 13:20:11 GMT

2023/11/30 -- Daniel Diaz

Cyclic term error with quot_rem

Wed, 29 Nov 2023 16:28:03 GMT

2023/11/29 -- Marc Nieper-Wißkirchen

Re: --min-bips omits necessary library

Thu, 13 Jul 2023 09:36:16 GMT

2023/07/13 -- Daniel Diaz

--min-bips omits necessary library

Mon, 10 Jul 2023 10:44:24 GMT

2023/07/10 -- Jasper Taylor

Re: warning: discontiguous predicate x/2 - clause ignored

Wed, 08 Feb 2023 09:37:18 GMT

2023/02/08 -- François Fages

warning: discontiguous predicate x/2 - clause ignored

Wed, 08 Feb 2023 09:20:07 GMT

2023/02/08 -- one_of_us

Re: The editor does not always offer other solutions.

Mon, 09 Jan 2023 08:33:47 GMT

2023/01/09 -- Daniel Diaz

The editor does not always offer other solutions.

Sun, 08 Jan 2023 15:46:58 GMT

2023/01/08 -- one_of_us

Re: fd_labeling do not work with value method bounds

Sun, 21 Aug 2022 16:06:59 GMT

2022/08/21 -- Salvador Abreu

fd_labeling do not work with value method bounds

Sun, 21 Aug 2022 14:33:31 GMT

2022/08/21 -- one_of_us

Re: Segmentation fault

Tue, 05 Jul 2022 07:21:19 GMT

2022/07/05 -- Daniel Diaz

Variables can be modified through the foreign C interface

Sun, 22 May 2022 17:20:45 GMT

2022/05/22 -- Vésy Jordan

Re: [Feature Request] Is there any plan for RISC-V support?

Fri, 28 Jan 2022 07:58:57 GMT

2022/01/28 -- Daniel Diaz

Re: [Feature Request] Is there any plan for RISC-V support?

Thu, 27 Jan 2022 18:24:46 GMT

2022/01/27 -- Jasper Taylor

Re: Re: [Feature Request] Is there any plan for RISC-V support?

Thu, 27 Jan 2022 17:24:02 GMT

2022/01/27 -- panrz

Re: [Feature Request] Is there any plan for RISC-V support?

Mon, 24 Jan 2022 15:54:47 GMT

2022/01/24 -- Daniel Diaz

Re: [Feature Request] Is there any plan for RISC-V support?

Mon, 24 Jan 2022 12:23:40 GMT

2022/01/24 -- Jasper Taylor

[Feature Request] Is there any plan for RISC-V support?

Sat, 22 Jan 2022 19:49:59 GMT

2022/01/22 -- panrz

Re: segmentation fault writing cyclic term

Fri, 10 Dec 2021 21:22:43 GMT

2021/12/10 -- Paul Eggert

Re: segmentation fault writing cyclic term

Fri, 10 Dec 2021 07:57:27 GMT

2021/12/10 -- Daniel Diaz

Re: segmentation fault writing cyclic term

Sat, 04 Dec 2021 16:56:22 GMT

2021/12/04 -- Paul Eggert

Re: segmentation fault writing cyclic term

Sat, 04 Dec 2021 11:23:42 GMT

2021/12/04 -- Paulo Moura

segmentation fault writing cyclic term

Sat, 04 Dec 2021 00:12:11 GMT

2021/12/04 -- Paul Eggert

Re: gprolog DESTDIR and optional install directories

Tue, 20 Jul 2021 07:20:59 GMT

2021/07/20 -- Daniel Diaz

Re: Build failures on GCC 10 due to -fno-common default

Sun, 11 Jul 2021 08:52:21 GMT

2021/07/11 -- Daniel Diaz

gprolog DESTDIR and optional install directories

Sat, 10 Jul 2021 12:55:46 GMT

2021/07/10 -- Keri Harris

gprolog install-links Makefile rule

Sat, 10 Jul 2021 11:53:59 GMT

2021/07/10 -- Keri Harris

gprolog not respecting LDFLAGS

Sat, 10 Jul 2021 10:50:43 GMT

2021/07/10 -- Keri Harris

Re: Unable to read or compile a file

Fri, 28 May 2021 17:17:03 GMT

2021/05/28 -- Daniel Diaz

Unable to read or compile a file

Fri, 28 May 2021 16:44:49 GMT

2021/05/28 -- Domicile

Re: Issues with ubuntu 18.04

Mon, 29 Mar 2021 19:01:29 GMT

2021/03/29 -- Jerry Hancock

Re: Issues with ubuntu 18.04

Mon, 29 Mar 2021 12:53:08 GMT

2021/03/29 -- Salvador Abreu

Re: Issues with ubuntu 18.04

Fri, 26 Mar 2021 12:43:42 GMT

2021/03/26 -- Paulo Moura

Issues with ubuntu 18.04

Fri, 26 Mar 2021 01:23:20 GMT

2021/03/26 -- Jerry Hancock

Re: Integer overflow in functor/3

Thu, 04 Mar 2021 08:03:26 GMT

2021/03/04 -- Daniel Diaz

Re: Keying F1 for manual in gprolog closes Prolog console

Thu, 04 Mar 2021 08:01:03 GMT

2021/03/04 -- Daniel Diaz

Keying F1 for manual in gprolog closes Prolog console

Tue, 02 Mar 2021 21:37:01 GMT

2021/03/02 -- Cesar Rabak

Integer overflow in functor/3

Sun, 15 Nov 2020 08:35:22 GMT

2020/11/15 -- Mark Barbone

Re: Website links to the latest version

Fri, 02 Oct 2020 07:36:49 GMT

2020/10/02 -- Daniel Diaz

Website links to the latest version

Thu, 01 Oct 2020 15:10:56 GMT

2020/10/01 -- Alice Toniolo

Re: phrase doesn't fail

Tue, 31 Mar 2020 15:21:59 GMT

2020/03/31 -- Paulo Moura

phrase doesn't fail

Tue, 31 Mar 2020 14:49:17 GMT

2020/03/31 -- Etienne Laurin

Re: Build failures on GCC 10 due to -fno-common default

Fri, 07 Feb 2020 08:33:25 GMT

2020/02/07 -- Till Hofmann

Build failures on GCC 10 due to -fno-common default

Fri, 07 Feb 2020 08:32:19 GMT

2020/02/07 -- Till Hofmann

Important request, participation in software development study

Tue, 04 Feb 2020 20:50:15 GMT

2020/02/04 -- ivandarioarroyo

can't build gprolog 1.4.5 on Fedora 31 x86-64

Mon, 20 Jan 2020 01:42:25 GMT

2020/01/20 -- Paul Eggert

Fyi: this list, bug-prolog, just had it's subject [tag] and footer removed

Fri, 25 Oct 2019 01:13:04 GMT

2019/10/25 -- sysadmin

guess there is a bug in linedit

Tue, 24 Sep 2019 13:09:49 GMT

2019/09/24 -- Vitaly Bosakevich via Bug-prolog

Fwd: possible memory leak in v1.4.5

Mon, 29 Jul 2019 16:59:07 GMT

2019/07/29 -- Omer Brandis

possible memory leak in v1.4.5

Tue, 23 Jul 2019 13:57:42 GMT

2019/07/23 -- Omer Brandis

Re: can't build gprolog 1.4.5 on RHEL 7.5 x86-64 (regression)

Mon, 05 Nov 2018 10:43:38 GMT

2018/11/05 -- Daniel Diaz

can't build gprolog 1.4.5 on RHEL 7.5 x86-64 (regression)

Thu, 01 Nov 2018 03:01:48 GMT

2018/11/01 -- Paul Eggert

Re: GNU Prolog 1.4.5 under Linux

Mon, 24 Sep 2018 13:25:45 GMT

2018/09/24 -- Salvador Abreu

Re: GNU Prolog 1.4.5 under Linux

Mon, 24 Sep 2018 13:16:30 GMT

2018/09/24 -- Paulo Moura

GNU Prolog 1.4.5 under Linux

Mon, 24 Sep 2018 12:41:45 GMT

2018/09/24 -- Sergey S. Kumkov

gprolog 1.4.4 and 1.4.5 run failure with gcc 8.2.0, success with clang 6.0.2 on FreeBSD.

Sun, 16 Sep 2018 10:16:18 GMT

2018/09/16 -- Dewayne Geraghty

Re: Makefile rules not considering DESTDIR

Wed, 12 Sep 2018 07:18:02 GMT

2018/09/12 -- Daniel Diaz

fib(30) crash

Wed, 22 Aug 2018 20:20:57 GMT

2018/08/22 -- Info XLOG

Re: Operator "^" bug.

Wed, 25 Jul 2018 18:25:48 GMT

2018/07/25 -- Brian Bray

Re: Operator "^" bug.

Wed, 25 Jul 2018 10:21:02 GMT

2018/07/25 -- Paulo Moura

Operator "^" bug.

Wed, 25 Jul 2018 08:01:24 GMT

2018/07/25 -- Brian Bray

Makefile rules not considering DESTDIR

Sun, 22 Jul 2018 11:39:56 GMT

2018/07/22 -- Keri Harris

install-links Makefile rule

Sun, 22 Jul 2018 11:19:36 GMT

2018/07/22 -- Keri Harris

Executables built without respecting LDFLAGS

Sun, 22 Jul 2018 10:26:41 GMT

2018/07/22 -- Keri Harris

Inovcation typo

Fri, 20 Jul 2018 17:51:02 GMT

2018/07/20 -- Kevin Garlow

Re: gprolog extended via C interface ignores command-line interface arguments

Tue, 09 Jan 2018 15:05:45 GMT

2018/01/09 -- Daniel Diaz

Re: gprolog segmentation violation due to infinite recursion in unification

Tue, 19 Dec 2017 13:44:07 GMT

2017/12/19 -- Daniel Diaz

Re: gprolog segmentation violation due to infinite recursion in unification

Mon, 18 Dec 2017 20:32:02 GMT

2017/12/18 -- Paul Eggert

Re: gprolog segmentation violation due to infinite recursion in unification

Mon, 18 Dec 2017 19:27:49 GMT

2017/12/18 -- Daniel Diaz

gprolog segmentation violation due to infinite recursion in unification

Thu, 14 Dec 2017 06:46:44 GMT

2017/12/14 -- Paul Eggert

gprolog extended via C interface ignores command-line interface arguments

Sat, 02 Dec 2017 17:14:15 GMT

2017/12/02 -- Simon Curry

Re: Linking errors from gplc with ld 2.28

Thu, 27 Jul 2017 10:24:06 GMT

2017/07/27 -- Daniel Diaz

Re: Linking errors from gplc with ld 2.28

Mon, 24 Jul 2017 07:38:30 GMT

2017/07/24 -- Keri Harris

Linking errors from gplc with ld 2.28

Fri, 21 Jul 2017 10:26:54 GMT

2017/07/21 -- Jasper Taylor

Re: GNU Prolog

Thu, 02 Feb 2017 09:41:09 GMT

2017/02/02 -- Daniel Diaz

GNU Prolog

Tue, 31 Jan 2017 09:18:07 GMT

2017/01/31 -- Радослав Василев

errors

Fri, 28 Oct 2016 23:21:07 GMT

2016/10/28 -- Радослав Василев

Blender Python with GNU Prolog

Tue, 25 Oct 2016 14:28:02 GMT

2016/10/25 -- Радослав Василев

gplc - Memory allocation fault

Wed, 17 Aug 2016 10:56:03 GMT

2016/08/17 -- fx . nion

Re: Simple but crashes !

Tue, 10 May 2016 14:34:29 GMT

2016/05/10 -- Daniel Diaz

Simple but crashes !

Thu, 05 May 2016 02:32:58 GMT

2016/05/05 -- Khaled, Mahmoud

Compilation failed under Alpine Linux

Mon, 25 Apr 2016 14:09:37 GMT

2016/04/25 -- fx . nion

Re: The evaluable function (^)/2.

Sat, 07 Nov 2015 22:22:07 GMT

2015/11/07 -- Jan Burse

The evaluable function (^)/2.

Sat, 07 Nov 2015 22:19:04 GMT

2015/11/07 -- Jan Burse

Re: system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3)))

Mon, 14 Sep 2015 16:42:24 GMT

2015/09/14 -- Gustavo Brown - INCO

Re: system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3)))

Mon, 14 Sep 2015 07:23:28 GMT

2015/09/14 -- Daniel Diaz

Re: gplc possible bug: symbol already defined

Mon, 14 Sep 2015 07:18:31 GMT

2015/09/14 -- Daniel Diaz

Re: gplc possible bug: symbol already defined

Mon, 03 Aug 2015 20:58:55 GMT

2015/08/03 -- Paulo Moura

gplc possible bug: symbol already defined

Mon, 03 Aug 2015 17:37:11 GMT

2015/08/03 -- Paulo Moura

system_error(cannot_catch_throw(error(existence_error(procedure, (>)/2), findall/3)))

Tue, 14 Jul 2015 14:35:54 GMT

2015/07/14 -- Gustavo Brown - INCO

Re: Access Violation with abolish

Fri, 03 Jul 2015 16:59:02 GMT

2015/07/03 -- Daniel Diaz

Access Violation with abolish

Wed, 01 Jul 2015 20:07:21 GMT

2015/07/01 -- Gustavo Brown - INCO

100% CPU utilization when gprolog loses shell connection - 1.4.4 @ Ubuntu 14.04

Tue, 21 Apr 2015 15:52:36 GMT

2015/04/21 -- Kevin de Berk

Re: Problem with select/5 on AF_INET sockets with Windows 7

Fri, 06 Mar 2015 06:25:28 GMT

2015/03/06 -- Fx