Λογικός Προγραμματισμός με Περιορισμούς

Abstract

Ο λογικός προγραμματισμός με περιορισμούς, αποτελεί μια από τις πιο πετυχημένες επεκτάσεις του λογικού προγραμματισμού, με εφαρμογή σε πλήθος βιομηχανικών προβλημάτων, όπως για παράδειγμα προβλήματα χρονοπρογραμματισμού. Το κεφάλαιο παρουσιάζει σύντομα το ορισμό των προβλημάτων ικανοποίησης περιορισμών, καθώς και έννοιες όπως εκείνη της εφαρμογής περιορισμών σε πεδία μεταβλητών. Αναφέρεται το πως επιλύονται τέτοιου είδους προβλήματα με εφαρμογή αλγορίθμων διήθησης περιορισμών και αναζήτηση. Χρησιμοποιώντας μια καθιερωμένη πλατφόρμα προγραμματισμού περιορισμών (ECLiPSe) και των βιβλιοθηκών που προσφέρει, παρουσιάζονται πλήθος παραδειγμάτων συνδυαστικών εφαρμογών, όπως είναι ο χρονοπρογραμματισμός και η ανάθεση πόρων, δείχνοντας έτσι στον αναγνώστη το πως ο λογικός προγραμματισμός αποτελεί κατάλληλη πλατφόρμα για την ανάπτυξη τέτοιων προγραμμάτων.

Constraint Logic Programming (CLP) is one of the most successful extensions of logic programming, with applications in numerous industrial problems, such as scheduling issues. The chapter briefly presents the definition of constraint satisfaction problems, as well as concepts like the application of constraints to variable domains. It explains how such problems are solved using constraint filtering algorithms and search techniques. Using a well-established constraint programming platform (ECLiPSe) and its libraries, many examples of combinatorial applications are demonstrated, such as scheduling and resource allocation, thereby showing the reader how logic programming serves as a suitable platform for developing such programs.