Adobe PDF
(677.93 kB)
| Title Details: | |
|
Exercise 8: Constraint Satisfaction |
|
| Authors: |
Sgarbas, Kyriakos |
| Description: | |
| Abstract: |
In this exercise Prolog is used to solve constraint satisfaction problems (logic circuits, eight queens, crypto-arithmetic problems). Techniques for quickly pruning the search tree to display search results more quickly are considered. Finally, Sudoku puzzles are solved in the same way and an example of solving by metaprogramming is presented.
|
| Linguistic Editors: |
Sarafidis, Michail |
| Technical Editors: |
Papadogonas, Ioannis |
| Type: |
Chapter |
| Creation Date: | 02-05-2024 |
| Item Details: | |
| License: |
Attribution - NonCommercial - ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| Handle | http://hdl.handle.net/11419/13279 |
| Bibliographic Reference: | Sgarbas, K. (2024). Exercise 8: Constraint Satisfaction [Chapter]. In Sgarbas, K. 2024. Artificial Intelligence Laboratory Exercises with the Prolog Language [Laboratory Guide]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/13279 |
| Language: |
Greek |
| Is Part of: |
Artificial Intelligence Laboratory Exercises with the Prolog Language |
| Publication Origin: |
Kallipos, Open Academic Editions |