Особенности логического вывода в пролог-программах
Автор: Тюрин С.Ф., Городилов А.Ю.
Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 3 (46), 2019 года.
Бесплатный доступ
Логический вывод может быть основан на методе резолюций, который предполагает доказательство от противного путем получения резольвент из исходного множества дизъюнктов. Если выводится пустой дизъюнкт (пустое множество), вывод считается правильным. Язык ПРОЛОГ, как язык логического программирования, базируется на первопорядковой логике предикатов. Однако имеются существенные отличия в процедурах вывода. В статье на конкретном примере рассматриваются особенности логического вывода, основанного на логике предикатов и логического вывода в программе на языке ПРОЛОГ.
Логический вывод, резольвента, дизъюнкт, программа
Короткий адрес: https://sciup.org/147245458
IDR: 147245458 | УДК: 51:33(075.8) | DOI: 10.17072/1993-0550-2019-3-91-97
Features of logical inference in prolog-programs
The logical conclusion is based on the resolution method, which assumes proof by contradiction by obtaining resolvents from the original set of clauses. If an empty clause is deduced (empty set), the conclusion is considered correct. The PROLOG language, as a logic programming language, is based on the first-order logic of predicates. However, there are significant differences in the withdrawal procedures. The article on a specific example discusses the features of logical inference, based on the logic of predicates and logical inference in a program in the language of PROLOG.
Список литературы Особенности логического вывода в пролог-программах
- Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов: учебник. М.: ИНФРА-М4Новосибирск: Изд-во НГТУ, 2008. 224 с.
- Морозенко В.В. Дискретная математика: учеб. пособие. Пермь, 2006. 226. Библиогр. С. 223-224. ISBN: 5-7944-0608-9
- Лавров И.А. Математическая логика: учеб. пособие для вузов / под ред. Л.Л. Максимовой. М.: Академия, 2006. 240. Библиогр.: 230 с. ISBN: 5-7695-2735-8
- Алябьева В.Г. Математическая логика. Пермь, 2017. ISBN 978-5-7944-2904-66. Библиогр.: с. 19-21, 110.
- Основы программирования на языке Пролог. Курс лекций: учеб. пособие / П.А Шрайнер. URL: http://www.stepanoff.info/lisp/materials/prolog. pdf (дата обращения: 13.04.2019).
- Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика. М.: Финансы и статистика, 2006. 357 с.
- Залогова Л.А. Формальное описание логического вывода в ПРОЛОГЕ // Вестник Пермского университета. Математика. Механика. Информатика. 2014. № 4(27). С. 84-91.
