Программирование на языке пролог
Отрывок из книги
дает(джон,книга,мэри). Джон дает Мэри книгу. Всякий раз когда используется некоторое имя, оно указывает на определенный индивидуальный объект. В силу жизненного опыта нам совершенно ясно, что имена джон и джейн относятся к индивидуальным объектам. Но в некоторых других фактах мы использовали имена золото и ценный , и совсем не очевидно, что они значат. Логики называют имена такого сорта «словами, не имеющими определенного значения вне контекста». Используя такие имена, мы должны решить, как интерпретировать эти имена. Например, имя золото могло бы относиться к некоторому объекту. В этом случае мысленный образ объекта имеет вид конкретного куска золота, который мы обозначаем именем золото . И когда мы записываем на Прологе ценный(золото) , мы должны понимать это в том смысле, что этот конкретный кусок золота, для обозначения которого мы использовали имя золото , является ценным. С другой стороны, мы могли бы интерпретировать имя золото как
Книги из серии:
Без серии
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Запасная дочь
Фантастика
:фэнтези
.
6.40
рейтинг книги
Товарищ "Чума" 3
3. Товарищ "Чума"
Фантастика
:городское фэнтези
,попаданцы
,альтернативная история
.
5.00
рейтинг книги
Газлайтер. Том 18
18. История Телепата
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Бастард Императора. Том 7
7. Бастард Императора
Фантастика
:городское фэнтези
,попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Ненаглядная жена его светлости
Любовные романы
:любовно-фантастические романы
.
6.23
рейтинг книги
Вперед в прошлое 3
3. Вперёд в прошлое
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Снега
Поэзия
:драматургия
.
5.00
рейтинг книги
Наномашины, звереныш! Том 5
5. Первый среди карапузов
Фантастика
:фэнтези
,попаданцы
.
5.00
рейтинг книги
Сирийский рубеж 2
6. Рубеж
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Вперед в прошлое 6
6. Вперед в прошлое
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Бастард
1. Последняя жизнь
Фантастика
:фэнтези
,героическая фантастика
,попаданцы
.
5.86
рейтинг книги
На границе империй. Том 7. Часть 4
Вселенная EVE Online
Фантастика
:боевая фантастика
,космическая фантастика
.
5.00
рейтинг книги
Гримуар темного лорда VII
7. Гримуар темного лорда
Фантастика
:боевая фантастика
,попаданцы
,аниме
,фэнтези
.
5.25
рейтинг книги
Кодекс Охотника. Книга XVI
16. Кодекс Охотника
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Эволюционер из трущоб. Том 11
11. Эволюционер из трущоб
Фантастика
:аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Товарищ "Чума" 7
7. Товарищ "Чума"
Фантастика
:городское фэнтези
,попаданцы
,альтернативная история
.
5.00
рейтинг книги
Телохранитель Генсека. Том 1
1. Медведев
Фантастика
:попаданцы
,альтернативная история
.
7.00