Решете пъзел на миночистач, използвайки принудителни методи - PDF Безплатно изтегляне

Университет в Дебрецен Факултет по информатика Решаване на пъзел от миночистач с използване на принудителни методи Ръководител на метода: д-р László Aszalós Асистент Автор: István Szabó GI Bsc Debrecen 2010

принудителни

Съдържание 0. Въведение. 3 1. Езикът за програмиране Prolog. 4 1.1 Езици за програмиране. 4 1.2 История на езика Prolog. 5 1.3 Основни характеристики и синтаксис на Prolog. 6 1.4 Пример за пролог. 9 2. Методът за задоволяване на принудата. 10 2.1 Определение. 10 2.2 Проблеми със задоволяването на ограничения. 11 3. Представяне на CLP. 14 3.1 Лимитирано логическо програмиране. 14 3.2 Ограничения. 16 3.3 Семантиката на CLP. 18 3.4 SWI-Prolog CLPFD библиотека. 19 4. Задачата. 21 4.1 Представяне на Миночистача. 21 4.2 Формулиране на задачата. 22 4.3 Решаване на квадратната маса. 23 4.4 Решаване на шестоъгълната таблица. 26 4.5 Решаване на паркетната дъска. 31 5. Обобщение. 37 6. Литература. 38 Благодарности. 39 2