Программирование на языке пролог
Отрывок из книги
дает(джон,книга,мэри). Джон дает Мэри книгу. Всякий раз когда используется некоторое имя, оно указывает на определенный индивидуальный объект. В силу жизненного опыта нам совершенно ясно, что имена джон и джейн относятся к индивидуальным объектам. Но в некоторых других фактах мы использовали имена золото и ценный , и совсем не очевидно, что они значат. Логики называют имена такого сорта «словами, не имеющими определенного значения вне контекста». Используя такие имена, мы должны решить, как интерпретировать эти имена. Например, имя золото могло бы относиться к некоторому объекту. В этом случае мысленный образ объекта имеет вид конкретного куска золота, который мы обозначаем именем золото . И когда мы записываем на Прологе ценный(золото) , мы должны понимать это в том смысле, что этот конкретный кусок золота, для обозначения которого мы использовали имя золото , является ценным. С другой стороны, мы могли бы интерпретировать имя золото как
Книги из серии:
Без серии
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Князь Андер Арес 2
2. Андер Арес
Фантастика
:рпг
,аниме
,фэнтези
,фантастика: прочее
.
5.00
рейтинг книги
Кодекс Охотника. Книга XXVII
27. Кодекс Охотника
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Рассвет русского царства. Книга 2
2. Новая Русь
Фантастика
:альтернативная история
,попаданцы
,историческое фэнтези
.
5.00
рейтинг книги
Удержать 13-го
Любовные романы
:остросюжетные любовные романы
,эро литература
,зарубежные любовные романы
.
5.00
рейтинг книги
Двойник короля 20
20. Двойник Короля
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Император Пограничья 4
4. Император Пограничья
Фантастика
:аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Эволюционер из трущоб. Том 12
12. Эволюционер из трущоб
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Черный Маг Императора 12
12. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
,сказочная фантастика
,фэнтези
.
5.00
рейтинг книги
Матабар IV
4. Матабар
Фантастика
:фэнтези
.
5.00
рейтинг книги
Наследие Маозари 4
4. Наследие Маозари
Фантастика
:фэнтези
,попаданцы
.
5.00
рейтинг книги
Проданная Истинная. Месть по-драконьи
Любовные романы
:любовно-фантастические романы
.
5.00
рейтинг книги
Выйду замуж за спасателя
1. Спасатели
Любовные романы
:современные любовные романы
.
7.00
рейтинг книги
Эфемер
7. Стеллар
Фантастика
:боевая фантастика
,рпг
.
7.23
рейтинг книги
Кодекс Охотника. Книга IX
9. Кодекс Охотника
Фантастика
:боевая фантастика
,городское фэнтези
,попаданцы
.
5.00
рейтинг книги
Барон диктует правила
4. Закон сильного
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Локки 8. Потомок бога
8. Локки
Фантастика
:фэнтези
,боевая фантастика
,героическая фантастика
,попаданцы
.
5.00
рейтинг книги
Путь Шедара
4. Другая сторона
Фантастика
:боевая фантастика
.
6.83