Ошибки и опечатки в учебнике "Современное логическое программирование на языке Visual Prolog 7.5"

.
.



1). Стр. 30. Первый абзац раздела 2.3.
Написано: "Список есть специальный вид двоичного безфункторного рекурсивного терма...".
Следует читать: "Список есть специальный вид двухарного безфункторного рекурсивного терма...".

2). Стр. 35. Табл.2.3 Строка 10.
Написано: "Y=8".
Следует читать: "Z=45".

3). Стр. 36. Предпоследняя строка.
Написано: "связанных переменные".
Следует читать: "связанные переменные".

4). Стр. 38. Последняя строка таблицы.
Написано: "неравно".
Следует читать: "не равно".

5). Стр. 46. Второе предложение сверху.
Написано: "...но он не будет его подтипом...".
Следует читать: "...он не будет его подтипом...".

6). Стр. 63. Второй абзац снизу.
Написано: "Другой пример — определение принадлежности переменной X заданному диапазону, например: 0<X<12:".
Следует читать: "Другой пример — определение принадлежности переменной X заданному диапазону, например: 0<=X<=12:".

7). Стр. 118. Последний абзац.
Написано: "Требуется найти все те точки, которые лежат выше горизонтальной прямой Y=3 и правее вертикальной прямой X=7".
Следует читать: "Требуется найти все те точки, которые лежат выше горизонтальной прямой Y=3 или правее вертикальной прямой X=7".

8 ). Стр. 135. Текст программы вверху страницы является повтором программы из предыдущего примера 11.4. Этот текст программы не читать.

9). Стр. 172. Третий абзац сверху.
Написано: "Свойство p(X) в коллекторе списков должно быть недетерминированным. Его роль могут выполнять предикаты и факты.".
Следует читать: "Свойство Р(X) может иметь любой режим детерминизма. Его роль могут выполнять предикаты и/или факты. Однако в случае, когда это свойство описывается предикатами с режимами детерминизма procedure, determ, erroneus или фактами с режимами детерминизма single, determ нет никакого смысла в использовании коллектора списка, так как собирать нечего. Список при указанных режимах будет либо пустым, либо содержать один элемент. Самый распространённый режим детерминизма предикатов и фактов в коллекторе списка это nondeterm и/или multi.".

10). Стр. 248. Второй пункт списка в параграфе 21.1.2.
Написано: "Потоку можно назначить максимальное время выполнения, по истечении которого поток будет прерван, если только до этого срока он не завершится самостоятельно. Для завершения потока по таймеру служит функция:
EventCode = Object:wait(Milliseconds)".
Следует читать: "Для определения момента завершения потока в течение заданного интервала времени служит функция:
EventCode = Object:wait(Milliseconds)
Время ожидания завершения задаётся в миллисекундах. Если поток в течении этого времени успешно завершится, то функция wait/1 вернёт wait_object_0 = 0, иначе вернёт wait_timeout = 0x00000102.".

11). Стр. 248 Третий пункт списка в параграфе 21.1.2.
Написано: "Для принудительного завершения потока служит предикат:
Object:terminate(ExitCode)
Значение ExitCode задает программист для того, чтобы определить причину принудительного завершения.".
Следует читать: "Для принудительного завершения "зависшего" потока служит предикат:
Object:terminate(ExitCode)
Этот предикат применяется только в случае, когда поток завис! Значение ExitCode задает программист для того, чтобы определить причину принудительного завершения.".

12). Стр. 249 Первый абзац следует дополнить предостережением: "Предикаты suspend и resume надо использовать крайне осторожно. Не допускается их использовать для синхронизации активных потоков, так как нет никакой возможности узнать какой именно код выполнялся потоком когда тот был приостановлен.".

13). Стр. 291, последняя строка.
Написано: "дер(лист,3,Прав) замещается его потомком - правым поддеревом Прав".
Следует читать: "дер(Лев,9,лист) замещается его потомком - левым поддеревом Лев".