Formalization of the British Nationality Act
One of
Prolog
's early triumphs.
Notes that link to this note
Involvement, Detachment and Programming: The Belief in PROLOG