Discussion:Prolog

message: L'exemple ne fonctionne pas du tout avec GNU Prolog.
* D'un part, les prédicats sont discontigus, mais j'ai cru comprendre que cela dépendait de l'implémentation ;
* D'autre part, gprolog ne supporte pas que les deux règles suivantes soient présentes simultanément :
  père(X,Y) :- parent(X,Y), mâle(X).
  parent(X,Y) :- père(X,Y).
En effet, dans ce cas, on obtient : 
* une infinité de résultats (toujours le même) en demandant le père ou le parent de quelqu'un ;
* une boucle infinie si trouver le père ou le parent est une étape ;
* un plantage dans certains cas.
L'exemple est-il donc vraiment faux, ou bien alors GNU Prolog est-il une mauvaise implémentation ?
:Je ne sais pas qui a rédigé l'article de dessus, mais j'ai rajouté Grammaire Générative... non, t'as mal lu, cet article est un extrait de:
 père(X,Y) :- parent(X,Y), mâle(X).
 mère(X,Y) :- parent(X,Y), femelle(X).
 parent(X,Y) :- père(X,Y).
 parent(X,Y) :- mère(X,Y).
Et
 parent(X,Y) :- père(X,Y).
 parent(X,Y) :- mère(X,Y).
implique un "ou" logique, soit le parent est le père, soit c'est la mère, c'est drôle, je connais cet exo mais rédigé autrement et je peux te l'assurer qu'il marche. Donc l'exemple n'est pas faux. J'ai corrigé l'oubli et/ou. Par contre je ne comprends pas cette histoire de miser(X)? 
Storm 23 aoû 2004 à 12:35 (CEST)
thread_title:  Problèmes avec l'exemple (partie évaluation) 

message: Bonjour,
Pendant plusieurs vérifications automatiques, et dans le cadre du projet correction des liens externes un lien était indisponible.
Merci de vérifier si il est bien indisponible et de le remplacer par une version archivée par Internet Archive si c'est le cas. Vous pouvez avoir plus d'informations sur la manière de faire ceci ici. Si le lien est disponible, merci de l'indiquer sur cette page, pour permettre l'amélioration du robot.  Les erreurs rapportées sont : 
* http://prologianet.univ-mrs.fr/societe/prolog.html
** Dans Prolog, le Fri Jan 27 20:07:35 2006, Socket Error: (110, "Connexion termin\xc3\xa9e par expiration du d\xc3\xa9lai d'attente")
** Dans Prolog, le Tue Jan 31 22:12:20 2006, Socket Error: (110, "Connexion termin\xc3\xa9e par expiration du d\xc3\xa9lai d'attente")
▪ Eskimbot ☼ 1 février 2006 à 00:25 (CET)
thread_title: Lien externe mort

message: Ce lien sur la page d'accueil d'Alain Colmerauer presente des information interressantes sur la creation de Prolog et ses differentes evolutions :
Page d'accueil d'Alain Colmerauer
Serait-il possible de l'ajouter dans la liste des liens ?
:Fait. - Eusebius [causons] 30 juillet 2007 à 11:49 (CEST)
thread_title:  Lien sur la page web d'Alain Colmerauer 

message: La partie sur les prédicats multiples me semble étrange : ni SWI-Prolog, ni GNU Prolog n'acceptent la syntaxe « a, b :- c. », il semblent qu'ils supposent que l'on essaie de redéfinir le prédicat ,/2. De plus, il est ensuite affirmé que ce qui suit n'est pas équivalent à « (a et b et c) si d », mais il me semble que si.
Spidermario (d) 24 mars 2010 à 15:21 (CET)
replies: text: La partie sur les prédicats multiples me semble effectivement fausse en général ; enlever ce paragraphe : il y a plus utile --Lf69100 (discuter) 6 juillet 2015 à 01:16 (CEST)
thread_title:  Prédicats multiples 

message: Les tooltips des pages non existantes s'affichent dans une langue cyrillique?
: Heiiiin ? Pas chez moi. Zandr4[Kupopo ?] 27 juillet 2012 à 06:21 (CEST)
thread_title:  Bug bizarre 

message: L'utilisateur habituel de Prolog, LISP et Haskell ne sera pas dérouté par cet article, mais je me demande si le lecteur curieux ne risque pas d'être dérouté par ce  mélange hétéroclite de concepts importants (la recherche, par exploration, d'une solution dans un buisson de contraintes) et de considérations tellement secondaires qu'elles en deviennent peut-être anecdotiques (l'usage des majuscules et des minuscules, et les caractères autorisés pour écrire une variable !). Peut-être l'article gagnerait-il à ce que soient exposés
* d'abord les idées fondamentales : explorer des solutions possibles sous contraintes spécifiées,
* et ensuite seulement les détails "administratifs", ou en tout cas arbitraires, qui sont utiles à la rédaction de ses premiers programmes, mais n'apportent rien à la compréhension du mécanisme Prolog, au contraire.
Cette deuxième partie pourrait alors être illustrée de l'écriture d'expresions Prolog pour fixer les idées. Bon, je sais que les conseilleurs ne sont pas les payeurs, alors le je tais et je vais au dodo ! :-) 82.226.27.88 (d) 23 février 2013 à 03:38 (CET)
thread_title:  Article important, mais mélangeant des informations très inégales 

message: # Prolog, plus grammatical que logique, a ses connecteurs non-commutatifs : "," signifie PUIS plutôt que ET ; ";" signifie SINON plutôt que OU.
# Evoquer la déclaration d'opérateurs, sur la base du nom, d'une priorité et d'une associativité ; cette possibilité facilite la modélisation, et permet des écritures pseudo-naturelles (langage de requête ou LRC).
# "Une particularité de Prolog est de ne pas donner de statut aux paramètres d'un prédicat, ce ne sont pas des paramètres 'donnés' ou 'résultats', ou même 'donnés/résultats', leur statut est indifférent et sera défini en fonction des requêtes utilisées." est un point très favorable à une exploitation relationnelle non directive. Mais de fait la norme ISO recommande le modage des paramètres ; certaines applications ayant dépassé 50'000 lignes, la fiabilité suppose que les flux d'informations (source->puits) soient contrôlables statiquement ; et certains prédicats prédéfinis étant modés par nature, tendent à moder ceux qui les emploient.
# la réification permet de simuler des aspects de l'ordre 2 
# la PLC mériterait son article, en termes de logique et d'efficacité
# quid du Prolog ISO ??
--Lf69100 (discuter) 6 juillet 2015 à 00:55 (CEST)
thread_title:  Remarques 

message: L'exemple donné était encombré de déclarations Turbo-Prolog sans être très probant.
Je le remplace par un exemple plus développé, testé en SWI Prolog, mis en mode déroulant.
Pour rester simple, je fais l'impasse sur les accords en genre et en nombre et sur les conjugaisons.
--Lf69100 (discuter) 23 mai 2016 à 18:41 (CEST)
thread_title:  Remplacement de 'grammaire générative' par 'applications grammaticales' 

message: Bonjour,
XSB, implémentation de Prolog, dispose sur la Wikipedia anglaise de son propre article, ayant dépassé le stade d’ébauche. Celui-ci figurait dans la liste 2013 des articles à traduire en français. 
Serait-il plus logique de disposer sur la Wikipedia française également d’un article spécifique ? ou d’enrichir une sous-section de l’article sur Prolog ?
A fortiori, le cas se pose aussi pour d’autres implémentations…
--Sukkoria (discuter) 4 avril 2016 à 14:42 (CEST)
thread_title:  Importance de XSB