K. Nakamura: Heuristic Prolog: Logic Program Execution by Heuristic Search. LP 1985: 148-155