Можно ли было при описании "деревянного" домена использовать вместо функтора tr, употребленного нами, какой-нибудь другой функтор?

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

• # Наиболее популярный в Японии язык искусственного интеллекта это
• # Можно ли использовать предикат frontchar для того, чтобы приписать символ в начало строки?
• # Можно ли использовать предикат frontstr для того, чтобы соединить две строки?
• # Можно ли использовать предикат filemode для того чтобы изменить режим отсчитывания позиции для предиката filepos (от начала файла, от конца файла или от текущей позиции)?
• # Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?