1. Springer Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo 2. WF.Clocksin • C.S.Mellish Programming in Prolog Fifth Edition Springer 3. Prof. William F.…