Author:
Mostowski Collapse, XLOG Technologies AG, Switzerland
Date:
November 7, 2022
Abstract:
We present Dogelog Notebooks which is a literate
programming system based on the Dogelog Player
Prolog systems. Dogelog Notebooks can be directly
executed in a web browser without any server
roundtrip. The scope of Dogelog Notebooks is
Prolog in general, but we show how it can also
cope with Datalog. In particular we show how
to add Datalog inference engines to Dogelog
Notebooks and how Dogelog Notebooks can deal
with interactive non-monotonic updates.
Keywords:
Literate Programming, Web GUI, Datalog with
Negation, Counting Provenance
Download:
dogelog_20221107_negup.pdf