Paradygmat deklaratywny: program to zbiór klauzul logicznych, a obliczenie to wnioskowanie (rezolucja, punkt stały lub modele stabilne).
Declarative paradigm: a program is a set of logical clauses and computation is inference (resolution, fixpoint or stable models).
Programowanie przez opisanie faktów i reguł zamiast kroków; komputer sam dochodzi do odpowiedzi, wyciągając wnioski.
Programming by stating facts and rules instead of steps; the computer reaches answers by drawing conclusions itself.
Zasady biznesowe, przepisy i łamigłówki z wieloma warunkami trudno zakodować krok po kroku bez gubienia przypadków.
Business rules, regulations and puzzles with many conditions are hard to code step by step without missing cases.
Podajesz jak w podręczniku: kto jest czyim rodzicem i kim jest dziadek, a system sam znajduje wszystkich dziadków.
You state, as in a textbook, who is whose parent and what a grandparent is, and the system finds every grandparent itself.
System kadrowy z zapisanych reguł urlopowych sam wylicza, komu przysługuje dodatkowy dzień wolny.
An HR system works out from written leave rules who is entitled to an extra day off.