В результате выполнения цели char_count("мама",'м',N) переменная N будет конкретизирована значением:

Правильный ответ:

• # В правиле резолюции контрарными литералами называются:
• # Факт состоит:
• # Раздел описания доменов соответствует в императивных языках программирования:
• # Если аргументом предиката bound является свободная переменная, то он:
• # Можно ли реализовать предикат min_list без использования предиката min?