Представление знаний было и остается одной из основных проблем при реализации систем искусственного интеллекта. Одним из мощных средств для описания предметной области в виде набора фактов и правил является язык логического программирования Prolog, основанный на теории предикатов первого порядка....