Άσκηση 8: Ικανοποίηση Περιορισμών

• Main Authors: Σγάρμπας, Κυριάκος, Sgarbas, Kyriakos
• Format: 7
• Language: Greek
• Published: 2024

Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλο...