Программирование на языке пролог
Отрывок из книги
дает(джон,книга,мэри). Джон дает Мэри книгу. Всякий раз когда используется некоторое имя, оно указывает на определенный индивидуальный объект. В силу жизненного опыта нам совершенно ясно, что имена джон и джейн относятся к индивидуальным объектам. Но в некоторых других фактах мы использовали имена золото и ценный , и совсем не очевидно, что они значат. Логики называют имена такого сорта «словами, не имеющими определенного значения вне контекста». Используя такие имена, мы должны решить, как интерпретировать эти имена. Например, имя золото могло бы относиться к некоторому объекту. В этом случае мысленный образ объекта имеет вид конкретного куска золота, который мы обозначаем именем золото . И когда мы записываем на Прологе ценный(золото) , мы должны понимать это в том смысле, что этот конкретный кусок золота, для обозначения которого мы использовали имя золото , является ценным. С другой стороны, мы могли бы интерпретировать имя золото как
Книги из серии:
Без серии
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Страж Кодекса. Книга VII
7. КО: Страж Кодекса
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Долг
7. Другая сторона
Фантастика
:боевая фантастика
.
5.56
рейтинг книги
В зоне особого внимания
12. Девяностые
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Я все еще не царь. Книга XXVI
26. Дорогой барон!
Фантастика
:попаданцы
,аниме
.
5.00
рейтинг книги
Камень. Книга восьмая
8. Камень
Фантастика
:фэнтези
,боевая фантастика
.
7.00
рейтинг книги
Здравствуй, 1985-й
2. Девяностые
Фантастика
:альтернативная история
.
5.25
рейтинг книги
Матабар V
5. Матабар
Фантастика
:фэнтези
.
5.00
рейтинг книги
Идеальный мир для Лекаря 24
24. Лекарь
Фантастика
:городское фэнтези
,попаданцы
.
5.00
рейтинг книги
Последний Паладин. Том 3
3. Путь Паладина
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Архонт
5. Стеллар
Фантастика
:боевая фантастика
,рпг
.
7.80
рейтинг книги
Имя нам Легион. Том 4
4. Меж двух миров
Фантастика
:боевая фантастика
,рпг
,аниме
.
5.00
рейтинг книги
Барон Дубов
1. Его Дубейшество
Фантастика
:юмористическое фэнтези
,аниме
,сказочная фантастика
,фэнтези
.
5.00
рейтинг книги
Объединитель
8. Сопряжение
Фантастика
:боевая фантастика
,постапокалипсис
,рпг
.
5.00
рейтинг книги
Принц из-за моря
5. Третий Рим
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Эволюция мага
2. Гибрид
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Вперед в прошлое 11
11. Вперед в прошлое
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Эволюционер из трущоб. Том 3
3. Эволюционер из трущоб
Фантастика
:попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
6.00