Logic, programming and Prolog - Nilsson, Ulf, 1948-2021 (John Wiley & Sons, 1990)