cours sur prolog

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 ...

Informations

• Publié par: Nuther
• Nombre de lectures: 32
• Langue: Serbian

Extrait

                     
!  "#!                    &&  "''
  (   ))  *)  *  +)   ,  )-. !/  *      +"(  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 ))  *97   )  /  / 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 >C87 *+87@- B ))  $. *+?7>-7 +>7@-  $.0. ?C7 >C<7 +<7@- B ))   $.$. ?C7 >C)7 +)7@- B ))   $.D. ?C)7 >C(7 +(7@- B ))   $.E. 
 
!"  +87@- 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  )   ))  *)    $ 

# $%%%