users-prolog

Messages by Date

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