Frage zu DLV

Hi Leute!

Ich hoffe, dass das hier der richtige Ort ist, um etwas über Datalog zu fragen:

Ich habe folgende Fakten:

verkauf(t1, brot).
verkauf(t1, milch).
verkauf(t2, brot).
verkauf(t2, cola).
verkauf(t2, servietten).
verkauf(t3, chips).
verkauf(t3, brot).
verkauf(t3, fisch).
verkauf(t3, milch).
verkauf(t4, fisch).
verkauf(t4, bier).
verkauf(t4, teller).
verkauf(t5, milch).
verkauf(t5, teller).

Nun soll ich Regeln erstellen, welche die Anzahl der verkauften Produkte je Transaktion bestimmt. Bei Transaktion t1 wäre das 2, bei t2 ist es 3 usw.

Das Problem ist, dass ich nicht weiß, ob es in Datalog eine count() - Funktion oder sowas gibt. Kann mir da eventuell wer helfen?

Vielen Dank!

Wow, nicht übel Spinball, vielen Dank

Ok, jetzt noch eine Frage. Mir fehlt noch eine Aufgabe:

kategorie(lebensmittel).
kategorie(getraenke).
kategorie(haushaltsartikel).

artikel(chips, lebensmittel).
artikel(brot, lebensmittel).
artikel(milch, lebensmittel).
artikel(fisch, lebensmittel).
artikel(cola, getraenke).
artikel(mineralwasser, getraenke).
artikel(bier, getraenke).
artikel(servietten, haushaltsartikel).
artikel(messer, haushaltsartikel).
artikel(teller, haushaltsartikel).

verkauf(t1, brot).
verkauf(t1, milch).
verkauf(t2, brot).
verkauf(t2, cola).
verkauf(t2, servietten).
verkauf(t3, chips).
verkauf(t3, brot).
verkauf(t3, fisch).
verkauf(t3, milch).
verkauf(t4, fisch).
verkauf(t4, bier).
verkauf(t4, teller).
verkauf(t5, milch).
verkauf(t5, teller).

transaktion(t1).
transaktion(t2).
transaktion(t3).
transaktion(t4).
transaktion(t5).

"Berechnen Sie die Relation der 'High-Performer' Kategorien. 'High-Performer' Kategorien sind jene, in denen alle Artikel bereits einmal verkauft wurden."

Ich weiß, dass ich alle Artikel mit denen in der "verkauf" Relation vergleichen muss. Ich weiß nur beim besten Willen nicht, wie das in Datalog geht.

Könntest du mir da nochmal bitte einen Tipp geben?

Dankeschön

Wunderbar, vielen Dank