Search results for logic programming prolog implementation