STRIPS
one_step_plan(State,Goals,NewState,Plan) :-
diff(Goals,State,[Goal|Rest]),.
Проверява дали целта е напълно
Унифицира всяка от променливите на терма
Term със специален терм, така че write(Term)
(или writeq(Term)) отпечатват тези променливи като
където i се изменя от N до M-1. Именуването
на променливите става отляво надясно.
N трябва да бъде свързано с цяло число.
Ако N=0 се получават имената на променливи
A, B, ..., Z, A1, B1, и т.н.