[16:21:30] <jean_ledruide>
La logique c'est inné
C'était sur qu'un abrutit allait balancer ça alors que l'op parle de la matière logique pas de la logique en elle même

Le 26 avril 2021 à 16:23:54 :
Le 26 avril 2021 à 16:23:06 :
Bah Prolog c'est des clauses de Horn, donc c'est bien d'avoir des notions de logique quand mêmeDes notions oui, mais pourquoi autant de théories à côté
![]()
Personne y comprend quoi que ce soit![]()
Si tu veux être à l'aise avec la logique de premier ordre, et donc construire des programmes en Prolog cohérents (sans backtracking horrible, sans coupures débiles, etc.) faut vraiment comprendre la structure des prédicats ; et pour ça il faut en travailler beaucoup
tu verras que c'est super utile en fait, même si ça parait débile et inutile au premier abord 
Le 26 avril 2021 à 16:26:10 :
Le 26 avril 2021 à 16:23:54 :
Le 26 avril 2021 à 16:23:06 :
Bah Prolog c'est des clauses de Horn, donc c'est bien d'avoir des notions de logique quand mêmeDes notions oui, mais pourquoi autant de théories à côté
![]()
Personne y comprend quoi que ce soit![]()
Si tu veux être à l'aise avec la logique de premier ordre, et donc construire des programmes en Prolog cohérents (sans backtracking horrible, sans coupures débiles, etc.) faut vraiment comprendre la structure des prédicats ; et pour ça il faut en travailler beaucoup
tu verras que c'est super utile en fait, même si ça parait débile et inutile au premier abord
J'essaie de vraiment bien comprendre, en plus c'est le 2ème plus gros coeff du semestre
Mais c'est galère
Le 26 avril 2021 à 16:22:17 :
[16:21:30] <jean_ledruide>
La logique c'est innéC'était sur qu'un abrutit allait balancer ça alors que l'op parle de la matière logique pas de la logique en elle même
Et toi tu feed, avortin 
Le 26 avril 2021 à 16:27:49 :
C'est quoi c'est de l'info ?
L'info c'est pas juste faire des sites web en JavaScript
pour ça un IUT suffit 
JvArchive compagnon