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

Вики

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

/

Логическое программирование Основы логического программирования Логическое программирование – это декларативный язык программирования, основанный на логике первого порядка.  Оно отличается от

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий

Вики

Оправданное рассуждение

/

Логическое обоснование, которое можно опровергнуть Опровержимые рассуждения – предварительные рассуждения, рационально убедительные, но не дедуктивно обоснованные.  Опровержимость обнаруживается в литературе

Вики

Отрицание как неудача

/

Отрицание как неудача Отрицание как сбой (NAF) – немонотонное правило вывода в логическом программировании для получения “не p” из-за неспособности

Вики

Подстановка (логика)

/

Подстановка (логика) Подстановка – это отображение переменных в члены выражения.  Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий