Logique des prédicats

Velonzio Noeudefée a écrit:

Alors je préfère avL, une arité variable, mais qui serait précisé avant en préfixe pour ne pas confondre avec les arguments :

2add 2 3 -- 2manger Paul poulet -- 2add 2 2mul 3 4 -- 3et a b c

Puis bon pour ne pas confondre avoir des appellations préfixes arguments différentes

bi add 2 3 -- bi manger Paul poulet -- bi add 2 bi mul 3 4 -- tri et a b c

En préfixe ? Pourquoi pas...

Ma préférence naturelle est plutôt le Lisp : (add a b)
Mais celle de la plupart des êtres humains est la fonction : add(a,b)

PatrikGC a écrit:

J'envisage d'écrire un petit programme en Javascript qui dessine l'arborescence d'une séquence.

dès qu'on a besoin d'autre chose qu'un gosier ou d'un papier crayon, on s'handicape quelque peu...

odd a écrit:

PatrikGC a écrit:

J'envisage d'écrire un petit programme en Javascript qui dessine l'arborescence d'une séquence.

dès qu'on a besoin d'autre chose qu'un gosier ou d'un papier crayon, on s'handicape quelque peu...

Le plaisir d'écrire de la programmation, tu connais ?
De plus, ça permet de réaliser des arbos plus propres et sans rature, ni trait qui dépasse. 

Pour exemple, un ancien essai (capture d'écran sous Chrome) :

 
Ne pas chercher un sens, c'est juste pour vérifier si les blocs se dessinaient bien.

c'est une autre activité, non moins amusante...

mais comme les réseaux numériques elle réduit pas mal la production linguistique ou tout au moins la formate et la fige sur ces média...

nous même sommes très formatés par le côté propret de ce que l'on produit, loin des productions artistiques passées...

pourtant pour certaines conlingues, ce pourrait être un plus, je pense par exemple au UNLWS que je n'ai vu qu'à la main et difficilement lisible...