Особенности логического вывода в пролог-программах
Автор: Тюрин С.Ф., Городилов А.Ю.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 3 (46), 2019 года.
Бесплатный доступ
Логический вывод может быть основан на методе резолюций, который предполагает доказательство от противного путем получения резольвент из исходного множества дизъюнктов. Если выводится пустой дизъюнкт (пустое множество), вывод считается правильным. Язык ПРОЛОГ, как язык логического программирования, базируется на первопорядковой логике предикатов. Однако имеются существенные отличия в процедурах вывода. В статье на конкретном примере рассматриваются особенности логического вывода, основанного на логике предикатов и логического вывода в программе на языке ПРОЛОГ.
Логический вывод, резольвента, дизъюнкт, программа
Короткий адрес: https://sciup.org/147245458
IDR: 147245458 | DOI: 10.17072/1993-0550-2019-3-91-97
Список литературы Особенности логического вывода в пролог-программах
- Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов: учебник. М.: ИНФРА-М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.
