ytn
Ну, это типа чистая логика, но на компе. Вроде был ещё до языков программирования
Ну и что значит "широко". Если ты прологовскую библиотеку заюзаешь в своём проекте для более простой записи того, что тебе нужно - почему бы и нет. Он охуенно умеет в унификацию. Собственно, всё что он делает - ищет как лучше всего унифицировать два выражения
Обсуждают сегодня