Programming in logic

Programmeertaal volgens de regels van de symbolische logica.

Begin van een programma waarin de gebruikte variabelen worden gedefinieerd en andere zaken worden voorbereid.