SICStus Users

1–30 of 40

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

Sep 17

2nd Call for Papers: PADL 2023

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

unread,

2nd Call for Papers: PADL 2023

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

Sep 17

Aug 10

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

Aug 10

Aug 9

1st Call for Papers: PADL 2023

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

unread,

1st Call for Papers: PADL 2023

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

Aug 9

Jessica Zangari

Jul 5

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] *

Jul 5

Jessica Zangari

Jun 28

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

Jun 28

Jessica Zangari

Jun 27

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

Jun 27

Jessica Zangari

Jun 20

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

Jun 20

Jun 15

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

Jun 15

Jessica Zangari

May 25

RCRA 2022 - 1st Call for Papers

[APOLOGIES FOR MULTIPLE POSTINGS] *

unread,

RCRA 2022 - 1st Call for Papers

[APOLOGIES FOR MULTIPLE POSTINGS] *

May 25

May 21

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

May 21

Manuel Hermenegildo

May 18

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 * * ] ===

May 18

Manuel Hermenegildo

May 4

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 =

May 4

Apr 28

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

Apr 28

Apr 26

FLOPS 2022: Call For Participation & Workshop talk proposals

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

unread,

FLOPS 2022: Call For Participation & Workshop talk proposals

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

Apr 26

Jessica Zangari

Apr 20

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

Apr 20

Jessica Zangari

Apr 13

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

Apr 13

Jessica Zangari

Mar 28

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

Mar 28

Paulo Moura, Per Mildner3

Mar 25

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

Mar 25

Jessica Zangari

Mar 23

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

Mar 23

Mar 23

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

Mar 23

Jessica Zangari

Feb 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.] --

Feb 22

Jessica Zangari

Feb 12

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

Feb 12

Jessica Zangari

Jan 27

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

Jan 27

Jan 26

SICStus 4.7.1 released

Hi, SICStus 4.7.1 was released today. This is a bugfix release, no new features. Full details can be

unread,

SICStus 4.7.1 released

Hi, SICStus 4.7.1 was released today. This is a bugfix release, no new features. Full details can be

Jan 26

Jan 20

Logtalk 3.53.0 released

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

unread,

Logtalk 3.53.0 released

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

Jan 20

Jessica Zangari

Jan 20

LPNMR 2022 - Call for Papers

[Apologies in case of multiple posting] Call for Papers ---------------------------------------------

unread,

LPNMR 2022 - Call for Papers

[Apologies in case of multiple posting] Call for Papers ---------------------------------------------

Jan 20

12/7/21

Logtalk 3.52.0 released

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

unread,

Logtalk 3.52.0 released

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

12/7/21

11/17/21

2nd Call for Papers: FLOPS 2022

* The deadline has been extended to December. * Best papers will be invited to an SCP special issue.

unread,

2nd Call for Papers: FLOPS 2022

* The deadline has been extended to December. * Best papers will be invited to an SCP special issue.

11/17/21

10/28/21

A portable and decentralized package manager for sharing Logtalk and Prolog resources

Hi, The recently released Logtalk 3.51.0 version includes a beta version of the new "packs"

unread,

A portable and decentralized package manager for sharing Logtalk and Prolog resources

Hi, The recently released Logtalk 3.51.0 version includes a beta version of the new "packs"

10/28/21

10/26/21

Logtalk 3.50.0 released

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

unread,

Logtalk 3.50.0 released

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

10/26/21

Search

Clear search

Close search

Google apps

Main menu