Ne man, bet kādam paziņam vajag izpalīdzēt studijās un izpildīt 5 uzdevumus no kādiem 15 uzdevumiem pēc izvēles un nopelnīt 100 latus. Darbs būtu vajadzīgs līdz aprīļa beigām.

Te ir piemērs vienam no uzdevumiem:

1. Uzrakstīt valodā PROLOG predikātu p(A,B,C,D,E,F), kas ir patiess tad un tikai tad, ja visi tā argumenti ir saraksti, pie tam:
- saraksts D satur visus tos un tikai tos saraksta A elementus, kas ir elementi arī sarakstā B;
- saraksts E satur visus tos un tikai tos saraksta A elementus, kas nav elementi sarakstā C;
- saraksts F satur visus tos un tikai tos saraksta A elementus, kas nav elementi ne sarakstā D, ne sarakstā E;
- katrs no sarakstiem D un E satur katru tajā iekļautu A elementu tik pat daudz reižu, kā sarakstā A;
- saraksts F satur katru tajā iekļautu A elementu trīs reizes vairāk, nekā šis elements ieiet sarakstā A;
- citu elementu sarakstos D, E un F nav.
Elementu secība sarakstos D, E un F var atšķirties no elementu secības sarakstā A. Komentēt katru izveidoto un katru izmantoto predikātu.

Risinājumā nav atļauts izmantot skaitļu un citu termu salīdzināšanas uz lielāks / mazāks un kārtošanas iespējas PROLOG vidē.

Risinājums iesniedzams .pl faila veidā, tam jāstrādā SWI Prolog vidē.
(8p)