Logičeskoe programirovanie v sisteme -360 - Stably, D. (Mir, 1979)