☰
↑
←
→
🔍
TOC
The Ciao Prolog Playground
»
Table of Contents
Table of Contents
Using the Ciao Prolog Playground
Creating Documents with Editable and Runnable Examples
Source in markdown for the 'factorial using ISO-Prolog arithmetic' example
Exercise: factorial using ISO-Prolog arithmetic
Creating Interactive Verification Tutorials
Source for the 'Checking predicate app/3' example
Checking predicate app/3