Based on this specification, one can define a function that satisfies this specification by employing logic programming features.
Pe baza acestei specificații, se poate defini o funcție care să satisfacă această specificație utilizând funcții de programare logică.