IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Index du forum

Recherche:

Type: Messages; Utilisateur: Trap D

Recherche: Recherche effectuée en 0,02 secondes.

  1. Votes reçus
    +0 -0
    Réponses
    10
    Affichages
    1 322

    La dernière version stable est la 6.2.0 (depuis...

    La dernière version stable est la 6.2.0 (depuis quelques jours je crois ) ;)
  2. Votes reçus
    +0 -0
    Réponses
    10
    Affichages
    1 322

    C'est laquelle, la dernière version stable ou une...

    C'est laquelle, la dernière version stable ou une de développement (6.1.13 pour moi) ?
  3. Votes reçus
    +0 -0
    Réponses
    10
    Affichages
    1 322

    Oui, en fait ce que je proposais était : ...

    Oui, en fait ce que je proposais était :

    greater_than(0, 0).
    greater_than(succ(_A), 0).

    greater_than(succ(A), succ(B)) :-
    greater_than(A, B).
    qui est un greater_than. Mais ça ne change rien...
  4. Votes reçus
    +0 -0
    Réponses
    10
    Affichages
    1 322

    Je ne comprends pas ce que tu veux dire :oops:

    Je ne comprends pas ce que tu veux dire :oops:
  5. Votes reçus
    +0 -0
    Réponses
    10
    Affichages
    1 322

    Il me semble que c'est greater_than(succ(_),...

    Il me semble que c'est
    greater_than(succ(_), 0). non ?
Affichage des résultats 1 à 5 sur 5