В результате выполнения предиката permutation([3,2,1],L) переменная L будет означена списком:
В результате выполнения предиката fact(4,X) переменная X будет означена числом
В результате выполнения предиката supp([1,2,3,4,5],L) переменная L будет означена списком:
В результате выполнения предиката insert(2,[1],L) переменная L будет означена списком:
Возможно ли в разделе описания предикатов PREDICATES наличие нескольких описаний одного предиката?
При выполнении предиката min_list([1,2,3],X) переменная X будет означена числом:
В результате выполнения предиката fib(2,X) переменная X будет означена числом
При выполнении предиката sum([1,2,3],X) переменная X будет означена числом:
При выполнении предиката avg([1,2,3],X) переменная X будет означена числом:
Если аргументом предиката bound является свободная переменная, то он:
