Non-concurrent logic programming tries all possible clauses when rewriting a goal: if the goal cannot be proved while replacing it with the body of a fresh variant of a clause, another clause is proved, if any.
Не-конкурентна логика програмирања покушава све могуће клаузуле кад преписивање циља: ако се циљ не може доказати, а његова замена са телом свеже варијантне клаузуле, друга клаузула се може доказати.