Scribd Logo
Hochladen

Willkommen bei Scribd!

  • BConnaissance CastorPollux

    Hochgeladen von

    Dqdckjhbu
    10 Ansichten1 Seite

    Originaltitel

    BConnaissance_CastorPollux

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Verfügbare Formate

    PDF, TXT oder online auf Scribd lesen

    Stufen Sie dieses Dokument als nützlich ein?

    Sind diese Inhalte unangemessen?

    Dieses Dokument melden

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Als PDF, TXT herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    10 Ansichten1 Seite

    BConnaissance CastorPollux

    Hochgeladen von

    Dqdckjhbu

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Als PDF, TXT herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    von 1

    ; base de faits-------------------------------------------

    mere-de (Gaia, Cronos) ; Gaia est la mere de Cronos


    mere-de (Rhea, Zeus) ; Rhea est la mere de Zeus
    mere-de (Rhea, Hades) ; Rhea est la mere de Hades
    pere-de (Ouranos, Cronos) ; Ouranos est le pere de Cronos
    pere-de (Cronos, Zeus) ; Cronos est le pere de Zeus
    pere-de (Zeus, Pollux) ; Zeus est le pere de Pollux
    pere-de (Zeus, Helene) ; Zeus est le pere de Helene
    pere-de (Zeus, Castor) ; Zeus est le pere de Castor

    ; base de regles-------------------------------------------------
    1 SI pere-de (x, y) ALORS parent-de (x, y)
    2 SI mere-de (x, y) ALORS parent-de (x, y)
    3 SI parent-de (x, y) ∧ parent-de (x, z) ALORS frere-de (y, z)
    4 SI parent-de (x, y) ∧ parent-de (y, z) ALORS gd-parent-de (x, z)

    Das könnte Ihnen auch gefallen