Свободная переменная - это переменная, которая
Если аргументом предиката bound является свободная переменная, то он:
В результате выполнения цели count_digit("мама мыла раму",N) переменная N будет конкретизирована значением:
В результате выполнения цели str_pos('а',"мама",N) переменная N будет конкретизирована значением:
В результате выполнения цели str_pos('п',"мама",N) переменная N будет конкретизирована значением:
В результате выполнения цели char_count("мама",'м',N) переменная N будет конкретизирована значением:
В результате выполнения цели char_count("мама",'п',N) переменная N будет конкретизирована значением:
В результате выполнения предиката fact(4,X) переменная X будет означена числом
В результате выполнения предиката supp([1,2,3,4,5],L) переменная L будет означена списком:
В результате выполнения цели count_digit("1 и 9 мая",N) переменная N будет конкретизирована значением:
