☰
↑
←
→
🔍
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