Добавление любого количества аргументов в функцию в прологе

Question

Я хочу реализовать цикл while, например: while(true) {(assign(n,1));(assign(r,2));} в прологе. Пример можно рассматривать как то, что происходит в ОО-языке, таком как java, в то время как true он назначит n как 1, а r как 2. Как я могу реализовать такие предикаты в прологе, где более чем один предикат должен выполняться, когда while истинно. Я хочу, чтобы мой предикат был чем-то вроде

while(true,[(assign(n,1)),(assign(r,2))].

Answer 1

хм интересный вопрос. Почему бы тебе просто не записать это, как ты хочешь записать?

while(X, Y) :-
    X, Y.

Я пытаюсь записать это, и когда я это написал, я написал это, и это сработало?

?- while(true, (format("hello, ", []), format("sailor", []))).
hello, sailor
true.