Logic, programming and Prolog - Nilsson, Ulf 1948-2021; Małuszyński, Jan (Wiley, 1990)