users-prolog

Messages by Date

2026/04/16 KR and FLoC Early Registration open until May 15 Nico Potyka
2026/04/09 Logtalk 3.99.0 released Paulo Moura
2026/03/25 [CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026) Nico Potyka
2026/03/10 Final Call for Hosting KR 2027 or KR 2028 (Deadline March 15) Nico Potyka
2026/02/24 CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS) Nico Potyka
2026/02/23 Second Call for Nominations for KR 2026 Awards (Deadline February 28 AoE) Nico Potyka
2026/02/23 Second Call for Hosting KR 2027 or KR 2028 Nico Potyka
2026/01/27 Call for Hosting KR 2027 or KR 2028 Nico Potyka
2026/01/13 KR 2026: Call for Nominations Nico Potyka
2026/01/05 [CfP] FLoC 2026 Nico Potyka
2025/12/19 [CfP] KR 2026 Doctoral Consortium Nico Potyka
2025/12/19 [CfP] KR 2026 Recently Published Research Track Nico Potyka
2025/12/19 [CfP] KR 2026 Video Track Nico Potyka
2025/12/17 [CfP] KR 2026 Special track: KR in the wild Nico Potyka
2025/12/16 [CfP] KR 2026 Special track: KR meets Machine Learning and Explanation Nico Potyka
2025/10/20 [CfP]: KR 2026 Second Call for Papers Nico Potyka
2025/09/30 Logtalk 3.94.0 and Logtalk for VSCode 0.53.0 released Paulo Moura
2025/08/30 Logtalk 3.93.0, Logtalk for VSCode 0.52.0, Jupyter Kernel for Logtalk 0.46.0, JupyterLab extension 1.3.0, and portable Docker image releases Paulo Moura
2025/08/07 how to create a new directive Adam Russell
2025/08/07 Re: attributed variables in GNU Prolog Adam Russell
2025/05/27 Counting backtracks with several calls to fd_labeling Nicolas Barnier
2025/05/14 Re: attributed variables in GNU Prolog François Fages
2025/05/14 attributed variables in GNU Prolog Adam Russell
2025/03/28 Logtalk 3.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases Paulo Moura
2025/02/14 Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases Paulo Moura
2025/01/08 Logtalk 3.87.0 and Logtalk for VSCode 0.32.0 released Paulo Moura
2025/01/07 [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25 Moshe Vardi
2024/12/18 Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases Paulo Moura
2024/11/17 [Vardi-list] Appeal to support SIGLOG, the LICS sponsor Moshe Vardi
2024/11/12 Logtalk 3.85.0 released Paulo Moura
2024/10/22 Logtalk 3.84.0 released Paulo Moura
2024/09/24 Logtalk 3.83.0 released [CORRECTED] Paulo Moura
2024/09/24 Logtalk 3.83.0 released Paulo Moura
2024/08/23 [Vardi-list] ICLA 2025 Moshe Vardi
2024/08/20 Logtalk 3.82.0 released Paulo Moura
2024/07/31 ASPOCP 2024@ICLP- EXTENDED DEADLINE cfp
2024/07/16 Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases Paulo Moura
2024/06/11 [Vardi-list] OSSyM Workshop@CAV 2024 Moshe Vardi
2024/06/04 Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released Paulo Moura
2024/05/15 Logtalk 3.79.0 and Logtalk for VSCode 0.21.0 released Paulo Moura
2024/05/07 Re: Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released Paulo Moura
2024/05/06 Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released Paulo Moura
2024/01/31 Logtalk 3.74.0 released Paulo Moura
2023/12/12 Logtalk 3.73.0 released Paulo Moura
2023/12/02 [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? Moshe Vardi
2023/05/30 Logtalk 3.66.0 released Paulo Moura
2023/05/13 CADE-29 CALL FOR PARTICIPATION geoff
2023/05/12 FroCoS 2023 deadline extension geoff
2023/05/12 ASPOCP 2023 @ ICLP- EXTENDED DEADLINE cfp
2023/05/11 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023 geoff
2023/05/10 LPAR-24 (June 2023) - Call for Short Papers geoff
2023/05/09 7th Vampire workshop - Call for Papers geoff
2023/04/27 Logtalk 3.65.0 released Paulo Moura
2023/04/26 ASPOCP 2023 @ ICLP- First Call for Paper Francesco Pacenza
2023/03/27 Re: Prolog: GNU: Command line compiling seems not possible out of the box Daniel Diaz
2023/03/27 CFP: 14th International Workshop on the Implementation of Logics geoff
2023/03/14 LPAR 2023 Deadline extension geoff
2023/03/13 Re: logic/dynamic programming communities? Adam Russell
2023/03/13 Re: logic/dynamic programming communities? Adena Shao
2023/03/07 LPAR 2023 Call for Workshops and Tutorials geoff
2023/03/06 Prolog: GNU: Command line compiling seems not possible out of the box knud van eeden
2023/02/22 CADE-29 second Call for Papers geoff
2023/02/06 FroCoS 2023 Call for Papers geoff
2023/01/23 LPAR-24, June 2023, Call for Papers geoff
2023/01/12 CADE-29 Call for Papers geoff
2022/12/20 Logtalk 3.61.0 released Paulo Moura
2022/11/30 Dov Gabbay Prize for Logic and Foundations geoff
2022/11/21 Proposals for Sites for IJCAR 2024 geoff
2022/11/15 Logtalk 3.60.0 released Paulo Moura
2022/11/01 [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society Moshe Y Vardi
2022/10/18 Logtalk 3.59.0 released Paulo Moura
2022/10/06 [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday Moshe Y Vardi
2022/09/27 Logtalk 3.58.0 released Paulo Moura
2022/09/19 Re: can gprolog set a signal handler? Daniel Diaz
2022/09/16 can gprolog set a signal handler? ac.russell
2022/07/26 Call for Participation -- Mathematics of Program Construction 2022 Daggitt, Matthew
2022/07/26 Logtalk 3.57.0 released Paulo Moura
2022/07/18 [Vardi-list] How to be an ethical computer scientist Moshe Y Vardi
2022/07/05 [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien Moshe Y Vardi
2022/07/05 RCRA 2022 last call for paper (-5 days to deadline) cfp
2022/07/03 EuroProofNet WG2 kickoff meeting geoff
2022/06/28 LPNMR 2022: Call for participation (Early reg. By July 20th) cfp
2022/06/27 Datalog 2.0 2022 - Third Call for Papers cfp
2022/06/20 LPNMR 2022: First call for Doctoral Consortium cfp
2022/06/17 14th International Summer School on Verification Technology, Systems & Applications geoff
2022/06/13 [Vardi-list] FW: FLOC 2022 -- Call For Participation Moshe Y Vardi
2022/06/09 Logtalk 3.56.0 released Paulo Moura
2022/06/02 --consult-file options are handled before --consult-file options. Daniel Ajoy
2022/06/02 implementation of if_/3 Daniel Ajoy
2022/06/01 IJCAR-11 - Call for participation geoff
2022/05/27 Re: negative values of Finite Domain Variables Salvador Abreu
2022/05/27 negative values of Finite Domain Variables Daniel Ajoy
2022/05/25 RCRA 2022 - 1st call for papers cfp
2022/05/16 [Vardi-list] FLoC 2022 Call for Student Volunteers Moshe Y Vardi
2022/05/16 The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations geoff
2022/05/09 Re: gplc libraries not found Daniel Diaz
2022/04/28 Re: gplc libraries not found Sean Charles (emacstheviking)
2022/04/28 Re: gplc libraries not found Louis LSJ Krüger
2022/04/28 Re: gplc libraries not found Louis LSJ Krüger
2022/04/28 Re: gplc libraries not found Sean Charles (emacstheviking)
2022/04/28 Re: gplc libraries not found Louis LSJ Krüger
2022/04/28 gplc libraries not found Dr LLSJ Krüger PrEng
2022/04/28 Re: gplc libraries not found Sean Charles (emacstheviking)
2022/04/28 gplc libraries not found Louis LSJ Krüger
2022/04/28 Logtalk 3.55.0 released Paulo Moura
2022/04/20 Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication) cfp
2022/04/19 Re: console version of gnu prolog for cygwin? Daniel Diaz
2022/04/17 console version of gnu prolog for cygwin? Daniel Ajoy
2022/04/13 LPNMR 2022 - Last Call for Papers cfp
2022/04/11 MPC 2022 - Deadline extension Daggitt, Matthew
2022/04/04 Automated Reasoning in Quantified Non-Classical Logics - Call for Papers geoff
2022/03/30 Datalog 2.0 - 1st Call for Papers cfp
2022/03/29 Final Call for Papers -- Mathematics of Program Construction 2022 Daggitt, Matthew
2022/03/23 Logtalk 3.54.0 released Paulo Moura
2022/03/15 Bill McCune PhD Award 2021 - Call for Nominations geoff
2022/03/07 TAP22: Tests and Proofs 2022 - Call for Papers geoff
2022/03/04 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers geoff
2022/03/03 iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications geoff
2022/02/11 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers geoff
2022/02/11 LPNMR 2022 - second call for workshops cfp
2022/02/10 IJCAR 2022 - Extended Deadline geoff
2022/02/02 2nd Call for papers -- Mathematics of Program Construction 2022 Daggitt, Matthew
2022/01/31 IJCAR 2022 - Call for Papers geoff
2022/01/27 LPNMR 2022 - Call for Workshops cfp
2022/01/20 Logtalk 3.53.0 released Paulo Moura
2022/01/20 FLAIRS conference (on the beach, in the sunshine) extended deadline geoff
2022/01/18 2022 Alonzo Church Award: Call for Nominations geoff
2022/01/13 LPNMR 2022 - Call for Papers cfp
2022/01/04 FoIKS 2022 third call for papers Ivan José Varzinczak
2021/12/17 question on fd_minimize and if fd var bindings are created on disjunctions Adam Russell
2021/12/13 PADL 2022 - Call For Participation cfp
2021/12/13 PADL 2022 - Call For Participation cfp
2021/12/13 PADL 2022 - Call For Participation cfp
2021/12/13 PADL 2022 - Call For Participation cfp
2021/12/07 Logtalk 3.52.0 released Paulo Moura
2021/12/06 IJCAR 2022 - Call for Papers geoff
2021/12/02 FoIKS 2022 second call for papers Ivan José Varzinczak
2021/10/28 A portable and decentralized package manager for sharing Logtalk and Prolog resources Paulo Moura
2021/10/26 Logtalk 3.50.0 released Paulo Moura
2021/09/22 PADL 2022 - Second Call For Papers - Abstract Registration Deadline October 1 cfp
2021/09/03 Logtalk 3.50.0 released Paulo Moura
2021/08/04 PADL 2022 - First Call for Papers cfp
2021/07/30 IJCAR 2022 - Call for Workshops geoff
2021/07/22 Re: consult/1 at the top of a file Paulo Moura
2021/07/22 Re: consult/1 at the top of a file Paulo Moura
2021/07/22 consult/1 at the top of a file Adam Russell
2021/07/08 GNU Prolog 1.5.0 is released Daniel Diaz
2021/07/06 Logtalk 3.48.0 released Paulo Moura
2021/06/24 CLAR 2021 - Deadline Extension geoff
2021/05/18 Re: ILP with Gnu Prolog Adam Russell
2021/05/17 Re: ILP with Gnu Prolog Paulo Moura
2021/05/17 Re: Code not working Adam Russell
2021/05/17 ILP with Gnu Prolog Adam Russell
2021/05/10 Code not working Hrithik Singh
2021/05/06 Re: debugging Adam Russell
2021/05/05 debugging Nandda Bunda-Dias
2021/05/04 Re: uncaught exception: error(existence_error(procedure, p/1), top_level/0) Adam Russell
2021/05/03 uncaught exception: error(existence_error(procedure, p/1), top_level/0) William Clodius via Users list for the GNU implementation of Prolog
2021/04/20 FroCoS 2021 - Final Call for Papers geoff
2021/03/17 AITP 2021 - Call for Contributions geoff
2021/03/14 ARCADE 2021 - Call for Papers geoff
2021/03/04 2021 Alonzo Church Award - Call for Nominations Extended geoff
2021/03/02 CfP: HEDA'201 - The International Health Data Workshop Martin Leucker
2021/02/26 RE: interfacing Java and Gnu Prolog Adam Russell
2021/02/26 interfacing Java and Gnu Prolog Adam Russell
2021/02/24 Bill McCune PhD Award in Automated Reasoning geoff
2021/02/03 Logtalk 3.44.0 released Paulo Moura
2021/01/28 Conference on Logic and Argumentation - Call for Papers geoff
2021/01/09 2021 Alonzo Church Award - Call for Nominations geoff
2020/12/22 Logtalk 3.43.0 released Paulo Moura
2020/11/23 CADE-28: Call for Tutorials geoff
2020/11/12 Re: Is GNU Prolog still maintained? Daniel Diaz
2020/11/12 Re: Is GNU Prolog still maintained? Paulo Moura
2020/11/12 Re: Is GNU Prolog still maintained? Daniel Diaz
2020/10/28 Re: Is GNU Prolog still maintained? emacstheviking
2020/10/28 Is GNU Prolog still maintained? Damiano Azzolini
2020/10/20 CADE-28 Call for Papers, Workshops, Tutorials, Competitions geoff
2020/10/08 CILC 2020 - Participation is FREE - Call For Participation cfp
2020/08/13 CADE-28 Call for Papers, Workshops, Tutorials, and Competitions geoff
2020/08/04 Re: Porting to arm/aarch64 jasper
2020/08/01 CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended cfp
2020/07/27 CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING cfp
2020/07/09 CICM 2020 - Call for (free) Participation geoff
2020/06/29 Re: Porting to arm/aarch64 Jasper Taylor
2020/06/27 Re: Porting to arm/aarch64 Daniel Diaz
2020/06/16 CILC 2020 - Second Call For Papers cfp
2020/06/15 Re: Porting to arm/aarch64 Jasper Taylor
2020/06/12 Re: Porting to arm/aarch64 Daniel Diaz
2020/05/30 Porting to arm/aarch64 Jasper Taylor
2020/04/28 Logtalk 3.38.0 released Paulo Moura
2020/04/27 CASC-J10 - The CADE ATP System Competition geoff
2020/04/24 Property-based testing Paulo Moura
2020/04/02 Logtalk 3.37.0 released Paulo Moura
2020/03/16 Alonzo Church Award - Call for Nominations geoff
2020/03/06 PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning geoff
2020/03/03 Satisfiability Checking and Symbolic Computation - Call for Papers geoff
2020/02/25 IWIL-14 at LPAR-23 - Call for Papers geoff
2020/02/21 UNIF 2020 - Call for Papers geoff
2020/02/18 LPAR-23 - Call for Workshops and Tutorials geoff
2020/02/13 CICM 2020 - Call for Papers geoff

Earlier messages