Search results for c plus plus prolog implementation