X11: ожидание, пока окно не видимо?

Один плакат уже упомянул, что Пролог является потенциальным решением. Это верно, и это - решение, которое я использовал бы. В более общих чертах это - идеальная проблема для автоматизированной системы вывода. Пролог является языком логического программирования (и связанный интерпретатор), которые формируют такую систему. Это в основном позволяет завершать фактов от операторов, сделанных с помощью Логика первого порядка . FOL является в основном более усовершенствованной формой логики высказываний. Если Вы решаете, что не хотите использовать Пролог, Вы могли бы использовать аналогичную систему своего собственного создания с помощью техники такой в качестве утверждающий модус для выполнения делать выводы.

необходимо будет, конечно, добавить некоторые правила о зебрах, так как это не упоминается нигде... Я полагаю, что намерение состоит в том, что можно выяснить другие 4 домашних животных и таким образом вывести последнее, зебра? Вы захотите добавить, управляет тем государством, зебра является одним из домашних животных, и каждый дом может только иметь одно домашнее животное. Получение этого вида "разумного" знания в систему вывода является главным препятствием к использованию техники как истинный AI. Существуют некоторые исследовательские проекты, такие как Cyc, которые пытаются дать такую общепринятую истину через грубую силу. Они встретились с интересной суммой успеха.