Cтраница 3
Пролог позволяет хранить также и факты в форме правил, показанных выше, но у которых нет предусловий. [31]
Следует заметить, однако, что когда некоторое предусловие заканчивается неудачей и происходит возвращение назад к тем предусловиям, которые его вызывали, то при наличии других альтернатив они также будут подвергнуты проверке. [32]
Внутренний и внешний циклы могут быть любыми из трех рассмотренных ранее видов: циклами с параметром, циклами с предусловием или циклами с постусловием. Правила организации как внешнего, так и внутреннего циклов такие же, как и для простого цикла каждого из этих видов. Но при использовании вложенных циклов необходимо соблюдать следующее условие: внутренний цикл должен полностью укладываться в циклическую часть внешнего цикла. [33]
Этот уровень детализации указывается посредством числа ( называемого значение критичности), связываемого со всеми литералами, используемыми в предусловиях. [34]
Приведите примеры задач, для реализации которых целесообразно применять циклические структуры: а) с постусловием; б) с предусловием. [35]
Выделив решение подзадачи Ф в отдельную программу, придумав ей имя и сформулировав черновой вариант ее дано / получить ( дане предусловие Ф, получить постусловие Ф), надо попробовать максимально ослабить дано и, быть может, усилить получить так, чтобы программа была применима при возможно бо лее общих, естественных и легко запоминающихся условиях. [36]
Предусловие 3.1.4 снова приводит к поиску в базе данных, пока не будет обнаружено 5.1.0, которое безусловно выполняется, и никаких других предусловий не возникает. В предусловии 3.1.5 используется другой встроенный оператор, который вносит новый факт в базу данных, размещая его перед другими подобными фактами. В нашем случае имеет ( волосы) будет добавлено непосредственно перед строкой 5.1.0. Система таким образом установила первый факт, касающийся обсуждаемого животного. [37]
В языке ПАСКАЛЬ различают три вида оператора цикла: цикл с постусловием ( цикл с условием окончания), цикл с предусловием ( цикл с условием продолжения), цикл с параметром. [38]
Когда транзакция, обрабатывающая данное исключение, заканчивает свою работу, управление возвращается в точку возбуждения исключения, после чего снова оценивается выражение, связанное с предусловием или постусловием, вызвавшим это исключение. [39]
Программа, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [40]
В доказательстве правильности программ и аксиоматической семантике языков программирования - логическое выражение, которое должно быть истинно после выполнения некоторого действия, если перед выполнением этого действия было истинно соответствующее предусловие. [41]
Программа, анализирующая текст другой программы, снабженный условиями и операторами контролн, которые должны выполняться в определенных ее точках, н докапывающая их истинность или ложность при заданных предусловиях. [42]
В базе данных не найдется такого, что системой Пролог рассматривается как неудача, так что 4.1.0 также будет считаться неудачей вследствие того, что неудаче й закончилось доказательство одного из его предусловий. Следовательно, и предусловие 2.5.0 заканчивается неудачей. [43]
Используется формула ( 2), порождающая время ( в части ( 1)) и описывающая смену состояний мира ( в результате некоторого действия), где 4 ( х т) и А ( х т) - полные описания соответственно исходного ( предусловие) и конечного состояния мира. Вывод порождает промежуток времени xi, Ti [ и планирует на этот промежуток одно из действий. Если некоторое предусловие является общим для нескольких разных действий, то могут быть спланированы несколько одновременных действий. Если они несовместимы, то вывод необходимо дополнить стратегией, запрещающей вывод двух действий в один промежуток времени. [44]
Применительно к оператору S в некоторой программе - утверждение ( А. Предусловие выражается свойствами определенных переменных программы и отношениями между ними. Там, где текст программы комментируется утверждениями, предусловие стоит непосредственно перед оператором, к которому оно относится. [45]