Higher-order extensions to Prolog: are they needed (1982)

by D H D Warren
Venue:In Machine Intelligence 10