Discussion :

[nschoe]

Bonsoir (ou bonjour) à tous,

Tout d'abord un petit merci pour celles et ceux qui prennent la peine/le temps de lire mon post (ça fait pas de mal de remercier ^^). Juste un mot aux modérateurs : je ne savais pas trop où poster, comme à l'origine je souhaite parler de Prolog, j'ai posté ici, mais je comprendrais s'il y a besoin de déplacer.

Venons en aux faits. J'ai lu l'initiation à Prolog présente sur ce site, et j'avoue avoir du mal à comprendre certaines choses, et désireux d'informations supplémentaires qui me permettraient de comprendre mieux à ma prochaine relecture de ladite initiation, j'ai tappé "bêtement" "Prolog" sur Wikipedia : http://fr.wikipedia.org/wiki/Prolog. Je commence ma lecture et je vois la phrase :

Prolog est basé sur le calcul des prédicats du premier ordre

Je fais le "raisonnement" suivant : si Prolog est basé sur ce principe, c'est que ce principe est (très) important, et donc qu'il faut le comprendre avant même d'envisager de comprendre Prolog.

Je clique donc joyeusement sur le lien, pour tomber sur la page : http://fr.wikipedia.org/wiki/Calcul_..._premier_ordre. Bon ... j'ai lu la page en entier il est vrai, je ne peux en dire autant sur la compréhension ... Et là, j'ai besoin que l'on me rassure : est-ce que la notion de "calcul des prédicat du premier ordre" est une notion exigeant des acquis (en mathématique par exemple) de haut niveau (je suis en Terminale S) ? Est-ce que Wikipedia explique mal (très peu probable) ? Est-ce que (il faut le dire si c'est le cas) je manque de facultés intellectuelles et il n'est pas normal que je ne comprenne pas tout ?

Mais là je m'inquiète, parce qu'après la lecture de cette page, je ne suis pas plus avancé quant à ce qu'est le "calcul des prédicat du premier ordre", et je ne sais d'ailleur pas non plus ce qu'est un prédicat "du premier ordre" par rapport à un prédicat "d'ordre supérieur" ...

Alors si je suis à même de comprendre, alors que je n'ai pas compris avec Wikipedia, y aurait-il une âme charitable (et courageuse !) qui pourrait ou me donner des liens vers des articles plus explicites et/ou simples de compréhension, ou s'atteler à la tâche d'essayer de m'expliquer un peu ce qu'est finallement ce "calcul des prédicats du premier ordre".

__________

Un grand merci aux lecteurs de ce post, et un autre grand merci à celles et ceux qui prendront la peine/le temps de m'aider, ne serait-ce qu'un peu.

[millie]

Déplacé dans le forum Algorithmes car la question fait plus référence à la théorie du calcul des prédicats qu'à prolog.

Ca dépend ce que tu entends par acquis mathématique ?
Mais dès que tu fais un peu de théorie de ce genre, il te faudrait au moins voir un peu de théorie des langages, bien connaître tout ce qui est notation mathématiques (symbole il existe, pour tout etc.), calcul des propositions ( http://fr.wikipedia.org/wiki/Calcul_des_propositions )

Mais ce ne sont pas des notions que tu vois en maths sup, maths spé si ça peut te rassurer

Pour bien comprendre tout ce qui est : formule close, prédicats, variables libres, j'aurais tendance à conseiller de voir les systèmes de preuves formelles, mais c'est peut être assez compliqué en TermS.

Enfin, je pense qu'il est possible de faire du prolog sans avoir compris exactement la notion de logique du premier ordre.

[pseudocode]

Pour bien comprendre tout ce qui est : formule close, prédicats, variables libres, j'aurais tendance à conseiller de voir les systèmes de preuves formelles, mais c'est peut être assez compliqué en TermS.

Les "clauses de Horn" et les "règles d'inférences" ça devrait suffire pour apprivoiser Prolog dans un premier temps. Du moins pour les cas usuels.

[millie]

Les "clauses de Horn" et les "règles d'inférences" ça devrait suffire pour apprivoiser Prolog dans un premier temps. Du moins pour les cas usuels.

Oui, je parlais juste de la notion de "prédicats du premier ordre" etc. On peut faire du prolog sans comprendre ça (d'aillleurs, j'en ai fait, et j'ai compris tout ce qui va avec que bien après )

[Zavonen]

Alors si je suis à même de comprendre, alors que je n'ai pas compris avec Wikipedia, y aurait-il une âme charitable (et courageuse !) qui pourrait ou me donner des liens vers des articles plus explicites et/ou simples de compréhension, ou s'atteler à la tâche d'essayer de m'expliquer un peu ce qu'est finallement ce "calcul des prédicats du premier ordre".

Avant de te lancer dans tout cela je te propose la lecture de mon module 'Bases des mathématiques' (voir mon site) comprenant un chapitre intitulé 'logique' et contenant le calcul des prédicats, sous une forme 'soft'. Après tu pourras te lancer dans les articles spécialisés qui ne sont pas pour débutants.

[nschoe]

Je vous remercie de vos réponses.
Donc il va falloir que je bosse plus en Maths, ça tombe bien, j'aime ça !

@Zavonen : je vais de ce pas aller lire votre site, en effet.

@pseudocode : je vais aller lire des trucs là-dessus et je vais essayer de comprendre.

@millie : vous dites que l'on peut faire du Prolog sans comprendre tout ça ... c'est possible, mais ça me gène un peu dans la mesure ou je n'aime pas trop faire quelque chose "parce que ça marche", mais j'aime comprendre "pourquoi" et "comment" ça marche.
Est-ce que faire du Prolog sans comprendre les prédicats n'est pas aussi génant que faire du C sans savoir ce qu'est une variable (au point de vue de la mémoire je parle) ?

Bref tout ça m'inquiète, car je me dis que en TermS j'ai déjà perdu pas mal de temps pour trouver dans quel domaine de l'info je voulais travailler, je n'ai que partiellement répondu à cette question en "choisissant" l'I.A., mais ça reste encore très vaste, et donc je me dis que maintenant faut que je fasse vite pour rattrapper le niveau, et si je ne suis même pas capable d'apprendre Prolog ... comment je vais faire ...

[pseudocode]

Est-ce que faire du Prolog sans comprendre les prédicats n'est pas aussi génant que faire du C sans savoir ce qu'est une variable (au point de vue de la mémoire je parle) ?

hum... en terme d'analogie je dirais que faire du Prolog sans comprendre les "prédicats du premier ordre", c'est comme faire du C sans comprendre les "machines de Turing".

Ce n'est donc pas foncièrement indispensable pour faire un programme (le "comment") mais c'est necessaire pour appréhender la théorie (le "pourquoi").

[souviron34]

hum... en terme d'analogie je dirais que faire du Prolog sans comprendre les "prédicats du premier ordre", c'est comme faire du C sans comprendre les "machines de Turing".

Ce n'est donc pas foncièrement indispensable pour faire un programme (le "comment") mais c'est necessaire pour appréhender la théorie (le "pourquoi").

et en particulier la (non)gestion de la mémoire

[Trap D]

Ce que je vais dire est purement mon avis personnel, je n'ai pratiquement aucune base théorique en Prolog que j'ai appris tout seul et en lisant un excellent livre "The Art of Prolog" de Sterling et Shapiro.
Je dirais qu'il n'est absolument pas nécessaire de connaître la logique du premier ordre pour faire du Prolog.
La logique du premier ordre, le calcul des prédicats intervient dans la manière qu'a Prolog pour résoudre les problèmes que le programmeur lui expose. A la limite, le programmeur n'en a rien à faire de cette logique. Bien sûr c'est mieux qu'il la connaîsse pour bien écrire ses prédicats et comprendre comment fait Prolog mais ce n'est pas nécessaire.

et en particulier la (non)gestion de la mémoire

Il faut s'occuper de la mémoire dans certains programmes car les liste par exemple sont très gourmandes en mémoire et une mauvaise conception peut faire que le programme plante pour cause de manque de place.

[souviron34]

Il faut s'occuper de la mémoire dans certains programmes car les liste par exemple sont très gourmandes en mémoire et une mauvaise conception peut faire que le programme plante pour cause de manque de place.

je sais je parlais par expérience

Je ne me souvenais plus, mais effectivement c"était les listes (j'ai fait ça il y a 14 ans).

Plantage assuré, et pas juste du prog, mais de l'ordi (unix), car remplissage du HD