Search results for prolog probabilistic logic programming