Higher Order Logic Programming in Prolog (1996)

by L Naish