Some examples of FNC-2 system
Didier PARIGOT
A simple example of circular program
Factorial function
An interpreter of simple language
The Simproc language
The Towers of Hanoi