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

Prolog

Наиболее распространенный язык логического программирования, реализующий принцип SLD-резолюции с автоматической унификацией и возвратом.

← Назад