Зарегистрироваться
Восстановить пароль
FAQ по входу

Prolog (Пролог)

2019.02
Amsterdam: Universiteit van Amsterdam, 2018. — 80 p. These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Nevertheless, a short chapter on the logic foundations of Prolog is included as well. For this latest version of the lecture notes, I have added 15 new...
  • №1
  • 778,48 КБ
  • добавлен
  • описание отредактировано
2015.03
В настоящей главе рассматриваются основные отличия языка Visual Prolog от реализаций языка Пролог, удовлетворяющих стандарту (т. н. стандартного Пролога), связанные с унификацией термов. Кроме этого, приводится пример использования интерпретатора PIE в программе на языке Visual Prolog.
  • №2
  • 1,56 МБ
  • добавлен
  • описание отредактировано
???
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
  • №3
  • 2,24 МБ
  • дата добавления неизвестна
  • описание отредактировано
Высказывания и операции. Логические связки. Таблицы истинности. Теоремы.
  • №4
  • 285,00 КБ
  • дата добавления неизвестна
  • описание отредактировано
В этом разделе нет файлов.

Комментарии

В этом разделе нет комментариев.