File:AI.Logic.2.A.Prolog.20180414.pdf