Основы современных компьютерных технологий



Основы программирования


Алфавит языка Турбо-Пролог включает следующие символы:

  • прописные и строчные буквы латинского алфавита (A-Z, a-z);
  • цифры (0-9);
  • специальные символы: ! @ # $ & ( ) | ? * - + ? < > ; , ? . \ _" ' ?.
  • В Прологе имена используются для обозначения символических констант, доменов, предикатов и переменных. В общем случае имя должно начинаться с буквы или знака подчеркивания, за которым идет любая комбинация букв, цифр или знаков подчеркивания. При этом правила именования различных типов объектов в Пролог-программе имеют свои особенности:

  • имена символических констант и имена предикатов должны начинаться со строчной буквы;
  • имена предметных переменных (аргументы предикатов и функций) должны начинаться с прописной буквы или знака подчеркивания.
  • В качестве имени переменной в предикатах может использоваться знак подчеркивания, такая переменная называется анонимной, применяется это в случаях, когда значение переменной безразлично для Пролог-программы.

    К ключевым (служебным ) словам в языке Турбо-Пролог относятся следующие слова:

    and domains goal include
    clauses elsedef if or
    constants enddef ifdef predicates
    database global ifndef  

    Программа на Турбо-Прологе имеет следующую структуру:

    /*-----------------------------------------------------------* /

    /* Комментарии */

    /*-----------------------------------------------------------* /

    constants

    /*определение констант */

    domains

    /* определение типов данных программы*/

    database

    /*определение предикатов динамической базы данных*/

    predicates

    /*определение предикатов*/

    clauses

    /*определение правил и фактов*/

    goal

    /*Определение целей*/

    /*----------------------------------------------*/

    /* Комментарии */

    /*----------------------------------------------*/

    309

    В разделе constants объявляются используемые в программе константы.

    В разделе domains объявляются нестандартные типы данных для переменных, используемых в качестве аргументов предикатов.


    Содержание  Назад  Вперед