Prolog Programming for Artificial Intelligence - "Bratko, Ivan" (Addison Wesley)
includes index and biblioraphy