Описание тега steadfastness
Стойкость обозначает желаемое свойство программ Prolog. Интуитивно это означает, что создание аргументов предикатов не меняет смысла отношения.
1
ответ
Стойкость: определение и его связь с логической чистотой и окончанием
До сих пор я всегда принимал постоянство в программах Prolog: Если для запроса Q есть подзадача S такой, что есть термин T что делает ?- S=T, Q. преуспеть хотя ?- Q, S=T. терпит неудачу, то один из предикатов, вызываемых Q не стойкий Таким образом, …
28 авг '16 в 12:17