Rezolvați un puzzle cu minele folosind metode coercitive de satisfacție

Universitatea din Debrecen Facultatea de Informatică Rezolvarea unui puzzle de mina cu ajutorul metodelor coercitive Supervizor metodă: Dr. László Aszalós Profesor asistent Autor: István Szabó GI Bsc Debrecen 2010

minele

Cuprins 0. Introducere. 3 1. Limbajul de programare Prolog. 4 1.1 Limbaje de programare. 4 1.2 Istoria limbajului Prolog. 5 1.3 Principalele caracteristici și sintaxa Prolog. 6 1.4 Exemplu Prolog. 9 2. Metoda satisfacerii constrângerii. 10 2.1 Definiție. 10 2.2 Probleme de satisfacție a constrângerilor. 11 3. Introducerea CLP. 14 3.1 Limitarea programării logice. 14 3.2 Limitări. 16 3.3 Semantica CLP. 18 3.4 Biblioteca SWP-CL a SWI-Prolog. 19 4. Sarcina. 21 4.1 Introducerea Minesweeper. 21 4.2 Formularea sarcinii. 22 4.3 Rezolvarea tabelului pătrat. 23 4.4 Rezolvarea tabelului hexagonal. 26 4.5 Rezolvarea plăcii de parchet. 31 5. Rezumat. 37 6. Referințe. 38 Mulțumiri. 39 2

Exemplu de stabilire a obiectivelor:? - mamă (x, Judit), mamă (x, Gergő). Înțeles: există o persoană X care este mama lui Judit și Gergő, la fel și frații Gergő și Judit? 1.4 Exemplu Prolog După descrierea teoretică, să analizăm structura unui cod sursă Prolog. rulează: - scrieți (introduceți temperatura în grade Celsius '), citiți (c), deschideți (c, f), scrieți (temperatura'), scrieți (f), scrieți ('Fahrenheit), nl, avertizați (f, avertizează), scrie (avertizează). atvalt (cel, Fahr): - Fahr, de asemenea, 9,0/5,0 * Cel + 32. avertizează (T, 'Ferește-te, este foarte cald): - T> 90. avertizează (T, Ferește-te, este foarte frig!'): = 30, T = B este scris ca o constrângere #> B. Prin constrângere (A # = 3 \/B #> C-2) înțelegem condiția (A = 3 sau B> C-2). Un exemplu de astfel de constrângere este all_different (l), care stipulează că elementele listei L sunt diferite. 16

pentru rezolvarea sarcinilor de distribuție. Majoritatea declarațiilor din bibliotecă sunt constrângeri de domeniu finit în gama de numere întregi. De asemenea, acceptă operații aritmetice clasice, precum și funcții de valoare minimă, maximă, modul și valoare absolută. Cele mai importante constrângeri de domeniu finit: Kif1 #> = Kif2 Kif1 # = Kif2 Kif1 #