Анотація: В пропонованому дослідженні представлено формально-логічний підхід ефективного управління множиною обмежень засобами абстрактного логічного програмування з обмеженнями.

Теги: , , , , ,