Deklaratywne programowanie logiczne oparte na semantyce modeli stabilnych; problemy kombinatoryczne zapisuje się jako reguły, a rozwiązania to zbiory odpowiedzi.
Declarative logic programming based on stable-model semantics; combinatorial problems are written as rules and solutions are answer sets.
Opisujesz, jak ma wyglądać dobre rozwiązanie i czego nie wolno, a program sam znajduje wszystkie pasujące warianty.
You describe what a good solution looks like and what is forbidden, and the program finds every fitting option.
Układanie grafików, konfiguracji i planów z dziesiątkami warunków ręcznie albo zwykłym kodem jest żmudne i pełne pomyłek.
Building rosters, configurations and plans with dozens of conditions by hand or in ordinary code is tedious and error-prone.
Jak ogłoszenie z wymaganiami zamiast instrukcji: mówisz „każdy dyżur obsadzony, nikt dwa razy z rzędu”, a solwer szuka układów.
Like a job ad listing requirements instead of instructions: 'every shift covered, nobody twice in a row', and the solver searches layouts.
Szpital układa miesięczny grafik pielęgniarek z urlopami i zasadami odpoczynku, a program podaje gotowe, zgodne z regułami warianty.
A hospital builds a monthly nurse roster with holidays and rest rules, and the program offers ready options that obey them.