Логическое программирование

SLD-резолюция

Стратегия линейной селективной резолюции для определенных дизъюнктов, используемая в качестве основного механизма выполнения в Prolog.

← Назад