В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:
В результате выполнения предиката partition([1,2,3],2,L1,L2) переменные L1 и L2 получат значения:
В результате унификации списков [1,2,3,4] и [X,Y|Z] переменные получат следующие значения:
В результате выполнения предиката supp([1,2,3,4,5],L) переменная L будет означена списком:
В результате выполнения предиката permutation([3,2,1],L) переменная L будет означена списком:
В результате выполнения предиката insert(2,[1],L) переменная L будет означена списком:
В результате выполнения предиката fact(4,X) переменная X будет означена числом
В результате выполнения предиката fib(2,X) переменная X будет означена числом
В результате выполнения цели count_digit("мама мыла раму",N) переменная N будет конкретизирована значением:
В результате выполнения цели str_pos('а',"мама",N) переменная N будет конкретизирована значением: