Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

Wielemaker, Jan; Riguzzi, Fabrizio; Kowalski, Bob; Lager, Torbjörn; Sadri, Fariba; Calejo, Miguel

doi:10.1017/s1471068418000522

Cited by 11 publications

(8 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast, most rules in imperative languages are reactive rules that perform actions to change state, as in the case of condition-action rules in production systems and eventcondition-action rules in active database systems. Extensions of logic programming to include reactive rules have been developed in CHR (see Chapter 6 in Frühwirth 2009) and in the Logic-based Production System Language LPS (Kowalski and Sadri 2015;Wielemaker et al . 2019).…”

Section: Prolog Aspects That Need Joint Public and Earnest Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Fifty Years of Prolog and Beyond

Körner

Leuschel

Barbosa³

et al. 2022

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.

show abstract

Section: Prolog Aspects That Need Joint Public and Earnest Discussionmentioning

confidence: 99%

“…2021). • Better experience using interactive shells: Prolog could also profit from being integrated within notebooks such as Jupyter, as has been done in SWISH (Wielemaker et al . 2019).…”

Section: Improved Development Toolsmentioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner

Leuschel

Barbosa³

et al. 2022

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…The combination of static and dynamic verification, debugging, and testing of Ciao is relevant here (Hermenegildo et al, 2005;Sanchez-Ordaz et al, 2021). • Better experience using interactive shells: Prolog could also profit from being integrated within notebooks such as Jupyter, as has been done in SWISH (Wielemaker et al, 2019). • More regular, user-friendly and standardized ways of interfacing with other languages.…”

Section: Improved Development Toolsmentioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner¹,

Leuschel²,

Barbosa³

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

is thankful for the support provided for this work by NSERC's Discovery grant 31611024. José Francisco Morales and Manuel Hermenegildo are partially funded by MINECO MICINN PID2019-108528RB-C21 ProCode project, by the Madrid P2018/TCS-4339 BLOQUES-CM program, and by the Tezos foundation. Salvador Abreu acknowledges support from FCT through strategic project UIDB/04516/2020 (NOVA LINCS). All authors would like to thank the reviewers and the editor for their careful reading and very useful comments as well as

show abstract

“…LPS has been implemented in Prolog, Java, Python and SWISH and has been used in currently ongoing industry-based applications in smart contracts and industry production control. The SWISH proptotype implementation of LPS (Wielemaker et al . 2019) is downloadable and together with LPS examples can be found at http://lps.doc.ic.ac.uk.…”

Section: Kelpsmentioning

confidence: 99%

Reactive Answer Set Programming

Broda¹,

Sadri²,

BUTLER³

2022

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database. This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP). For this purpose a new variant of KELPS with finite models, called n-distance KELPS, is introduced. A formal definition of the mapping from this n-distance KELPS to ASP is given and proven sound and complete. The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, pre-emptive and prospective behaviours. These are all discussed and illustrated with examples. Then a hybrid framework is proposed that integrates KELPS and ASP, allowing to combine the strengths of both paradigms.

show abstract

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

Cited by 11 publications

References 21 publications

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Reactive Answer Set Programming

Contact Info

Product

Resources

About