bug-prolog  

Messages by Thread

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

• Earlier messages