Программирование на языке пролог
Отрывок из книги
дает(джон,книга,мэри). Джон дает Мэри книгу. Всякий раз когда используется некоторое имя, оно указывает на определенный индивидуальный объект. В силу жизненного опыта нам совершенно ясно, что имена джон и джейн относятся к индивидуальным объектам. Но в некоторых других фактах мы использовали имена золото и ценный , и совсем не очевидно, что они значат. Логики называют имена такого сорта «словами, не имеющими определенного значения вне контекста». Используя такие имена, мы должны решить, как интерпретировать эти имена. Например, имя золото могло бы относиться к некоторому объекту. В этом случае мысленный образ объекта имеет вид конкретного куска золота, который мы обозначаем именем золото . И когда мы записываем на Прологе ценный(золото) , мы должны понимать это в том смысле, что этот конкретный кусок золота, для обозначения которого мы использовали имя золото , является ценным. С другой стороны, мы могли бы интерпретировать имя золото как
Книги из серии:
Без серии
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Метка драконов. Княжеский отбор
Фантастика
:фэнтези
.
5.50
рейтинг книги
Последний Паладин. Том 5
5. Путь Паладина
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Убивать чтобы жить 7
7. УЧЖ
Фантастика
:героическая фантастика
,космическая фантастика
,рпг
.
5.00
рейтинг книги
Назад в ссср 6
6. Курсант
Фантастика
:попаданцы
,альтернативная история
.
6.00
рейтинг книги
Архонт
5. Стеллар
Фантастика
:боевая фантастика
,рпг
.
7.80
рейтинг книги
Провинциал. Книга 3
3. Провинциал
Фантастика
:космическая фантастика
,рпг
,аниме
.
5.00
рейтинг книги
Релокант
1. Релокант в другой мир
Фантастика
:фэнтези
,попаданцы
,рпг
.
5.00
рейтинг книги
Неудержимый. Книга III
3. Неудержимый
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Пограничная река. (Тетралогия)
Пограничная река
Фантастика
:фэнтези
,боевая фантастика
.
9.13
рейтинг книги
Как я строил магическую империю 4
4. Как я строил магическую империю
Фантастика
:боевая фантастика
,постапокалипсис
,аниме
,фантастика: прочее
,фэнтези
.
5.00
рейтинг книги
Жена фаворита королевы. Посмешище двора
Фантастика
:фэнтези
.
5.00
рейтинг книги
Проводник
2. Другая сторона
Фантастика
:боевая фантастика
,рпг
.
7.41
рейтинг книги
Тройняшки не по плану. Идеальный генофонд
Роковые подмены
Любовные романы
:современные любовные романы
.
6.80
рейтинг книги
Разочарование. Пятый пояс
13. Путь
Фантастика
:фэнтези
.
5.00
рейтинг книги
Довлатов. Сонный лекарь
1. Не вывожу
Фантастика
:альтернативная история
,аниме
.
5.00
рейтинг книги
Гардемарин Ее Величества. Инкарнация
1. Гардемарин ее величества
Фантастика
:городское фэнтези
,попаданцы
,альтернативная история
,аниме
,фантастика: прочее
.
5.00
рейтинг книги
Мама из другого мира. Дела семейные и не только
4. Королевский приют имени графа Тадеуса Оберона
Любовные романы
:любовно-фантастические романы
.
9.34