Prolog
                                   -=-=-=-=

         "Logic and practical information do not seem to apply here."
                               "You admit that?"
                "To deny the facts would be illogical, Doctor"
         -- Spock and McCoy, "A Piece of the Action", stardate unknown


          Jak všichni víme, v daleké  budoucnosti (ve Startreku) se vyplní
      odvěký sen všech uživatelů - programátoři vymřou a počítače se budou
      programovat tím, že řeknete, co chcete a počítač to okamžitě zařídí.
      Japonci se rozhodli  vyjít této vizi  vstříct a vyvinout  jazyk nové
      generace, který by této představě odpovídal.

          Výsledkem  tohoto  snažení je Prolog.  Počítač se sice  neovládá
      češtinou  (ani   japonštinou),  ale  už se  neprogramuje   klasickým
      způsobem -  neříkáte  jak  se  má  co  udělat,  ale  popíšete,  jaké
      vlastnosti musí splňovat cíl a počítaš se postará o nalezení  řešení
      (deklarativní programování).

          Výsledek se dostavil. Zjistilo se, že není tak snadné pospat to,
      co chcete a tak normální  uživatel Prolog používat nemůže. Na druhou
      stranu  normální  programátor je zmaten,  protože celé jeho znalosti
      programování jsou  nanic.  Proto  Prolog  nepoužívají ani uživatelé,
      ani programátoři.

          Přesto se pomocí Prologu řeší komplikované a zajímavé problémy -
      jako je analýza řeči, umělá  inteligence apod. Prolog je totiž velmi
      úsporný a elegantní  jazyk a proto  ušetří  hodně  času při  vývoji.
      Myslím, že stojí za to hi umět, aby  člověk  věděl,  jak  jdou  věci
      udělat jinak, než nabízí klasické procedurální programování.

                           Co to je logický kalkul?                       

                                    Prolog                                

                                     Termy                                

                                   Unifikace                              

                                    Seznamy                               

                  Examples 1: vyhodnocování logických výrazů              

                             Examples 2: adventura                        


                                                       - HH -
                                                 hubicka@freesoft.cz


            výheň