Frage zu DLV

Hallo zusammen,

das Informatik-Forum geht in den Archivmodus, genaue Informationen kann man der entsprechenden Ankündigung entnehmen. Als Dankeschön für die Treue bekommt man von uns einen Gutscheincode (informatikforum30) womit man bei netzliving.de 30% auf das erste Jahr sparen kann. (Genaue Infos sind ebenfalls in der Ankündigung)

Vielen Dank für die Treue und das Verständnis!

    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!

    Die Lösung lautet

    Code
    summe(T,S) :- #count{X : verkauf(T,X)} = S, verkauf(T,_).

    summe(T,S) enthält nun die Menge

    Code
    {summe(t1,2), summe(t2,3), summe(t3,4), summe(t4,3), summe(t5,2)}

    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 :)

    Zitat von enne87

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

    Berechne dir pro Kategorie wie viele Artikel es gibt und wie viele schon verkauft wurden. Wenn die Werte gleich sind ist es eine High-Performance-Kategorie. ;)