users-prolog  

Messages by Thread

• FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21) geoff
• thread safty Omer Brandis
  • Re: thread safty emacstheviking
• Fwd: possible memory leak in v1.4.5 Omer Brandis
• FroCoS-12 and TABLEAUX-28 geoff
• ARCADE 2019 - submission deadline extension geoff
• The 6th Vampire Workshop - CFP geoff
• 6th International Workshop on Proof eXchange for Theorem Proving (PxTP) geoff
• CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE Martin Leucker
• Verification Mentoring Workshop 2019: Scholarships geoff
• ARCADE 2019 CFP geoff
• 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP geoff
• Logtalk 3.25.0 released Paulo Moura
• CfP: RV2019 - Runtime Verification Martin Leucker
• 5th Workshop on Bridging the Gap between Human and Automated Reasoning geoff
• iFM 2019: Call for Workshops and Tutorials Martin Leucker
  • iFM 2019: Call for Workshops and Tutorials Martin Leucker
• CADE-27: Second Call for Papers geoff
• iFM 2019 - Call for Workshops and Tutorials Martin Leucker
• ICTAC 2020 - 2nd Call for Organizers - Deadline approaching Martin Leucker
• Artificial Intelligence and Theorem Proving, CFP geoff
• ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 geoff
• CADE-27: Call for Papers, Workshops, Tutorials and System Competitions geoff
• Artificial Intelligence and Theorem Proving, AITP 2019 geoff
• A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics geoff
• LPAR-22 in Ethiopia - Call for Short Papers geoff
• 13th International Workshop on the Implementation of Logics geoff
• Pass parameters to the binary file Mario Alejandro Leiva
  • Re: Pass parameters to the binary file Paulo Moura
• LPAR-22 Ethiopia - Call for Papers geoff
• 23rd International Conference on Engineering Complex Systems - Call for Papers geoff
• LPAR-22 in Ethiopia - Call for Papers and Workshops geoff
• CASC-J9 - the ATP System Competition geoff
• CASC-J9 - the ATP System Competition - Call for Systems geoff
• cube(s) path program Stephen
• IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications geoff
• ARQNL 2018 Final Call for Papers geoff
• CICM 2018 - Call for Papers geoff
• Bridging the Gap between Human and Automated Reasoning geoff
• Re: Users-prolog Digest, Vol 163, Issue 4 Duncan Patton a Campbell
• installed gprolog 1.4.4 on debian 9 (stretch) with gcc 6.3 in a kind of hackey way, please lmk of a better way if possible Dan Hitt
  • RE: installed gprolog 1.4.4 on debian 9 (stretch) with gcc 6.3 in a kind of hackey way, please lmk of a better way if possible Anthony Noriega
• Verification and Deduction Mentoring Workshop 2018 geoff
• PAAR 2018 - Call for Papers geoff
• ARQNL 2018 - Call for Papers geoff
• AISC 2018 Call for Papers geoff
• Special Issue on Commonsense Reasoning - Call for Papers geoff
• RuleML+RR 2018 SECOND CALL FOR PAPERS geoff
• 25th AUTOMATED REASONING WORKSHOP 2018 geoff
• SAT/SMT/AR Summer School 2018 geoff
• FMCAD 2018 - Call for Papers geoff
• Alonzo Church Award - Call for Nominations geoff
  • Alonzo Church Award - Call for Nominations geoff
• RuleML+RR 2018 - Call for Papers geoff
• Artificial Intelligence and Theorem Proving 2018 - Call for Papers geoff
• Logical Frameworks and Meta-Languages 2018 - Call for Papers geoff
• CAV 2018 - Call for Papers geoff
  • CAV 2018 - Call for Papers geoff
• IJCAR 2018 - Call for Papers geoff
  • IJCAR 2018 - Call for Papers geoff
  • IJCAR 2018 - Call for Papers geoff
  • IJCAR 2018 - Call for Papers geoff
• Commonsense-2017 - Call for Participation geoff
• Buffer overrun on windows Anders D Nygaard
  • Re: Buffer overrun on windows Micha� Bieli�ski
• IJCAR 2018 - Calll for Papers geoff
• GProlog version 1.4.4 not compiling with clang 3.7 Gaurang Shastri
• FMCAD 2017: CALL FOR PARTICIPATION geoff
• Re: Newbie question regarding clause Paulo Moura
• GCAI in Miami - Call for Posters geoff
• TPTP v7.0.0 and CASC-26 geoff
• Another point of confusion David Logan
  • Re: Another point of confusion Paulo Moura
  • Re: Another point of confusion David Logan
  • Re: Another point of confusion Alberto Simões
• Re: sub_atom fails? David Logan
  • Re: sub_atom fails? Daniel Diaz
  • Re: sub_atom fails? David Logan
• Archive seemingly not working David Logan
• existence_error gone mad... emacstheviking
  • Re: existence_error gone mad... Daniel Diaz
• Help, wierd existence_error message from previously working code! emacstheviking
• 64 bit ubuntu build emacstheviking
• Build fail on 64 bit Ubuntu emacstheviking
  • Re: Build fail on 64 bit Ubuntu Salvador Pinto Abreu
• Blender-Python with GNU Prolog Радослав Василев
• term_expansion/2 and other random questions... emacstheviking
• Prolog programmer position Paulo Moura
  • Re: Prolog programmer position Barry Evans
• Installing GNU-Prolog under Cygwin64? Jack Horner
• Core leak, detected, fix on the way I guess. emacstheviking
  • Re: Core leak, detected, fix on the way I guess. Daniel Diaz
• Core memory leak somewhere, even loading empty source file. emacstheviking
• [logic-programming] Picat Tutorial on Youtube Neng-Fa Zhou
• Debugger / internals question... emacstheviking
  • Re: Debugger / internals question... emacstheviking
• Latest git pull fails to build on OSX emacstheviking
• [announce]SDL2 module for gprolog emacstheviking
  • Re: [announce]SDL2 module for gprolog Daniel Diaz
• A prolog knowledge base but without knowing what to query from it? Csányi Pál
• invalid directive foreign(... Christoph Schick
  • Re: invalid directive foreign(... Michał Bieliński
• pl2wam documentation Russell Bentley
  • Re: pl2wam documentation Daniel Diaz
• gnu prolog João Mariz Graça
  • Re: gnu prolog José Manuel García-Patos
  • Re: gnu prolog Ciprian Dorin Craciun
• Compiling the latests Christian
• [announce]GNU-Prolog SDL2 Module Released emacstheviking
  • Re: [announce]GNU-Prolog SDL2 Module Released Don Winiecki
• Differences between GProlog and SWI-Prolog results: Question about excercises in `Learn Prolog Now!` Donald Winiecki
  • Re: Differences between GProlog and SWI-Prolog results: Question about excercises in `Learn Prolog Now!` Michał Bieliński
  • Re: Differences between GProlog and SWI-Prolog results: Question about excercises in `Learn Prolog Now!` Donald Winiecki
• XGP, IDE for Ubuntu... (was, Re: GLOBALSZ space problem...) Donald Winiecki
• Possibly impertinent question about GProlog (1.4.4) results when working exercises in `Learn Prolog Now!` Donald Winiecki
• GLOBALSZ leak issue? emacstheviking
  • Re: GLOBALSZ leak issue? Paulo Moura
• GLOBALSZ space problem... emacstheviking
  • Re: GLOBALSZ space problem... Lindsey Spratt
  • Re: GLOBALSZ space problem... Paulo Moura
  • Re: GLOBALSZ space problem... Donald Winiecki
  • Re: GLOBALSZ space problem... emacstheviking
• HELP! Constantly running out of LOCALSZ space and I can't see why!! [SOLVED] emacstheviking
• HELP! Constantly running out of LOCALSZ space and I can't see why!! emacstheviking
• fd_maximize/fd_labeling with timeout Fred Bapst
• source code limits Fred Bapst
  • Re: source code limits Daniel Diaz
• Compiling to js with emscripten Gareth Aye
  • Re: Compiling to js with emscripten Gareth Aye
  • Re: Compiling to js with emscripten Gareth Aye
• [announce]GNU Prolog help update already emacstheviking
• [announce]GNU Prolog command line help predicate. emacstheviking
• [announce]GNU Prolog JSON library emacstheviking
  • Re: [announce]GNU Prolog JSON library Daniel Diaz
• Constraint programming limit Julmy Sylvain
• broken links at Prolog web-site O.Zolotov
• A question about Create_Socket_Streams in sockets_c.c emacstheviking
• github library: gnuprolog-libuuid emacstheviking
• Atom table exhaustion emacstheviking
• Atom table exhaustion?! emacstheviking
• garbage collectors of atoms created Algaba
• Checking atoms emacstheviking
• Catching errors / calloc / free emacstheviking
• Porting to the Raspberry Pi Pierre-François Bonnefoi
  • Re: Porting to the Raspberry Pi Daniel Diaz
  • Re: Porting to the Raspberry Pi vieuxnez
  • Re: Porting to the Raspberry Pi Daniel Diaz
• multilines strings "a la python" Algaba
  • Re: multilines strings "a la python" Jose F. Morales
  • Re: multilines strings "a la python" Ulrich Neumerkel
  • Re: multilines strings "a la python" Algaba
  • Re: multilines strings "a la python" Ulrich Neumerkel
  • Re: multilines strings "a la python" Jose F. Morales
  • Re: multilines strings "a la python" Ulrich Neumerkel
  • Re: multilines strings "a la python" Jose F. Morales
  • Re: multilines strings "a la python" Algaba
• Strange variables... Fred Bapst
  • Re: Strange variables... Salvador Pinto Abreu
  • Re: Strange variables... Daniel Diaz
• ANN: Logtalk 3.00.0 is now available Paulo Moura
• Some strange result Sylvain Julmy
  • Re: Some strange result Daniel Diaz
• GNU Prolog and Java Eyal Bril
  • Re: GNU Prolog and Java Michał Bieliński
• Bit flags... emacstheviking
  • Re: Bit flags... Michał Bieliński
  • Re: Bit flags... emacstheviking
  • Re: Bit flags... emacstheviking
• Re: Users-prolog Digest, Vol 134, Issue 1 Duncan Patton a Campbell
• Style guide / optimisation... emacstheviking
  • Re: Style guide / optimisation... Daniel Diaz
• ANN: Logtalk 3.00.0 Release Candidate 1 now available Paulo Moura
• Thread safety of stock predicates ? emacstheviking
• Displaying character code lists emacstheviking
• Possible to use format/2 to print a table with right-justified columns? Paulo Moura
  • Re: Possible to use format/2 to print a table with right-justified columns? emacstheviking
  • Re: Possible to use format/2 to print a table with right-justified columns? emacstheviking
  • Re: Possible to use format/2 to print a table with right-justified columns? emacstheviking
  • Re: Possible to use format/2 to print a table with right-justified columns? Paulo Moura
  • Re: Possible to use format/2 to print a table with right-justified columns? Paulo Moura
• Negative integer passing from C to GNU-Prolog Shuai Wang
• [no subject] Csányi Pál
  • Re: Sean Charles
• Is the Prolog runtime re-entrantable in Prolog --> C --> Prolog procedure? Shuai Wang
  • Re: Is the Prolog runtime re-entrantable in Prolog --> C --> Prolog procedure? Daniel Diaz
  • Re: Is the Prolog runtime re-entrantable in Prolog --> C --> Prolog procedure? Shuai Wang
• Why failed in process of Prolog call C call Prolog? Shuai Wang
  • Re: Why failed in process of Prolog call C call Prolog? Sean Charles
  • Re: Why failed in process of Prolog call C call Prolog? Shuai Wang
• GNU Prolog/CX - an extension of GNU Prolog for Contextual Logic Programming Nikolay Merinov
  • Re: GNU Prolog/CX - an extension of GNU Prolog for Contextual Logic Programming Daniel Diaz
• Gprolog and unicode support? Csányi Pál
  • Re: Gprolog and unicode support? me
  • Re: Gprolog and unicode support? Daniel Diaz
• uncaught exception Csányi Pál
  • Re: uncaught exception me
  • Re: uncaught exception Csányi Pál
• Prolog sockets J-O Janson (www.lightmotion.se)
• [IMBSA 2014] Extended Deadline - International Symposium on Model-Based Safety Assessment Lipaczewski, Michael
• Can GNU-Prolog handle big integer? Shuai Wang

• Earlier messages
• Later messages