SICStus Users

1–30 of 54

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

May 30

Logtalk 3.66.0 released

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

unread,

Logtalk 3.66.0 released

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

May 30

May 20

Call for Nominations: 2023 Alain Colmerauer Prize

*** Call for Nomination *** TL;DR: If you or your group have a recent practical accomplishment that

unread,

Call for Nominations: 2023 Alain Colmerauer Prize

*** Call for Nomination *** TL;DR: If you or your group have a recent practical accomplishment that

May 20

Apr 27

Logtalk 3.65.0 released

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

unread,

Logtalk 3.65.0 released

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

Apr 27

Apr 20

PPDP 2023 - Call for Papers

** Apologies for multiple postings ** ========================= PPDP 2023 Call for Papers ===========

unread,

PPDP 2023 - Call for Papers

** Apologies for multiple postings ** ========================= PPDP 2023 Call for Papers ===========

Apr 20

Apr 20

LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis

unread,

LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis

Apr 20

Apr 8

SICStus enviroment

I have a SICStus script A.pl. What I need is to print out the Current Working Directory (to be able

unread,

SICStus enviroment

I have a SICStus script A.pl. What I need is to print out the Current Working Directory (to be able

Apr 8

Mar 23

LOPSTR 2023 - Call for Papers

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis

unread,

LOPSTR 2023 - Call for Papers

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis

Mar 23

12/20/22

Logtalk 3.61.0 released

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

unread,

Logtalk 3.61.0 released

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

12/20/22

12/6/22

SICStus Prolog 4.8.0

Dear SICStus friends, today we released SICStus Prolog 4.8.0 with new features, speedups, bug fixes,

unread,

SICStus Prolog 4.8.0

Dear SICStus friends, today we released SICStus Prolog 4.8.0 with new features, speedups, bug fixes,

12/6/22

Guilherme Paulino-Passos

11/16/22

ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)

Please circulate within your networks. Apologies for multiple postings. =============================

unread,

ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)

Please circulate within your networks. Apologies for multiple postings. =============================

11/16/22

11/15/22

Logtalk 3.60.0 released

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

unread,

Logtalk 3.60.0 released

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

11/15/22

Fabio Fioravanti

11/9/22

PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses

We are looking for strong and motivated candidates for 11 PhD positions in the Italian National PhD

unread,

PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses

We are looking for strong and motivated candidates for 11 PhD positions in the Italian National PhD

11/9/22

10/18/22

Logtalk 3.59.0 released

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

unread,

Logtalk 3.59.0 released

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

10/18/22

10/5/22

PADL 2023: Final Call for Papers (with updated deadlines!)

============================================================================== Call for Papers 25th

unread,

PADL 2023: Final Call for Papers (with updated deadlines!)

============================================================================== Call for Papers 25th

10/5/22

9/17/22

2nd Call for Papers: PADL 2023

============================================================================== Call for Papers 25th

unread,

2nd Call for Papers: PADL 2023

============================================================================== Call for Papers 25th

9/17/22

8/10/22

2022 MiniZinc Challenge

Dear SICStus friends, SICStus won a Silver Medal in this year's challenge. SICStus has won one

unread,

2022 MiniZinc Challenge

Dear SICStus friends, SICStus won a Silver Medal in this year's challenge. SICStus has won one

8/10/22

8/9/22

1st Call for Papers: PADL 2023

============================================================================== Call for Papers 25th

unread,

1st Call for Papers: PADL 2023

============================================================================== Call for Papers 25th

8/9/22

Jessica Zangari

7/5/22

RCRA 2022 last call for paper (-5 days to deadline)

[APOLOGIES FOR MULTIPLE POSTINGS] *

unread,

RCRA 2022 last call for paper (-5 days to deadline)

[APOLOGIES FOR MULTIPLE POSTINGS] *

7/5/22

Jessica Zangari

6/28/22

LPNMR 2022: Call for participation (Early reg. By July 20th)

[Apologies in case of multiple posting] CALL FOR PARTICIPATION --------------------------------------

unread,

LPNMR 2022: Call for participation (Early reg. By July 20th)

[Apologies in case of multiple posting] CALL FOR PARTICIPATION --------------------------------------

6/28/22

Jessica Zangari

6/27/22

Datalog 2.0 2022 - Third Call for Papers

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

unread,

Datalog 2.0 2022 - Third Call for Papers

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

6/27/22

Jessica Zangari

6/20/22

LPNMR 2022: First call for Doctoral Consortium

Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites

unread,

LPNMR 2022: First call for Doctoral Consortium

Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites

6/20/22

6/15/22

The ALP Alain Colmerauer Prolog Heritage Prize

Organized by The Association for Logic Programming (ALP) and The Prolog Heritage Association In the

unread,

The ALP Alain Colmerauer Prolog Heritage Prize

Organized by The Association for Logic Programming (ALP) and The Prolog Heritage Association In the

6/15/22

Jessica Zangari

5/25/22

RCRA 2022 - 1st Call for Papers

[APOLOGIES FOR MULTIPLE POSTINGS] *

unread,

RCRA 2022 - 1st Call for Papers

[APOLOGIES FOR MULTIPLE POSTINGS] *

5/25/22

5/21/22

Dear SICStus Prolog friend, 2022 is the Year of Prolog. The Association for Logic Programming

unread,

Dear SICStus Prolog friend, 2022 is the Year of Prolog. The Association for Logic Programming

5/21/22

Manuel Hermenegildo

5/18/22

PPDP 2022 - 3rd Call for Papers - deadline extended

[ Apologies for multiple postings ] [ * * Deadline extended: 25.05 abstracts / 01.06 papers * * ] ===

unread,

PPDP 2022 - 3rd Call for Papers - deadline extended

[ Apologies for multiple postings ] [ * * Deadline extended: 25.05 abstracts / 01.06 papers * * ] ===

5/18/22

Manuel Hermenegildo

5/4/22

PPDP 2022 - 2nd Call for Papers

[ Apologies for multiple postings ] =============================== PPDP 2022 - 2nd Call for Papers =

unread,

PPDP 2022 - 2nd Call for Papers

[ Apologies for multiple postings ] =============================== PPDP 2022 - 2nd Call for Papers =

5/4/22

4/28/22

Logtalk 3.55.0 released

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

unread,

Logtalk 3.55.0 released

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

4/28/22

4/26/22

FLOPS 2022: Call For Participation & Workshop talk proposals

============================================================================ Call For Participation

unread,

FLOPS 2022: Call For Participation & Workshop talk proposals

============================================================================ Call For Participation

4/26/22

Jessica Zangari

4/20/22

Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

unread,

Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

4/20/22

Jessica Zangari

4/13/22

LPNMR 2022 - 3rd Call for Papers

[Apologies in case of multiple posting] 10 days to abstract submission! Call for Papers -------------

unread,

LPNMR 2022 - 3rd Call for Papers

[Apologies in case of multiple posting] 10 days to abstract submission! Call for Papers -------------

4/13/22

Search

Clear search

Close search

Google apps

Main menu