Can logic programming execute as fast as imperative programming?