Пробуждению у меня интереса к языку Prolog я обязан Дональду Мичи (Donald Michie). Я очень благодарен Лоренсу Берду (Lawrence Bvrd), Фернандо Перейре (Fernando Pereira) и Дэвиду Г. Д. Уоррену (David H. D. Warren), которые в свое время входили в состав группы разработчиков Prolog в Эдинбурге, за их советы по программированию и интересные дискуссии. Книга стала намного лучше под влиянием комментариев и предложений к предыдущим изданиям Эндрю Макгеттрика (Andrew McGettrick) и Патрика Г. Уинстона (Patrick H. Winston). Из числа тех, кто прочитал отдельные части рукописи и внес существенные комментарии, хочу особо отметить Дамиана Бояджиева (Damjan BojadJiev), Рода BpaRcxov (Rod Bristow), Питера Кларка (Peter Clark), Франса Кенена (Frans Coenen), Дэвида К. Додсона (David С, Dodson), Сашо Джероски (SaSo Dzeroski), Богдана Филипича (Bogdan Filipic), Вана Фоккинка (Wan Fokkink), Матьяжа Гамса (Matja* Gams), Питера Г. Гринфилда (Peter G. Greenfield), Марко Гробелника (Marko Grobelnik), Криса Хинде (Chris Hinde), Игоря Кононенко (Igor Kononenko), Матевжа Ковачича (Matevi Kovaiie), Эдуардо Моралеса (Eduardo Morales), Игоря Можетича (Igor Мо2еШ), Тимоти Б. Ниблетта (Timothy В. Niblett), Душана Петерца (DuSan Peterc), Уроша Помпе (UroS Pompe), Роберта Родо-шека (Robert RodoSek), Агату Сахе (Agata Saje), Клода Саммю (Claude Sammut), Сима Сэя (Cem Say), Ашвина Сринивасана (Ashwin Srinivasan), Дориана Сью (Dorian Sue), Питера Тансига (Peter Tancig), Таню Урбанчич (Tanja Urbanttc), Марка Уоллеса (Mark Wallace), Уильяма Уолли (William Wei ley), Саймона Уэйлгани (Simon Weilguny), Блажа Зупана (Blaz Zupan) и Дарко Зупанича (Darko ZupaniC). Выражаю особую признательность Симу Сэю за то, что он проверил значительную часть программ и преподнес мне ценный подарок, обнаружив скрытые ошибки. Некоторые читатели, особенно Г. Улснам (G. Oulsnam) и Изток Тврды (Iztok Tvrdy), помогли выявить ошибки в предыдущих изданиях. Хочу также поблагодарить Карен Моемая (Karen Mosman), Джули Найт (Julie Knight) и Карен Саэерленд (Karen Sutherland), сотрудников издательства Pearson Education, за их плодотворную работу в процессе подготовки этой книги. Саймон Пламтри (Simon Plumtree) и Дебра Майзон-Этерингтон (Debra Myson-Etherington) внесли большой вклад в предыдущие издания. Основная часть иллюстраций была подготовлена Дарко Симершеком (Darko SimerSek). И, наконец, хочу отметить, что эта книга не могла бы появиться в свет без стимулирующего влияния творческой деятельности всего международного сообщества специалистов по логическому программированию.
Издательство Pearson Education выражает свою признательность корпорации Plenum Publishing Corporation за полученное разрешение воспроизвести материал, аналогичный приведенному в главе 10 книги Human and Machine Problem Solving (1989).К. Gilhooly (ed.).
Иван Братко Январь 2000 года
Предисловие