Intelligent backtracking for an interpreter of Horn clause logic programs