SICStus Users

1–30 of 47

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

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

Jessica Zangari

3/28/22

Datalog 2.0 - 1st Call for Papers

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

unread,

Datalog 2.0 - 1st Call for Papers

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

3/28/22

Paulo Moura, Per Mildner3

3/25/22

Consistency error: source and object are inconsistent when loading *.po files

Hi Per, Thanks for the quick reply and great support. Indeed using [File] works fine. Good to know

unread,

Consistency error: source and object are inconsistent when loading *.po files

Hi Per, Thanks for the quick reply and great support. Indeed using [File] works fine. Good to know

3/25/22

Jessica Zangari

3/23/22

LPNMR 2022 - 2nd Call for Papers

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

unread,

LPNMR 2022 - 2nd Call for Papers

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

3/23/22

3/23/22

Logtalk 3.54.0 released

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

unread,

Logtalk 3.54.0 released

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

3/23/22

Jessica Zangari

2/22/22

LPNMR 2022 - last call for workshops - 3 days to deadline

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

unread,

LPNMR 2022 - last call for workshops - 3 days to deadline

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

2/22/22

Jessica Zangari

2/12/22

LPNMR 2022 - second call for workshops

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

unread,

LPNMR 2022 - second call for workshops

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

2/12/22

Jessica Zangari

1/27/22

LPNMR 2022 - Call for Workshops

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

unread,

LPNMR 2022 - Call for Workshops

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

1/27/22

Search

Clear search

Close search

Google apps

Main menu