Groups

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.

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

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

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

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

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

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

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

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

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

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

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.it4

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

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

Search

Clear search

Close search

Google apps

Main menu