Programmirovanije na jazyke Prolog - Closksin, W. F.; Mellish, Christopher S. (Matematičeskoje obespečenije EVM, 1987)