# Event Calculus in SWI-Prolog?

**URL:** <https://swi-prolog.discourse.group/t/event-calculus-in-swi-prolog/5233>\
**Category:** Predicate\
**Created:** [April 7, 2022, 9:05am UTC](https://swi-prolog.discourse.group/t/event-calculus-in-swi-prolog/5233 "2022-04-07T09:05:33Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [April 9, 2022, 8:38am UTC](https://swi-prolog.discourse.group/t/event-calculus-in-swi-prolog/5233/9 "2022-04-09T08:38:11Z")

</div>

[Ciao](http://ciao-lang.org/) - The Ciao programming language

> Ciao is a programming language that builds up from a logic-based simple kernel, and is designed to be extensible and modular.

* * *

s(CASP) - The main contribution of s(CASP) is its ability to evaluate Constraint Answer Set Programs without a grounding phase, either before or during execution.

So ASP in s(CASP) is [Answer Set Programming](https://en.wikipedia.org/wiki/Answer_set_programming)

CASP is ASP with constraints ([ref](https://swi-prolog.discourse.group/t/s-casp-meets-json/4600))

For how s(CASP) came into SWI-Prolog see [Initial port for sCASP, a top-down interpreter for ASP programs with constraints](https://swi-prolog.discourse.group/t/initial-port-for-scasp-a-top-down-interpreter-for-asp-programs-with-constraints/4130)

s(ASP) - The s(ASP) Predicate Answer Set Programming System ([ref](https://www.cs.nmsu.edu/ALP/2017/04/the-sasp-predicate-answer-set-programming-system/))

The s() part is a play on [Peano axioms](https://en.wikipedia.org/wiki/Peano_axioms). s() being the successor function. Make sense?

“A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs” by Joaquín Arias, Gopal Gupta and Manuel Carro ([pdf](http://ceur-ws.org/Vol-2970/gdepaper1.pdf))

HTH

---

_[View the full topic](https://swi-prolog.discourse.group/t/event-calculus-in-swi-prolog/5233)._