Journal: Journal of Functional and Logic Programming

Volume 2000, Issue 4

0 -- 0Lee Naish, Leon Sterling. Stepwise Enhancement and Higher-Order Programming in Prolog