The gentlest intro to Lambda Prolog I have yet found is an unfinished draft of Dale Miller's "Lambda Prolog: An Introduction to the Language and its Logic" (from the 90s) [link to a .ps file]
eecs.ucf.edu/~leavens/learning-LambdaProlog.htmlPosted Feb 22, 2016, 5:13 AM UTC
50