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

• Κύριοι συγγραφείς: Σγάρμπας, Κυριάκος, Sgarbas, Kyriakos
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2024

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