Groups

SICStus Users

Contact owners and managers

1–30 of 110

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.

0 selected

Emanuele De Angelis

Jan 13

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP'26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

unread,

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP'26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

Jan 13

12/22/25

Logtalk 3.97.0 and Logtalk for VSCode 0.80.0 released

Hi, Logtalk 3.97.0 is now available for downloading at: https://logtalk.org/ This release fixes

unread,

Logtalk 3.97.0 and Logtalk for VSCode 0.80.0 released

Hi, Logtalk 3.97.0 is now available for downloading at: https://logtalk.org/ This release fixes

12/22/25

Emanuele De Angelis

12/17/25

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP’26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

unread,

[ICLP 2026 - Call for Papers] 42nd International Conference on Logic Programming (ICLP’26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026

------------------------------- Call for Papers 42nd International Conference on Logic Programming (

12/17/25

11/25/25

DES 6.9 Released

[Apologies for multiple receptions] Hello, This is a mail just for informing that the new release

unread,

DES 6.9 Released

[Apologies for multiple receptions] Hello, This is a mail just for informing that the new release

11/25/25

11/18/25

Logtalk 3.96.0 and Logtalk for VSCode 0.75.0 released

Hi, Logtalk 3.96.0 is now available for downloading at: https://logtalk.org/ This release adds

unread,

Logtalk 3.96.0 and Logtalk for VSCode 0.75.0 released

Hi, Logtalk 3.96.0 is now available for downloading at: https://logtalk.org/ This release adds

11/18/25

10/30/25

Logtalk 3.95.0 and Logtalk for VSCode 0.64.0 released

Hi, Logtalk 3.95.0 is now available for downloading at: https://logtalk.org/ This release adds a

unread,

Logtalk 3.95.0 and Logtalk for VSCode 0.64.0 released

Hi, Logtalk 3.95.0 is now available for downloading at: https://logtalk.org/ This release adds a

10/30/25

9/30/25

Logtalk 3.94.0 and Logtalk for VSCode 0.53.0 released

Hi, Logtalk 3.94.0 is now available for downloading at: https://logtalk.org/ This release adds

unread,

Logtalk 3.94.0 and Logtalk for VSCode 0.53.0 released

Hi, Logtalk 3.94.0 is now available for downloading at: https://logtalk.org/ This release adds

9/30/25

8/28/25

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

Hi, Logtalk 3.93.0 is now available for downloading at: https://logtalk.org/ This release adds

unread,

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

Hi, Logtalk 3.93.0 is now available for downloading at: https://logtalk.org/ This release adds

8/28/25

FERNANDO SAENZ PEREZ

6/16/25

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

6/16/25

5/29/25

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

5/29/25

Manuel Alejandro Borroto Santana

4/29/25

[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

4/29/25

3/28/25

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

3/28/25

3/27/25

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,

3/27/25

Manuel Alejandro Borroto Santana

2/26/25

[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

2/26/25

2/14/25

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

2/14/25

2/9/25

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-

2/9/25

Manuel Alejandro Borroto Santana

2/9/25

[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).

2/9/25

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

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

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

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

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

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

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

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

Search

Clear search

Close search

Google apps

Main menu