algol and prolog programs