Search results for logic programming unification