Пролог основные вопросы

Question

Во-первых, что вы рекомендуете в качестве книги для изучения пролога. Во-вторых, есть ли простой способ загрузить сразу несколько файлов .pl? В настоящее время просто делаю по одному с ['name.pl'], но это раздражает делать это снова и снова. Я также использую это , чтобы учиться.

Спасибо

Answer 1

Во-первых, добро пожаловать в Пролог! Я думаю, вы найдете это полезным и приятным.

Рекомендованные мной книги: Искусство Пролога , Программирование Пролога и Положение и Эффект . У меня есть Art и Programming , и они оба прекрасные книги; Искусство определенно более энциклопедично, а Программирование более линейно. В последнее время я часто консультируюсь с Art и Craft , а также с некоторыми более странными (например, логическими грамматиками ). Я надеюсь купить Прологическое программирование в глубину дальше. Я не думаю, что есть много плохих книг по Прологу, которых следует избегать. Я бы, вероятно, сохранил Craft и Практику на потом.

Вы можете загрузить несколько файлов одновременно, перечислив их:

:- [file1, file2, file3].

ALso, так как name.pl оканчивается на .pl, вы можете опустить кавычки; одиночные кавычки действительно необходимы, только если Пролог обычно не считает заключенный атом атомом.

Надеюсь, это поможет и удачи в вашем путешествии. :)

Answer 2

Вы можете проверить этот вопрос .Там есть несколько хороших книг.

Answer 3

В SWI-Prolog также проверьте:

?- make.

для автоматической перезагрузки файлов, которые были изменены с момента обращения.

Answer 4

Если вы склонны к математическому введению, Логика, Программирование и Пролог (2ED) - интересная книга Нильссона и Малушинского.

Программирование на Прологе, автор Clocksin and Mellish, - классический вводный учебник.

Answer 5

Я не буду повторять классический выбор, уже упомянутый в других ответах, но я добавлю заметку о глубинном программировании Пролога Майкла Ковингтона, Дональда Нута и Эндрю Веллино.Две главы, которые я хотел бы выделить, - это главы отслеживание рук и допустимые правила .Первый показывает вам, как эффективно и полезно проследить вычисления Пролога на карандаше и бумаге.Последний показывает, как создать код Prolog, поддерживающий допустимые правила.В отличие от правил, к которым вы привыкли в Прологе, которые либо преуспевают, либо проваливаются напрямую и не подвержены влиянию чего-либо, не указанного в самом правиле, выполнимые правила могут преуспеть на информации, указанной в правиле, но могут быть нарушены другими правилами в базе знанийсделать выражение, которое, как правило, верным, но с исключениями, проще, но компактно и легко для понимания.Лучше говорится в книге «С другой стороны, выполнимое правило - это правило, которое не может быть применено к некоторым случаям, даже если эти случаи удовлетворяют его условиям, потому что некоторые знания в других частях базы знаний препятствуют его применению».

Это интригующая концепция, которую я не нашел в других книгах.

Answer 6

Это хорошее короткое вступление: http://www.soe.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf

Я также хочу сказать, что есть хороший PDF, ориентированный на swi, но я не могу его найти.