SICStus Users

Contact owners and managers

1–30 of 65

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

giuseppe...@unical.it

Apr 12

[Approaching Deadline] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

unread,

[Approaching Deadline] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

Apr 12

Joaquin Arias Herrero

Mar 24

ICLP 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** CALL FOR WORKSHOP

unread,

ICLP 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** CALL FOR WORKSHOP

Mar 24

Mar 17

40th International Conference on Logic Programming (ICLP'24): 2nd CFP

Call for Papers! Call for Papers! Call for Papers! 40 th International Conference on Logic

unread,

40th International Conference on Logic Programming (ICLP'24): 2nd CFP

Call for Papers! Call for Papers! Call for Papers! 40 th International Conference on Logic

Mar 17

giuseppe...@unical.it

Mar 15

LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

unread,

LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

Mar 15

giuseppe...@unical.it

Mar 14

EKAPI 2024 - Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

EKAPI 2024 - Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

Mar 14

giuseppe...@unical.it

Mar 13

LPNMR 2024 - Preliminary Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

LPNMR 2024 - Preliminary Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

Mar 13

Feb 5

40th International Conference on Logic Programming (ICLP 2024)

Preliminary Call for Papers 40th International Conference on Logic Programming (ICLP'24) Dallas,

unread,

40th International Conference on Logic Programming (ICLP 2024)

Preliminary Call for Papers 40th International Conference on Logic Programming (ICLP'24) Dallas,

Feb 5

Jan 31

Logtalk 3.74.0 released

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

unread,

Logtalk 3.74.0 released

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

Jan 31

12/19/23

SICStus Prolog 4.9.0

Dear SICStus friends, yesterday we released SICStus Prolog 4.9.0 with new features, speedups, bug

unread,

SICStus Prolog 4.9.0

Dear SICStus friends, yesterday we released SICStus Prolog 4.9.0 with new features, speedups, bug

12/19/23

12/12/23

Logtalk 3.73.0 released

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

unread,

Logtalk 3.73.0 released

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

12/12/23

7/28/23

CfP: FLOPS 2024 Symposium on Functional and Logic Programming

============================================================ Call For Papers FLOPS 2024: 17th

unread,

CfP: FLOPS 2024 Symposium on Functional and Logic Programming

============================================================ Call For Papers FLOPS 2024: 17th

7/28/23

5/30/23

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

5/30/23

5/20/23

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

5/20/23

4/27/23

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

4/27/23

4/20/23

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

4/20/23

4/20/23

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

4/20/23

4/8/23

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

4/8/23

3/23/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

3/23/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

Search

Clear search

Close search

Google apps

Main menu