Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
SICStus Users
Conversations
About
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.
Mark all as read
Report abusive group
0 selected
Paulo Moura
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
Gupta, Gopal
2
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
Paulo Moura
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
Michael Hanus
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
Michael Hanus
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
Jan Pa
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
Michael Hanus
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
Paulo Moura
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
matsc560515
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
Paulo Moura
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
Paulo Moura
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
Michael Hanus
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
Michael Hanus
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
matsc560515
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
Michael Hanus
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
matsc560515
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
matsc560515
5/21/22
Year Of Prolog
Dear SICStus Prolog friend, 2022 is the Year of Prolog. The Association for Logic Programming
unread,
Year Of Prolog
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
Paulo Moura
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
Michael Hanus
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