TURBO PROLOG. Терёхин В.В. - 38 стр.

UptoLike

ВУЗ: 

НФИ КемГУ | Новокузнецк

Составители: 

Рубрика: 

38
Строки
string
Последовательность сим-
волов (не более 250)
"today", "123",
"just_a_reminder"
1.Последовательность
букв, цифр и знака под-
черкивания; первый символ
- строчная буква
pay_check, school_day,
flower
Символические
имена
symbol
2.Последовательность лю-
бых символов, заключен-
ная в кавычки
"Stars and Stripes",
"singing in the rain"
Файлы
file
Допустимое в DOS имя
файла
mail.txt,
BIRDS.DBA
Следующий предикат иллюстрирует использование доменов различ-
ных типов:
payroll(employee_name, pay_rate, weekly_hours)
Этот предикат требует такого описания доменов:
employee_name = symbol
pay_rate = integer
weekly_hours = real
Описание домена employee_name показывает, что объекты этого до-
мена являются символическими именами. Аналогично, объекты домена
pay_rate - это целые числа, а домена weekly_hours - действительные.
Примером корректных утверждений, использующих предикат payroll, могут
служить
payroll("John Walker",16,45.25).
payroll("Arthur Berman",28,32.50).
payroll("Sandy Taylor",23,40.00).
* Описание предикатов
В программах, написанных на Турбо-Прологе, предикаты использу-
ются для представления, как данных, так и правил для оперирования дан-
ными. Описываются предикаты в разделе predicates. Терм предиката
представляет собой строку символов, первым из которых является строч-
ная буква. Предикаты могут иметь очень простой вид,
как, например,
go
do_menu
repeat
look_for_fruits
search_for_items
Такие имена пригодны для именования и правил, и целей программы.
Например, имя предиката go ассоциируется с началом какого-либо процесса,
соответственно оно хорошо подходит в качестве имени цели программы. 
    Строки       string    Последовательность сим-   "today", "123",
                             волов (не более 250)    "just_a_reminder"


 Символические   symbol      1.Последовательность   pay_check, school_day,
    имена                   букв, цифр и знака под- flower
                          черкивания; первый символ
                                - строчная буква
                           2.Последовательность лю- "Stars and Stripes",
                           бых символов, заключен-   "singing in the rain"
                                  ная в кавычки

    Файлы         file      Допустимое в DOS имя     mail.txt,
                                   файла             BIRDS.DBA




      Следующий предикат иллюстрирует использование доменов различ-
ных типов:
     payroll(employee_name, pay_rate, weekly_hours)
Этот предикат требует такого описания доменов:
      employee_name = symbol
      pay_rate = integer
      weekly_hours = real
      Описание домена employee_name показывает, что объекты этого до-
мена являются символическими именами. Аналогично, объекты домена
pay_rate - это целые числа, а домена weekly_hours - действительные.
Примером корректных утверждений, использующих предикат payroll, могут
служить
      payroll("John Walker",16,45.25).
      payroll("Arthur Berman",28,32.50).
      payroll("Sandy Taylor",23,40.00).

* Описание предикатов
      В программах, написанных на Турбо-Прологе, предикаты использу-
ются для представления, как данных, так и правил для оперирования дан-
ными. Описываются предикаты в разделе predicates. Терм предиката
представляет собой строку символов, первым из которых является строч-
ная буква. Предикаты могут иметь очень простой вид, как, например,
      go
      do_menu
      repeat
      look_for_fruits
      search_for_items
      Такие имена пригодны для именования и правил, и целей программы.
Например, имя предиката go ассоциируется с началом какого-либо процесса,
соответственно оно хорошо подходит в качестве имени цели программы.


                                                                             38

Страницы