ARGOL

Definition of ARGOL