Programming with higher-order logic - Miller, Dale; Nadathur, Gopalan (Cambridge Cambridge University Press, 2012)
Keywords: Logic programming; Prolog (Computer program language)