Groups
Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Groups
SICStus Users
Conversations
About
SICStus Users
Contact owners and managers
1–30 of 102
Welcome to the SICStus Users Group!
Please focus on
questions specific to SICStus Prolog
. For general questions about Prolog, logic programming, or logic, more suitable forums exist.
Mark all as read
Report group
0 selected
FERNANDO SAENZ PEREZ
Jun 16
Ann: DES 6.8 Released
[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release
unread,
Ann: DES 6.8 Released
[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release
Jun 16
Paulo Moura
May 29
Logtalk 3.92.0 released
Hi, Logtalk 3.92.0 is now available for downloading at: https://logtalk.org/ This release fixes bugs
unread,
Logtalk 3.92.0 released
Hi, Logtalk 3.92.0 is now available for downloading at: https://logtalk.org/ This release fixes bugs
May 29
Manuel Alejandro Borroto Santana
Apr 29
[ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
[apologize for multiple postings] Call for Papers – Special Tracks 41st International Conference on
unread,
[ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
[apologize for multiple postings] Call for Papers – Special Tracks 41st International Conference on
Apr 29
Paulo Moura
Mar 28
Logtalk 3.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases
Hi, Logtalk 3.90.0 is now available for downloading at: https://logtalk.org/ This release provides
unread,
Logtalk 3.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases
Hi, Logtalk 3.90.0 is now available for downloading at: https://logtalk.org/ This release provides
Mar 28
Mats Carlsson
Mar 27
SICStus Prolog 4.10.0
Dear SICStus friends, the other day, we released SICStus Prolog 4.10.0 with new features, speedups,
unread,
SICStus Prolog 4.10.0
Dear SICStus friends, the other day, we released SICStus Prolog 4.10.0 with new features, speedups,
Mar 27
Manuel Alejandro Borroto Santana
Feb 26
[ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
[apologize for multiple postings] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2025 41st International
unread,
[ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
[apologize for multiple postings] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2025 41st International
Feb 26
Paulo Moura
Feb 14
Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases
Hi, Logtalk 3.89.0 is now available for downloading at: https://logtalk.org/ This release adds new
unread,
Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases
Hi, Logtalk 3.89.0 is now available for downloading at: https://logtalk.org/ This release adds new
Feb 14
Michael Hanus
2
Feb 9
Call for Papers: PPDP 2025
The 27th International Symposium on Principles and Practice of Declarative Programming September 10-
unread,
Call for Papers: PPDP 2025
The 27th International Symposium on Principles and Practice of Declarative Programming September 10-
Feb 9
Manuel Alejandro Borroto Santana
Feb 9
[Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025).
unread,
[Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025).
Feb 9
Paulo Moura
12/18/24
Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases
Hi, Logtalk 3.86.0 is now available for downloading at: https://logtalk.org/ This release adds an
unread,
Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases
Hi, Logtalk 3.86.0 is now available for downloading at: https://logtalk.org/ This release adds an
12/18/24
Paulo Moura
11/12/24
Logtalk 3.85.0 released
Hi, Logtalk 3.85.0 is now available for downloading at: https://logtalk.org/ This release adds a
unread,
Logtalk 3.85.0 released
Hi, Logtalk 3.85.0 is now available for downloading at: https://logtalk.org/ This release adds a
11/12/24
Paulo Moura
10/22/24
Logtalk 3.84.0 released
Hi, Logtalk 3.84.0 is now available for downloading at: https://logtalk.org/ This release improves
unread,
Logtalk 3.84.0 released
Hi, Logtalk 3.84.0 is now available for downloading at: https://logtalk.org/ This release improves
10/22/24
Paulo Moura
9/24/24
Logtalk 3.83.0 released [CORRECTED]
Hi, Logtalk 3.83.0 is now available for downloading at: https://logtalk.org/ This release adds a new
unread,
Logtalk 3.83.0 released [CORRECTED]
Hi, Logtalk 3.83.0 is now available for downloading at: https://logtalk.org/ This release adds a new
9/24/24
Paulo Moura
9/24/24
Logtalk 3.83.0 released
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds
unread,
Logtalk 3.83.0 released
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds
9/24/24
Joaquin Arias Herrero
9/5/24
Call for Paper: GDE 2024 - EXTENDED DEADLINE
CALL FOR PAPERS (EXTENDED DEADLINE) Workshop on Goal-directed Execution of Answer Set Programs https:
unread,
Call for Paper: GDE 2024 - EXTENDED DEADLINE
CALL FOR PAPERS (EXTENDED DEADLINE) Workshop on Goal-directed Execution of Answer Set Programs https:
9/5/24
Gupta, Gopal
8/29/24
40th International Conference on Logic Programming: Call for Participation
Call for Participation 40th International Conference on Logic Programming (ICLP'24) Dallas, Texas
unread,
40th International Conference on Logic Programming: Call for Participation
Call for Participation 40th International Conference on Logic Programming (ICLP'24) Dallas, Texas
8/29/24
giuseppe...@unical.it
8/28/24
[LPNMR 2024] CALL FOR PARTICIPATION
[Apologies in case of multiple posting] CALL FOR PARTICIPATION --------------------------------------
unread,
[LPNMR 2024] CALL FOR PARTICIPATION
[Apologies in case of multiple posting] CALL FOR PARTICIPATION --------------------------------------
8/28/24
Paulo Moura
8/20/24
Logtalk 3.82.0 released
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds
unread,
Logtalk 3.82.0 released
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds
8/20/24
Joaquin Arias Herrero
8/14/24
[GDE 2024] - CfP of ICLP-Workshop on Goal-directed Execution of Answer Set Programs
CALL FOR PAPERS!! CALL FOR PAPERS ICLP'24 Workshop on Goal-directed Execution of Answer Set
unread,
[GDE 2024] - CfP of ICLP-Workshop on Goal-directed Execution of Answer Set Programs
CALL FOR PAPERS!! CALL FOR PAPERS ICLP'24 Workshop on Goal-directed Execution of Answer Set
8/14/24
giuseppe...@unical.it
8/2/24
[Datalog 2.0 2024] DEADLINE EXTENSION
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --
unread,
[Datalog 2.0 2024] DEADLINE EXTENSION
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --
8/2/24
Gupta, Gopal
7/26/24
ICLP/LPNMR Doctoral Consortium Deadline Extended to August 2
(Apologies for cross-posting. Please distribute to interested parties.) Please encourage your PhD
unread,
ICLP/LPNMR Doctoral Consortium Deadline Extended to August 2
(Apologies for cross-posting. Please distribute to interested parties.) Please encourage your PhD
7/26/24
giuseppe...@unical.it
7/24/24
[ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
unread,
[ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
7/24/24
giuseppe...@unical.it
7/17/24
[ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE)
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
unread,
[ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE)
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
7/17/24
Paulo Moura
7/16/24
Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases
Hi, Logtalk 3.81.0 is now available for downloading at: https://logtalk.org/ This release updates the
unread,
Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases
Hi, Logtalk 3.81.0 is now available for downloading at: https://logtalk.org/ This release updates the
7/16/24
Gupta, Gopal
7/15/24
ICLP'24/LPNMR'24 Workshops and Doctoral Consortium: Call for Papers
ICLP 2024 will be held in Dallas, TX, USA, and will be co-located with LPNMR 2024. Together, the two
unread,
ICLP'24/LPNMR'24 Workshops and Doctoral Consortium: Call for Papers
ICLP 2024 will be held in Dallas, TX, USA, and will be co-located with LPNMR 2024. Together, the two
7/15/24
giuseppe...@unical.it
7/3/24
[LPNMR 2024] Deadline in Two Days (July, 4 AOE)
*** Please accept our apologies if you receive multiple copies of this CFP *** ======================
unread,
[LPNMR 2024] Deadline in Two Days (July, 4 AOE)
*** Please accept our apologies if you receive multiple copies of this CFP *** ======================
7/3/24
Gupta, Gopal
6/29/24
ICLP'24: Call for Short Papers, System Demos, Recently Published Results, and Birds of a Feather Sessions
40 th International Conference on Logic Programming Call for Short Papers, System Demos, Recently
unread,
ICLP'24: Call for Short Papers, System Demos, Recently Published Results, and Birds of a Feather Sessions
40 th International Conference on Logic Programming Call for Short Papers, System Demos, Recently
6/29/24
giuseppe...@unical.it
4
6/22/24
[Approaching Deadline - LPNMR 2024] Call For Papers
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
unread,
[Approaching Deadline - LPNMR 2024] Call For Papers
(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------
6/22/24
Joaquin Arias Herrero
6/18/24
[Workshop ICLP'24] Call for Workshop Proposals (submission deadline June 20)
*** Please accept our apologies if you receive multiple copies of this CFP *** CALL FOR WORKSHOP
unread,
[Workshop ICLP'24] Call for Workshop Proposals (submission deadline June 20)
*** Please accept our apologies if you receive multiple copies of this CFP *** CALL FOR WORKSHOP
6/18/24
Paulo Moura
6/7/24
Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released
Hi, Logtalk 3.80.0 is now available for downloading at: https://logtalk.org/ This release changes the
unread,
Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released
Hi, Logtalk 3.80.0 is now available for downloading at: https://logtalk.org/ This release changes the
6/7/24