users-prolog  

Messages by Thread

• Logtalk 3.83.0 released [CORRECTED] Paulo Moura
• Logtalk 3.83.0 released Paulo Moura
• [Vardi-list] ICLA 2025 Moshe Vardi
• Logtalk 3.82.0 released Paulo Moura
• ASPOCP 2024@ICLP- EXTENDED DEADLINE cfp
• Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases Paulo Moura
• [Vardi-list] OSSyM Workshop@CAV 2024 Moshe Vardi
• Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released Paulo Moura
• Logtalk 3.79.0 and Logtalk for VSCode 0.21.0 released Paulo Moura
• Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released Paulo Moura
  • Re: Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released Paulo Moura
• Logtalk 3.74.0 released Paulo Moura
• Logtalk 3.73.0 released Paulo Moura
• [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? Moshe Vardi
• Logtalk 3.66.0 released Paulo Moura
• CADE-29 CALL FOR PARTICIPATION geoff
• FroCoS 2023 deadline extension geoff
• ASPOCP 2023 @ ICLP- EXTENDED DEADLINE cfp
• 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023 geoff
• LPAR-24 (June 2023) - Call for Short Papers geoff
• 7th Vampire workshop - Call for Papers geoff
• Logtalk 3.65.0 released Paulo Moura
• ASPOCP 2023 @ ICLP- First Call for Paper Francesco Pacenza
• CFP: 14th International Workshop on the Implementation of Logics geoff
• LPAR 2023 Deadline extension geoff
• Re: logic/dynamic programming communities? Adena Shao
  • Re: logic/dynamic programming communities? Adam Russell
• LPAR 2023 Call for Workshops and Tutorials geoff
• Prolog: GNU: Command line compiling seems not possible out of the box knud van eeden
  • Re: Prolog: GNU: Command line compiling seems not possible out of the box Daniel Diaz
• CADE-29 second Call for Papers geoff
• FroCoS 2023 Call for Papers geoff
• LPAR-24, June 2023, Call for Papers geoff
• CADE-29 Call for Papers geoff
• Logtalk 3.61.0 released Paulo Moura
• Dov Gabbay Prize for Logic and Foundations geoff
• Proposals for Sites for IJCAR 2024 geoff
• Logtalk 3.60.0 released Paulo Moura
• [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society Moshe Y Vardi
• Logtalk 3.59.0 released Paulo Moura
• [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday Moshe Y Vardi
• Logtalk 3.58.0 released Paulo Moura
• can gprolog set a signal handler? ac.russell
  • Re: can gprolog set a signal handler? Daniel Diaz
• Call for Participation -- Mathematics of Program Construction 2022 Daggitt, Matthew
• Logtalk 3.57.0 released Paulo Moura
• [Vardi-list] How to be an ethical computer scientist Moshe Y Vardi
• [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien Moshe Y Vardi
• RCRA 2022 last call for paper (-5 days to deadline) cfp
• EuroProofNet WG2 kickoff meeting geoff
• LPNMR 2022: Call for participation (Early reg. By July 20th) cfp
• Datalog 2.0 2022 - Third Call for Papers cfp
• LPNMR 2022: First call for Doctoral Consortium cfp
• 14th International Summer School on Verification Technology, Systems & Applications geoff
• [Vardi-list] FW: FLOC 2022 -- Call For Participation Moshe Y Vardi
• Logtalk 3.56.0 released Paulo Moura
• --consult-file options are handled before --consult-file options. Daniel Ajoy
• implementation of if_/3 Daniel Ajoy
• IJCAR-11 - Call for participation geoff
• negative values of Finite Domain Variables Daniel Ajoy
  • Re: negative values of Finite Domain Variables Salvador Abreu
• RCRA 2022 - 1st call for papers cfp
• [Vardi-list] FLoC 2022 Call for Student Volunteers Moshe Y Vardi
• The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations geoff
• Logtalk 3.55.0 released Paulo Moura
• Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication) cfp
• console version of gnu prolog for cygwin? Daniel Ajoy
  • Re: console version of gnu prolog for cygwin? Daniel Diaz
• LPNMR 2022 - Last Call for Papers cfp
• MPC 2022 - Deadline extension Daggitt, Matthew
• Automated Reasoning in Quantified Non-Classical Logics - Call for Papers geoff
• Datalog 2.0 - 1st Call for Papers cfp
• Final Call for Papers -- Mathematics of Program Construction 2022 Daggitt, Matthew
• Logtalk 3.54.0 released Paulo Moura
• Bill McCune PhD Award 2021 - Call for Nominations geoff
• TAP22: Tests and Proofs 2022 - Call for Papers geoff
• 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers geoff
• iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications geoff
• 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers geoff
• IJCAR 2022 - Extended Deadline geoff
• 2nd Call for papers -- Mathematics of Program Construction 2022 Daggitt, Matthew
• LPNMR 2022 - Call for Workshops cfp
  • LPNMR 2022 - second call for workshops cfp
• Logtalk 3.53.0 released Paulo Moura
• FLAIRS conference (on the beach, in the sunshine) extended deadline geoff
• 2022 Alonzo Church Award: Call for Nominations geoff
• LPNMR 2022 - Call for Papers cfp
• question on fd_minimize and if fd var bindings are created on disjunctions Adam Russell
• PADL 2022 - Call For Participation cfp
  • PADL 2022 - Call For Participation cfp
  • PADL 2022 - Call For Participation cfp
  • PADL 2022 - Call For Participation cfp
• Logtalk 3.52.0 released Paulo Moura
• IJCAR 2022 - Call for Papers geoff
  • IJCAR 2022 - Call for Papers geoff
• FoIKS 2022 second call for papers Ivan José Varzinczak
  • FoIKS 2022 third call for papers Ivan José Varzinczak
• A portable and decentralized package manager for sharing Logtalk and Prolog resources Paulo Moura
• PADL 2022 - Second Call For Papers - Abstract Registration Deadline October 1 cfp
• Logtalk 3.50.0 released Paulo Moura
  • Logtalk 3.50.0 released Paulo Moura
• PADL 2022 - First Call for Papers cfp
• IJCAR 2022 - Call for Workshops geoff
• consult/1 at the top of a file Adam Russell
  • Re: consult/1 at the top of a file Paulo Moura
  • Re: consult/1 at the top of a file Paulo Moura
• GNU Prolog 1.5.0 is released Daniel Diaz
• Logtalk 3.48.0 released Paulo Moura
• CLAR 2021 - Deadline Extension geoff
• ILP with Gnu Prolog Adam Russell
  • Re: ILP with Gnu Prolog Paulo Moura
  • Re: ILP with Gnu Prolog Adam Russell
• Code not working Hrithik Singh
  • Re: Code not working Adam Russell
  • gplc libraries not found Louis LSJ Krüger
  • Re: gplc libraries not found Sean Charles (emacstheviking)
  • Re: gplc libraries not found Louis LSJ Krüger
  • Re: gplc libraries not found Sean Charles (emacstheviking)
  • Re: gplc libraries not found Louis LSJ Krüger
  • Re: gplc libraries not found Louis LSJ Krüger
  • Re: gplc libraries not found Sean Charles (emacstheviking)
  • Re: gplc libraries not found Daniel Diaz
  • gplc libraries not found Dr LLSJ Krüger PrEng
• debugging Nandda Bunda-Dias
  • Re: debugging Adam Russell
• uncaught exception: error(existence_error(procedure, p/1), top_level/0) William Clodius via Users list for the GNU implementation of Prolog
  • Re: uncaught exception: error(existence_error(procedure, p/1), top_level/0) Adam Russell
• FroCoS 2021 - Final Call for Papers geoff
• AITP 2021 - Call for Contributions geoff
• ARCADE 2021 - Call for Papers geoff
• 2021 Alonzo Church Award - Call for Nominations Extended geoff
• CfP: HEDA'201 - The International Health Data Workshop Martin Leucker
• interfacing Java and Gnu Prolog Adam Russell
  • RE: interfacing Java and Gnu Prolog Adam Russell
• Bill McCune PhD Award in Automated Reasoning geoff
• Logtalk 3.44.0 released Paulo Moura
• Conference on Logic and Argumentation - Call for Papers geoff
• 2021 Alonzo Church Award - Call for Nominations geoff
• Logtalk 3.43.0 released Paulo Moura
• CADE-28: Call for Tutorials geoff
• Is GNU Prolog still maintained? Damiano Azzolini
  • Re: Is GNU Prolog still maintained? emacstheviking
  • Re: Is GNU Prolog still maintained? Daniel Diaz
  • Re: Is GNU Prolog still maintained? Paulo Moura
  • Re: Is GNU Prolog still maintained? Daniel Diaz
• CADE-28 Call for Papers, Workshops, Tutorials, Competitions geoff
• CILC 2020 - Participation is FREE - Call For Participation cfp
• CADE-28 Call for Papers, Workshops, Tutorials, and Competitions geoff
• CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended cfp
• CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING cfp
• CICM 2020 - Call for (free) Participation geoff
• CILC 2020 - Second Call For Papers cfp
• Porting to arm/aarch64 Jasper Taylor
  • Re: Porting to arm/aarch64 Daniel Diaz
  • Re: Porting to arm/aarch64 Jasper Taylor
  • Re: Porting to arm/aarch64 Daniel Diaz
  • Re: Porting to arm/aarch64 Jasper Taylor
  • Re: Porting to arm/aarch64 jasper
• Logtalk 3.38.0 released Paulo Moura
• CASC-J10 - The CADE ATP System Competition geoff
• Property-based testing Paulo Moura
• Logtalk 3.37.0 released Paulo Moura
• PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning geoff
• Satisfiability Checking and Symbolic Computation - Call for Papers geoff
• IWIL-14 at LPAR-23 - Call for Papers geoff
• UNIF 2020 - Call for Papers geoff
• LPAR-23 - Call for Workshops and Tutorials geoff
• CICM 2020 - Call for Papers geoff
• LPAR-23 - Extended deadlines geoff
• is there a Raspberry PI port paul
  • Re: is there a Raspberry PI port emacstheviking
• 2020 Alonzo Church Award - Call for Nominations geoff
• Logtalk 3.34.0 released Paulo Moura
• LPAR-23 Call for Papers geoff
• Logtalk 3.33.0 released Paulo Moura
• Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers geoff
• International Symposium on Artificial Intelligence and Mathematics 2020 geoff
• GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation geoff
• Logtalk 3.32.0 released Paulo Moura
• GitHub Actions and Workflows for Logtalk and Prolog repos Paulo Moura
• Fyi: this list, users-prolog, just had it's subject [tag] and footer removed sysadmin
• Artificial Intelligence and Theorem Proving 2020 - Call for Papers geoff
• Logtalk 3.31.0 released Paulo Moura
• IJCAR 2020 - Call for Papers geoff
  • IJCAR 2020 - Call for Papers geoff
• TPTP v7.3.0 released geoff
• GCAI 2020, Hangzhou, China - Call for Papers geoff
• 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

• Earlier messages