• [^] # Re: swi-prolog

    Posté par . En réponse au message Swi-prolog et gprolog. Évalué à 4.

    Comme je l'ai expliqué dans la deuxième solution, c'est possible en utilisant assert.

    Ce n'est pas un question de compilation, swipl est un interprêteur, c'est une question de différencier l'appel et la définition des prédicats/faits.

    Je ne vois pas en quoi éditer son fichier à côté puis le charger fait une usine à gaz, mais enfin...


    #swipl
    [...]
    ?- assert(aime(moi, musique)).
    Yes
    ?- aime(X, musique).
    moi ;
    No