Describir: Can logic programming execute as fast as imperative programming?