cours sur prolog

cours sur prolog

Documents
13 pages
Lire
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

ÙÙ"$ÙÙÚ !"#!&&"’’ ())*)*+),)-.!/* +"(0012-)&*)3)."’’ )4*.!5.6*7(, "’’ )7)8,99.6)78,)*).!):&+)-*77!&7,&."’’ *;)&&/,*)).*;)&&*&*))8(5*/(<7*)./8*/)7*/9)7*(),*)7 ,*973&. pere(alain, jeanne). pere(alain, michel). pere(michel, robert). mere(sylvie, robert). mere(sylvie, luc). pere(georges, sylvie). :- pere(alain, jeanne) "*= :- pere(alain, robert) :- pere(alain, X) X = michel ...

Sujets

Informations

Publié par
Nombre de visites sur la page 32
Langue Serbian
Signaler un problème
                    ! "#!             && "''   (   ))  *)  *  +)  ,  )-. !/  *     +"( 012- )  & *)3   )0 .  "''    )4 * .! 5   . 6*7  (,  "''   )7 ) 8,  9 . 6 )  7    8,   )  * )  . !  )   :& +  ) -   *7  7 !&7 ,&.  "''  * ;  )  && /,*  )).  * ;   )  &&  *& *  )) 8(  5  * /(<7  *)    .   /8  * /)7 * /9 )7 *  () ,*)7     ,*  97  3&   .     pere(alain, jeanne).  pere(alain, michel).  pere(michel, robert).  mere(sylvie, robert).  mere(sylvie, luc).  pere(georges, sylvie).     :- pere(alain, jeanne) "* =     :- pere(alain, robert)    :- pere(alain, X)   X = michel X = jeanne      :- mere(X, robert)   X = sylvie  :- mere(X, michel)    :- pere(michel, X), mere(sylvie, X)   X = robert  :- pere(alain, X), pere(X, robert)   X = michel  :- grand pere(alain, robert)  _    7 *  9 $     = !    "  !     #         "$ #% #  &   !     &  &     " 7 7  & +))  *)  * - = $ > + *3+?7>- Ù  + *3+>7@- Ú  3+>7@---  &*3+?7@-  / *  ) = " > + + *3+?7>- Ù *3+>7@-  &*3+?7@--                   Ù  + *3+?7>- Ù 3+>7@--  &*3+?7@---                                                  0  ) , )  7    & 7 ))  *97   ) /  / A   *7  / *9)  /9) $    /&  9  / ) 9    # $%%%  
 
"''  
    ! 3 9  )     "''7 )  9)   *)    ( = _  grand pere(X,Y) :- pere(X,Z), pere(Z,Y). _  grand pere(X,Y) :- pere(X,Z), mere(Z,Y). ' *  &    grand_pere =  :- grand pere(alain, robert)   _  :- grand pere(alain, X)   X = robert _  :- grand pere(X, robert)   X = alain _  X = georges   :- grand pere(X,Y)   X alain Y = robert = _ X = georges Y = robert      X = georges Y = luc  #) = _ grand pere(X,Y) B  0. *+?7>-7 *+>7@- 0.0. ?C7 >C<7 *+<7@- B ))  0.$.   *+)7@- B 7    0.D. ?C)7 >C(7 *+(7@- B ))  0.E. ?C&&7 >C87 *+87@- B )) $. *+?7>-7 +>7@- $.0. ?C7 >C<7 +<7@- B ))  $.$. ?C7 >C)7 +)7@- B ))  $.D. ?C)7 >C(7 +(7@- B ))  $.E.  !" +87@- B 7     #    $%$%& %'&      )  ))3 )4 *   )7   (.  = a, sylvie, 2000   "    )  ))3 )4 *   <)   F .  = X, A, _a, Sylvie, _       )7   (7   8( 9) ** 5    .  = X, a, f(a), a+3, 3+4    (    8(  *) +- ** 5   +* ; -  7  ,*  **  * ;   .  = p(a), q(X), pere(alain,Y), true  =    * 8   ()   *)   *3 .   # "'' 0       , )*   /   *9 +9)9-7 *  8( = 7 *  ,  &9 * *  &7   *  *.  = grand_pere(X,Y) :- pere(X,Z), pere(Z,Y).    :- pere(alain,Z), pere(Z,Y).  +) &- :- pere(alain,Y).  +) & -  /  *9  / *.  = pere(alain, jeanne).  +) *-                                                  0  ) * ** 5   9  )   ))  *)   $ 
# $%%%