Can logic programming execute as fast as imperative programming? - Van Roy, Peter Lodewijk (ProQuest Dissertations and Theses, 1990)