Prolog uses a sequential, last-in-first-out, backtracking strategy, in which only one alternative and one sub-goal is considered at a time.
У Prolog використовується послідовна стратегія «назад-у-перших», зворотнє трасування, в якій одночасно розглядається тільки одна альтернатива і одна підціль.