PROLOG FOR PROGRAMMERS - KLUZNIAK,FELIKS, SZAPAKOWICZ,STANISLAW (AP LONDON, 1985)