🚀 go-pugleaf

In article <92276.202706COMTET@FRECP12.BITNET> COMTET@FRECP12.BITNET writes:
>Recently I had courses in languages such as Prolog and Lisp. The beginning of t
>he course was an attempt to describe comprehensively all logic languages. There
>are some terms that I didn't quite understand such as :
>logic of the first order

Explication simpliste: les propositions mathematiques sont codees par
des termes, exemple : qqsoit  X ilexiste Y telque  p(X,Y) ou non p(Y,X).
si les quantificateurs portent sur des symboles 'de base' on est au premier
ordre, si ils portent sur l'existence d'une fonction telle que gnagna, 
on est a un ordre superieur. 
Voir bouquin d'algebre universelle, genre Burris and Sankapannavar,
ou Gratzer, ou ....
>Horner's clause ( or assertion)

de HORN ! pas a confondre avec le schema de horner pour l'evaluation
des polynomes, ni l'accordeoniste minuscule.

>Could somebody give me either the meaning of those words or give me references
>about suchsubjects (books or articles)?

reference classique sur prolog: clocksin et mellish
Bouquin de R Lallement (sp ?) Logique, reduction et deduction, chez MASSON
Il y a plusieurs bouquins sur l' "automated reasoning" (ou deduction)
dont un des co-auteurs est z. manna, et qui sont facile a lire, et dont
le titre m'echappe. (cette phrase est une clause du premier ordre !)

M Billaud

-- 
Michel BILLAUD                 :  billaud@geocub.greco-prog.fr
Departement d'Informatique     :  phone W: 56.84.57.92  // 56.84.69.22
IUT "A", Universite Bordeaux I :  "Personne n'est exempt de dire des sottises.
33405 Talence  (FRANCE)        :   Le malheur est de les dire curieusement"