↑←→🔍TOC

The Ciao Prolog Playground »
Table of Contents

Table of Contents

Using the Ciao Prolog Playground
Creating Documents with Editable and Runnable Examples

An example of an exercise
Source in markdown for the 'factorial using ISO-Prolog arithmetic' example

Creating Interactive Verification Tutorials

Source for the 'Checking predicate app/3' example
Checking predicate app/3

Generated with LPdoc using Ciao