Discussion :

[Jere15]

Bonjour!

Je suis débutant en prolog, et j'aimerais savoir s'il est possible de résoudre ce genre de problème.

Premièrement, j'aimerais représenter N éléments (N étant abstrait, compris en 0 et l'infini; donc pas juste une liste)

Deuxièmement, j'aimerai représenter le fait que si une condition C est vrai, alors on exécute une règle R qui enlève 1 élément.

Ainsi, si on exécute M fois la règle R (M<=N), on aura N-M éléments restants. Si on exécute la règle N fois, alors on a 0 élément restant.

Peut-on coder ce genre de raisonnement en prolog? (Si non, quel langage me recommandez vous? )

Merci!

[Trap D]

Premièrement, j'aimerais représenter N éléments (N étant abstrait, compris en 0 et l'infini; donc pas juste une liste)

En Prolog, les varaibles ne sont pas typées, on peut y mettre n'importe quoi, donc on peut créer une liste de N éléments. Ce qui m'inquiète par contre c'est "infini". Tu es limié aux capacités de ta machine.

j'aimerai représenter le fait que si une condition C est vrai, alors on exécute une règle R qui enlève 1 élément.

Aucun problème, on peut enlever un élément quelconque d'une liste, le plus simple étant bien entendu l'élément de tête.

[Jere15]

Merci pour la réponse.

Oui l'infini est un problème. Je veux travailler sur le concept d'infini, comme on peut l'exprimer en mathématique. Par exemple, l'ensemble des entiers pairs positifs que je note E. Je note n le nombre d'élément de E.

Si j'enlève un élément à E, alors il m'en reste n-1 (qui est toujours infini)

Je ne veux pas stocker chaque nombre dans une liste, je veux juste avoir le concept d'ensemble, et pour voir travailler dessus. (En quelque sorte)

[Trap D]

Il faudrait un peu détailler tes problèmes et poser éventuellement la question sur le forum Algo de DVP.