gmane.comp.gnu.prolog.general archive
922 archived articles, newest first (page 2 of 10). Latest articles →
[Vardi-list] How to be an ethical computer scientist
Mon, 18 Jul 2022 12:53:48 -0500 (CDT)[Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
Tue, 5 Jul 2022 10:23:44 -0500 (CDT)RCRA 2022 last call for paper (-5 days to deadline)
Tue, 5 Jul 2022 10:43:40 +0200EuroProofNet WG2 kickoff meeting
Sun, 3 Jul 2022 04:54:39 -0400 (EDT)LPNMR 2022: Call for participation (Early reg. By July 20th)
Tue, 28 Jun 2022 09:59:47 +0200Datalog 2.0 2022 - Third Call for Papers
Mon, 27 Jun 2022 10:37:35 +0200LPNMR 2022: First call for Doctoral Consortium
Mon, 20 Jun 2022 14:47:55 +020014th International Summer School on Verification Technology, Systems & Applications
Fri, 17 Jun 2022 08:43:42 -0400 (EDT)[Vardi-list] FW: FLOC 2022 -- Call For Participation
Mon, 13 Jun 2022 10:59:29 -0500 (CDT)Logtalk 3.56.0 released
Thu, 9 Jun 2022 08:20:30 +0100--consult-file options are handled before --consult-file options.
Fri, 3 Jun 2022 01:08:32 -0500implementation of if_/3
Fri, 3 Jun 2022 00:15:17 -0500IJCAR-11 - Call for participation
Wed, 1 Jun 2022 18:46:01 -0400 (EDT)Re: negative values of Finite Domain Variables
Fri, 27 May 2022 15:27:27 -0700negative values of Finite Domain Variables
Fri, 27 May 2022 14:28:57 -0500RCRA 2022 - 1st call for papers
Wed, 25 May 2022 17:58:03 +0200[Vardi-list] FLoC 2022 Call for Student Volunteers
Mon, 16 May 2022 08:37:31 -0500 (CDT)The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
Mon, 16 May 2022 09:22:57 -0400 (EDT)Re: gplc libraries not found
Mon, 9 May 2022 12:45:23 +0200Re: gplc libraries not found
Thu, 28 Apr 2022 22:47:02 +0100Re: gplc libraries not found
Thu, 28 Apr 2022 23:43:44 +0200Re: gplc libraries not found
Thu, 28 Apr 2022 23:40:01 +0200Re: gplc libraries not found
Thu, 28 Apr 2022 22:20:54 +0100Re: gplc libraries not found
Thu, 28 Apr 2022 23:17:46 +0200gplc libraries not found
Thu, 28 Apr 2022 16:16:44 +0000 (UTC)Re: gplc libraries not found
Thu, 28 Apr 2022 18:16:55 +0100gplc libraries not found
Thu, 28 Apr 2022 19:10:33 +0200Logtalk 3.55.0 released
Thu, 28 Apr 2022 14:34:35 +0100Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
Wed, 20 Apr 2022 13:36:40 +0200Re: console version of gnu prolog for cygwin?
Tue, 19 Apr 2022 15:51:55 +0200console version of gnu prolog for cygwin?
Sun, 17 Apr 2022 17:27:25 -0500LPNMR 2022 - Last Call for Papers
Wed, 13 Apr 2022 16:10:05 +0200MPC 2022 - Deadline extension
Mon, 11 Apr 2022 10:34:52 +0000Automated Reasoning in Quantified Non-Classical Logics - Call for Papers
Mon, 4 Apr 2022 08:40:14 -0400 (EDT)Datalog 2.0 - 1st Call for Papers
Wed, 30 Mar 2022 09:49:49 +0200Final Call for Papers -- Mathematics of Program Construction 2022
Tue, 29 Mar 2022 08:30:51 +0000Logtalk 3.54.0 released
Wed, 23 Mar 2022 12:38:47 +0000Bill McCune PhD Award 2021 - Call for Nominations
Tue, 15 Mar 2022 07:43:09 -0400 (EDT)TAP22: Tests and Proofs 2022 - Call for Papers
Mon, 7 Mar 2022 08:56:40 -0500 (EST)8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers
Fri, 4 Mar 2022 09:48:37 -0500 (EST)iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications
Thu, 3 Mar 2022 15:20:25 -0500 (EST)DaLí 2022 - Call for Papers
Mon, 21 Feb 2022 19:46:12 -030017th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers
Fri, 11 Feb 2022 11:06:54 -0500 (EST)LPNMR 2022 - second call for workshops
Fri, 11 Feb 2022 09:44:46 +0100IJCAR 2022 - Extended Deadline
Thu, 10 Feb 2022 08:49:25 -0500 (EST)2nd Call for papers -- Mathematics of Program Construction 2022
Wed, 2 Feb 2022 10:09:31 +0000IJCAR 2022 - Call for Papers
Mon, 31 Jan 2022 10:03:34 -0500 (EST)LPNMR 2022 - Call for Workshops
Thu, 27 Jan 2022 12:23:38 +0100[leucker-list] Call for Organisers: ICTAC 2023
Sun, 23 Jan 2022 13:29:07 +0100[leucker-list] CFP: ICTAC'22 - Tbilisi, Georgia
Sun, 23 Jan 2022 12:21:27 +0100Logtalk 3.53.0 released
Thu, 20 Jan 2022 22:10:42 +0000FLAIRS conference (on the beach, in the sunshine) extended deadline
Thu, 20 Jan 2022 11:39:47 -0500 (EST)2022 Alonzo Church Award: Call for Nominations
Tue, 18 Jan 2022 11:47:24 -0500 (EST)LPNMR 2022 - Call for Papers
Thu, 13 Jan 2022 18:20:59 +0100FoIKS 2022 third call for papers
Tue, 4 Jan 2022 15:45:13 +0100question on fd_minimize and if fd var bindings are created on disjunctions
Fri, 17 Dec 2021 19:22:57 -0500PADL 2022 - Call For Participation
Mon, 13 Dec 2021 21:29:42 +0100PADL 2022 - Call For Participation
Mon, 13 Dec 2021 21:29:30 +0100PADL 2022 - Call For Participation
Mon, 13 Dec 2021 21:29:23 +0100PADL 2022 - Call For Participation
Mon, 13 Dec 2021 21:28:53 +0100Logtalk 3.52.0 released
Tue, 7 Dec 2021 15:16:51 +0000IJCAR 2022 - Call for Papers
Mon, 6 Dec 2021 09:36:40 -0500 (EST)FoIKS 2022 second call for papers
Thu, 2 Dec 2021 16:11:05 +0200A portable and decentralized package manager for sharing Logtalk and Prolog resources
Thu, 28 Oct 2021 10:35:29 +0100Logtalk 3.50.0 released
Tue, 26 Oct 2021 22:41:08 +0100PADL 2022 - Second Call For Papers - Abstract Registration Deadline October 1
Wed, 22 Sep 2021 15:19:44 +0200Logtalk 3.50.0 released
Fri, 3 Sep 2021 10:02:54 +0100PADL 2022 - First Call for Papers
Wed, 4 Aug 2021 11:51:49 +0200IJCAR 2022 - Call for Workshops
Fri, 30 Jul 2021 08:58:48 -0400 (EDT)[leucker-ist] ICTAC 2022: Call for Organizers
Thu, 29 Jul 2021 11:53:52 +0200Re: consult/1 at the top of a file
Thu, 22 Jul 2021 23:17:37 +0100Re: consult/1 at the top of a file
Thu, 22 Jul 2021 23:17:00 +0100consult/1 at the top of a file
Thu, 22 Jul 2021 17:51:39 -0400GNU Prolog 1.5.0 is released
Thu, 8 Jul 2021 15:41:50 +0200Logtalk 3.48.0 released
Tue, 6 Jul 2021 11:11:04 +0100CLAR 2021 - Deadline Extension
Thu, 24 Jun 2021 16:32:44 -0400 (EDT)Re: ILP with Gnu Prolog
Tue, 18 May 2021 12:39:08 -0400Re: ILP with Gnu Prolog
Mon, 17 May 2021 21:58:54 +0100Re: Code not working
Mon, 17 May 2021 13:02:33 -0400ILP with Gnu Prolog
Mon, 17 May 2021 12:58:45 -0400Code not working
Mon, 10 May 2021 18:10:39 +0530Re: debugging
Fri, 7 May 2021 02:12:48 +0000debugging
Wed, 5 May 2021 02:14:44 +0000 (UTC)Re: uncaught exception: error(existence_error(procedure, p/1), top_level/0)
Tue, 4 May 2021 13:08:38 +0000uncaught exception: error(existence_error(procedure, p/1), top_level/0)
Mon, 3 May 2021 16:58:35 -0600FroCoS 2021 - Final Call for Papers
Tue, 20 Apr 2021 10:15:43 -0400 (EDT)AITP 2021 - Call for Contributions
Wed, 17 Mar 2021 11:43:37 -0400 (EDT)ARCADE 2021 - Call for Papers
Sun, 14 Mar 2021 10:59:55 -0400 (EDT)2021 Alonzo Church Award - Call for Nominations Extended
Thu, 4 Mar 2021 10:57:45 -0500 (EST)CfP: HEDA'201 - The International Health Data Workshop
Tue, 2 Mar 2021 15:06:25 +0100RE: interfacing Java and Gnu Prolog
Fri, 26 Feb 2021 22:28:43 +0000interfacing Java and Gnu Prolog
Fri, 26 Feb 2021 18:33:53 +0000Bill McCune PhD Award in Automated Reasoning
Wed, 24 Feb 2021 08:08:58 -0500 (EST)Logtalk 3.44.0 released
Wed, 3 Feb 2021 15:58:27 +0000Conference on Logic and Argumentation - Call for Papers
Thu, 28 Jan 2021 18:02:13 -0500 (EST)2021 Alonzo Church Award - Call for Nominations
Sat, 9 Jan 2021 11:36:54 -0500 (EST)Logtalk 3.43.0 released
Tue, 22 Dec 2020 11:13:48 +0000CADE-28: Call for Tutorials
Mon, 23 Nov 2020 09:17:03 -0500 (EST)Re: Is GNU Prolog still maintained?
Thu, 12 Nov 2020 16:28:39 +0100Re: Is GNU Prolog still maintained?
Thu, 12 Nov 2020 12:36:12 +0000
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.