Readings for Learning Lambda Prolog

Learning Lambda Prolog

``lambda Prolog: An Introduction to the Language and its Logic''.

The paper Higher-Order Logic Programming by Gopalan Nadathur and Dale Miller might also be helpful.