The Fusemate Logic Programming System

Peter Baumgartner

doi:10.1007/978-3-030-79876-5_34

The Fusemate Logic Programming System

Peter Baumgartner^*

^*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic ALCIF into Fusemate’s input language.

Original language	English
Title of host publication	Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings
Editors	André Platzer, Geoff Sutcliffe
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	589-601
Number of pages	13
ISBN (Print)	9783030798758
DOIs	https://doi.org/10.1007/978-3-030-79876-5_34
Publication status	Published - 2021
Event	28th International Conference on Automated Deduction, CADE 28 2021 - Virtual, Online Duration: 12 Jul 2021 → 15 Jul 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12699 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	28th International Conference on Automated Deduction, CADE 28 2021
City	Virtual, Online
Period	12/07/21 → 15/07/21

Access to Document

10.1007/978-3-030-79876-5_34

Cite this

Baumgartner, P. (2021). The Fusemate Logic Programming System. In A. Platzer, & G. Sutcliffe (Eds.), Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings (pp. 589-601). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12699 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-79876-5_34

Baumgartner, Peter. / The Fusemate Logic Programming System. Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. editor / André Platzer ; Geoff Sutcliffe. Springer Science and Business Media Deutschland GmbH, 2021. pp. 589-601 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{07e9769b0fb24389a7cdf70f9d16d3a6,

title = "The Fusemate Logic Programming System",

abstract = "Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic ALCIF into Fusemate{\textquoteright}s input language.",

author = "Peter Baumgartner",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).; 28th International Conference on Automated Deduction, CADE 28 2021 ; Conference date: 12-07-2021 Through 15-07-2021",

year = "2021",

doi = "10.1007/978-3-030-79876-5_34",

language = "English",

isbn = "9783030798758",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "589--601",

editor = "Andr{\'e} Platzer and Geoff Sutcliffe",

booktitle = "Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings",

address = "Germany",

}

Baumgartner, P 2021, The Fusemate Logic Programming System. in A Platzer & G Sutcliffe (eds), Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12699 LNAI, Springer Science and Business Media Deutschland GmbH, pp. 589-601, 28th International Conference on Automated Deduction, CADE 28 2021, Virtual, Online, 12/07/21. https://doi.org/10.1007/978-3-030-79876-5_34

The Fusemate Logic Programming System. / Baumgartner, Peter.
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. ed. / André Platzer; Geoff Sutcliffe. Springer Science and Business Media Deutschland GmbH, 2021. p. 589-601 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12699 LNAI).

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

TY - GEN

T1 - The Fusemate Logic Programming System

AU - Baumgartner, Peter

PY - 2021

Y1 - 2021

N2 - Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic ALCIF into Fusemate’s input language.

AB - Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic ALCIF into Fusemate’s input language.

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

U2 - 10.1007/978-3-030-79876-5_34

DO - 10.1007/978-3-030-79876-5_34

M3 - Conference contribution

SN - 9783030798758

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 589

EP - 601

BT - Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings

A2 - Platzer, André

A2 - Sutcliffe, Geoff

PB - Springer Science and Business Media Deutschland GmbH

T2 - 28th International Conference on Automated Deduction, CADE 28 2021

Y2 - 12 July 2021 through 15 July 2021

ER -

Baumgartner P. The Fusemate Logic Programming System. In Platzer A, Sutcliffe G, editors, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 589-601. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-79876-5_34

The Fusemate Logic Programming System

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this