Embedding s(CASP) in Prolog

Jan Wielemaker; Mikko Tiihonen

Embedding s(CASP) in Prolog

Jan Wielemaker^*, Mikko Tiihonen

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

The original s(CASP) implementation is a stand-alone program implemented in Ciao Prolog. It reads the s(CASP) source using a dedicated parser, resolves the query embedded in the source and emits the results in a format dictated by commandline options. Typical applications require composing a s(CASP) program, solving a query and reasoning about the bindings, model and/or justification. This is often done in some external language, e.g., Python. In this paper we propose a closer integration with Prolog. The s(CASP) program is simply a Prolog program that has to respect certain constraints. The scasp library can be used to solve a query using s(CASP) semantics, making the bindings available in the normal Prolog way and providing access to the model and justification as Prolog terms. This way, we can exploits Prolog’s power for manipulating (Prolog) terms for construction the s(CASP) program and interpreting the results.

Original language	English
Title of host publication	ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops
Subtitle of host publication	Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022
Editors	Joaquin Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
Pages	1-8
Number of pages	8
Publication status	Published - 22 Aug 2022
Event	38th International Conference on Logic Programming Workshops, ICLP Workshops 2022 - Haifa, Israel Duration: 31 Jul 2022 → 1 Aug 2022

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR
Volume	3193
ISSN (Print)	1613-0073

Conference

Conference	38th International Conference on Logic Programming Workshops, ICLP Workshops 2022
Country/Territory	Israel
City	Haifa
Period	31/07/22 → 1/08/22

Bibliographical note

Publisher Copyright:
© 2022 Copyright for this paper by its authors.

Keywords

answer set programming
multi-paradigm
Prolog
s(CASP)

Access to Document

http://ceur-ws.org/Vol-3193/short8GDE.pdf

Persistent URL (handle)

Copy link address

Cite this

Wielemaker, J., & Tiihonen, M. (2022). Embedding s(CASP) in Prolog. In J. Arias, R. Calegari, L. Dickens, W. Faber, J. Fandinno, G. Gupta, M. Hecher, D. Inclezan, E. LeBlanc, M. Morak, E. Salazar, & J. Zangari (Eds.), ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022 (pp. 1-8). (CEUR Workshop Proceedings; Vol. 3193). http://ceur-ws.org/Vol-3193/short8GDE.pdf

Wielemaker, Jan ; Tiihonen, Mikko. / Embedding s(CASP) in Prolog. ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022. editor / Joaquin Arias ; Roberta Calegari ; Luke Dickens ; Wolfgang Faber ; Jorge Fandinno ; Gopal Gupta ; Markus Hecher ; Daniela Inclezan ; Emily LeBlanc ; Michael Morak ; Elmer Salazar ; Jessica Zangari. 2022. pp. 1-8 (CEUR Workshop Proceedings).

@inproceedings{6aa9863d160449d0aa3a92f2f44635ca,

title = "Embedding s(CASP) in Prolog",

abstract = "The original s(CASP) implementation is a stand-alone program implemented in Ciao Prolog. It reads the s(CASP) source using a dedicated parser, resolves the query embedded in the source and emits the results in a format dictated by commandline options. Typical applications require composing a s(CASP) program, solving a query and reasoning about the bindings, model and/or justification. This is often done in some external language, e.g., Python. In this paper we propose a closer integration with Prolog. The s(CASP) program is simply a Prolog program that has to respect certain constraints. The scasp library can be used to solve a query using s(CASP) semantics, making the bindings available in the normal Prolog way and providing access to the model and justification as Prolog terms. This way, we can exploits Prolog{\textquoteright}s power for manipulating (Prolog) terms for construction the s(CASP) program and interpreting the results.",

keywords = "answer set programming, multi-paradigm, Prolog, s(CASP)",

author = "Jan Wielemaker and Mikko Tiihonen",

note = "Publisher Copyright: {\textcopyright} 2022 Copyright for this paper by its authors.; 38th International Conference on Logic Programming Workshops, ICLP Workshops 2022 ; Conference date: 31-07-2022 Through 01-08-2022",

year = "2022",

month = aug,

day = "22",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR",

pages = "1--8",

editor = "Joaquin Arias and Roberta Calegari and Luke Dickens and Wolfgang Faber and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily LeBlanc and Michael Morak and Elmer Salazar and Jessica Zangari",

booktitle = "ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops",

}

Wielemaker, J & Tiihonen, M 2022, Embedding s(CASP) in Prolog. in J Arias, R Calegari, L Dickens, W Faber, J Fandinno, G Gupta, M Hecher, D Inclezan, E LeBlanc, M Morak, E Salazar & J Zangari (eds), ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022. CEUR Workshop Proceedings, vol. 3193, pp. 1-8, 38th International Conference on Logic Programming Workshops, ICLP Workshops 2022, Haifa, Israel, 31/07/22. <http://ceur-ws.org/Vol-3193/short8GDE.pdf>

Embedding s(CASP) in Prolog. / Wielemaker, Jan; Tiihonen, Mikko.
ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022. ed. / Joaquin Arias; Roberta Calegari; Luke Dickens; Wolfgang Faber; Jorge Fandinno; Gopal Gupta; Markus Hecher; Daniela Inclezan; Emily LeBlanc; Michael Morak; Elmer Salazar; Jessica Zangari. 2022. p. 1-8 (CEUR Workshop Proceedings; Vol. 3193).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Embedding s(CASP) in Prolog

AU - Wielemaker, Jan

AU - Tiihonen, Mikko

PY - 2022/8/22

Y1 - 2022/8/22

N2 - The original s(CASP) implementation is a stand-alone program implemented in Ciao Prolog. It reads the s(CASP) source using a dedicated parser, resolves the query embedded in the source and emits the results in a format dictated by commandline options. Typical applications require composing a s(CASP) program, solving a query and reasoning about the bindings, model and/or justification. This is often done in some external language, e.g., Python. In this paper we propose a closer integration with Prolog. The s(CASP) program is simply a Prolog program that has to respect certain constraints. The scasp library can be used to solve a query using s(CASP) semantics, making the bindings available in the normal Prolog way and providing access to the model and justification as Prolog terms. This way, we can exploits Prolog’s power for manipulating (Prolog) terms for construction the s(CASP) program and interpreting the results.

AB - The original s(CASP) implementation is a stand-alone program implemented in Ciao Prolog. It reads the s(CASP) source using a dedicated parser, resolves the query embedded in the source and emits the results in a format dictated by commandline options. Typical applications require composing a s(CASP) program, solving a query and reasoning about the bindings, model and/or justification. This is often done in some external language, e.g., Python. In this paper we propose a closer integration with Prolog. The s(CASP) program is simply a Prolog program that has to respect certain constraints. The scasp library can be used to solve a query using s(CASP) semantics, making the bindings available in the normal Prolog way and providing access to the model and justification as Prolog terms. This way, we can exploits Prolog’s power for manipulating (Prolog) terms for construction the s(CASP) program and interpreting the results.

KW - answer set programming

KW - multi-paradigm

KW - Prolog

KW - s(CASP)

UR - http://www.scopus.com/inward/record.url?scp=85137741963&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85137741963&partnerID=8YFLogxK

UR - http://ceur-ws.org/Vol-3193/

M3 - Conference contribution

AN - SCOPUS:85137741963

T3 - CEUR Workshop Proceedings

SP - 1

EP - 8

BT - ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops

A2 - Arias, Joaquin

A2 - Calegari, Roberta

A2 - Dickens, Luke

A2 - Faber, Wolfgang

A2 - Fandinno, Jorge

A2 - Gupta, Gopal

A2 - Hecher, Markus

A2 - Inclezan, Daniela

A2 - LeBlanc, Emily

A2 - Morak, Michael

A2 - Salazar, Elmer

A2 - Zangari, Jessica

T2 - 38th International Conference on Logic Programming Workshops, ICLP Workshops 2022

Y2 - 31 July 2022 through 1 August 2022

ER -

Wielemaker J, Tiihonen M. Embedding s(CASP) in Prolog. In Arias J, Calegari R, Dickens L, Faber W, Fandinno J, Gupta G, Hecher M, Inclezan D, LeBlanc E, Morak M, Salazar E, Zangari J, editors, ICLP Workshops 2022 International Conference on Logic Programming 2022 Workshops: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel, July 31st - August 1st, 2022. 2022. p. 1-8. (CEUR Workshop Proceedings).

Embedding s(CASP) in Prolog

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this