λProlog: An Introduction to the Language and its Logic (1998)

by Dale Miller