Prolog's Control Constructs in a Functional . . .

by Ralf Hinze
Venue:INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE