Peter Van Roy Can Logic Programming Execute as Fast as Imperative Programming? 1990 University of California at Berkeley