Programmirovanije na jazyke Prolog - Clocksin, W.F (Matematičeskoje obespečenije EVM, 1987)