CS 363 Comparative Programming Languages Logic Programming Languages.
ISBN 0-321-49362-1 Chapter 16 Logic Programming Languages.
S. Haridi and P. Van Roy1 Declarative Programming Techniques Seif Haridi KTH Peter Van Roy UCL.
CSC3315 (Spring 2009)1 CSC 3315 Programming Paradigms Prolog Language Hamid Harroud School of Science and Engineering, Akhawayn University H.Harroud/csc3315
ISBN 0-321-19362-8 Chapter 16 Logic Programming Languages.