Программирование на языке пролог
Отрывок из книги
дает(джон,книга,мэри). Джон дает Мэри книгу. Всякий раз когда используется некоторое имя, оно указывает на определенный индивидуальный объект. В силу жизненного опыта нам совершенно ясно, что имена джон и джейн относятся к индивидуальным объектам. Но в некоторых других фактах мы использовали имена золото и ценный , и совсем не очевидно, что они значат. Логики называют имена такого сорта «словами, не имеющими определенного значения вне контекста». Используя такие имена, мы должны решить, как интерпретировать эти имена. Например, имя золото могло бы относиться к некоторому объекту. В этом случае мысленный образ объекта имеет вид конкретного куска золота, который мы обозначаем именем золото . И когда мы записываем на Прологе ценный(золото) , мы должны понимать это в том смысле, что этот конкретный кусок золота, для обозначения которого мы использовали имя золото , является ценным. С другой стороны, мы могли бы интерпретировать имя золото как
Книги из серии:
Без серии
[5.0 рейтинг книги]
Комментарии:
Популярные книги
На границе империй. Том 3
3. Фортуна дама переменчивая
Фантастика
:космическая фантастика
.
5.63
рейтинг книги
Неучтенный элемент. Том 3
3. Антимаг. Вне системы
Фантастика
:фэнтези
.
5.00
рейтинг книги
Обманы Локки Ламоры
1. Благородные Подонки
Фантастика
:фэнтези
.
8.36
рейтинг книги
Слово мастера
11. Гибрид
Фантастика
:попаданцы
,аниме
.
5.00
рейтинг книги
Убивать чтобы жить 5
5. УЧЖ
Фантастика
:боевая фантастика
,космическая фантастика
,рпг
.
5.00
рейтинг книги
Медвежатник
Я – вор в законе
Детективы
:боевики
.
7.20
рейтинг книги
Долг
7. Другая сторона
Фантастика
:боевая фантастика
.
5.60
рейтинг книги
Волкодав
1. Волкодав
Фантастика
:фэнтези
,героическая фантастика
.
9.46
рейтинг книги
Кодекс Охотника. Книга XIV
14. Кодекс Охотника
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Серые сутки
4. Медорфенов
Фантастика
:фэнтези
,аниме
.
5.00
рейтинг книги
Последний Паладин. Том 8
8. Путь Паладина
Фантастика
:боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Моров. Том 4
3. Моров
Фантастика
:фэнтези
,попаданцы
,альтернативная история
,аниме
.
5.25
рейтинг книги
Жена со скидкой, или Случайный брак
Любовные романы
:любовно-фантастические романы
.
8.15
рейтинг книги
Бронзовый мальчик
2. Паруса Эспады
Детские
:детские приключения
.
8.62
рейтинг книги
Чевенгур
Проза
:советская классическая проза
.
6.75
рейтинг книги
Черный Маг Императора 7 (CИ)
7. Черный маг императора
Фантастика
:фэнтези
,попаданцы
.
5.00
рейтинг книги
Бастард Императора. Том 6
6. Бастард Императора
Фантастика
:городское фэнтези
,попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
5.00