Bonjour !
 
Ce script est commun à trois programme nommés logname, logon, pname.
Bien que pname et logon soit différent, leur résultat est identique.
Cependant, pour ceux-là et logname, les résultats diffèrent.
 
En l'occurence de logname, Swi-Prolog répond "true." si l'argument passé au prédicat "is_name(nom)." est "nom" ou "Nom" car le dit prédicat trouvé dans la liste des prédicat Name est Name(nom) ; "false." si non.
Alors que logon et pname retourne alternativement l'argument  en tant qu'égalité supposé de la chaîne trouvée dans le prédicat Name.
 

name(logname).
is_name(V) :-
 name(V), !,
 write('Eureka')
; open('./error.txt', write, Stream),
close(Stream),
name(V), !,
write('').

 
Que signifi "logon = logon" et "Manuel = logon" et "Manuel = manuel" lorsque Name contient "manuel" ou "logon" ?
S'il vous plait ?
Merci.

Bonjour
Que veux-tu faire exactement ?
Si tu interroges is_name avec un mot qui commence avec une minuscule, ce mot est considéré comme un atome, et SWI-Prolog recherchera dant la base de données name si ce mot figure.
Si oui réponse true, sinon réponse false.
Maintenant, si tu interroges is_name avec un mot commençant par une majuscule, ce mot est considérer comme un variable qui sera unifiée avec le premier nom de la liste name, dans ce case logname.
Pour ta question sur les egalités je t(invites à réfléchir sur ce qui suit :

Enfin pourquoi ouvres-tu un fichier error.txt pour ne rien écrire dedans.
 
Je te propose un code, mais celui-ci peut ne pas correspondre à ce que tu recherches
 

Bonjour Trap D !
 
Libérons nous de la question la plus simple.
 

 
 
Le fichier erreur témoigne du résultat.
Je traite le résutat en lisant le répertoire courant.
Si le fichier erreur.txt est présent, je procède à une taritelent adapté ; Si non je termine le programme.

Désolé, je ne comprends pas ce mot

Tu peux utiliser la fonction, is_misspelling de Gnat. A moisn qu'elle soit dans Ada.    
 
Désolé ; Pardon ?
 
Traitement.

ADA connais pas, je ne peux t'aider (et encore ...) qu'en Prolog

Avec Ada, on peut appliquer la procédure To_Lower sur une chaîne de caractères, puis To_Upper sur un charactère pour adapter Une chaîne en majuscule afin d'obtenir le mot désiré avec une unique majuscule en début de mot.
Ce qui est agréable pour représenter un mot étant un prénom comme ici, Ada.
C'est gentil d'avoir contribuer au problème.
 
J'attends encore, de l'aide concernant le propos de ce topic.

Si ça peut t'aider voici un petit code Prolog qui met le premier caractère d'un atom en majuscule

Le rendu

Bonjour !
Merci Trap D.
C'est sympa de contibuer à la richesse de chacun.
 
Pour préciser ma question, relative au égalité évoquées dans mon message initial, je vais exposé les deux alternative correspondante à logame retournant pour sa pare true, ou false.
 
Le premier, peut-être de sémantique différente de sa variante est comme je l'ai exposé aussi dans mon premier message semsiblement différent de logname et voici l'appel à Swi-Prolog passé dans un appel de la fontion système importée avec Ada :
 

-- Ah, et bien ; Forum.Hardware.fr semble avoir supprimer la source convoitée.

C'est pas sympa d'avoir éffacer les sources de mon répertoire sur mon disque.
Entre les 50 tt que j'ai acquissé alors qu'il n'y avait pas demotivation rationnel à ces sanction, et votre obstination à poursuivre votre provocation consistant à me sanctionner encore avant de présenter vos excuse pour les mauvaise blague que celle ci porrait représenté malgrès constater que votre ambition est de nuire à la communauté par sanction et ici, un accès à un disque malgrès qu'il soit hors DMZ ; Je l'ai évoqué sur mon site.
 
L'automate que constitu forum.hardware.fr est alors comme ChatGPT identifié comme un dispositif ennemi.
 
L'algo applicant la thèse expsoant que pour répondre à uen question la supprimer suffise.
 
 
En l'occurence, il s'agissait d'appeler Swi-Prolog aletrnativement avec une chaine quelconque ou le nom du programme lui même.
 
Les égalité retournées en témoigaient la distinction avec le programme logname dont idenique au programme main publié dans la section Ada.
 
Merci quand même poru votre accueil ?
En vous souhaitant bonne chaîne.