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