home *** CD-ROM | disk | FTP | other *** search
/ PC World 2002 March / PCWorld_2002-03_cd.bin / Akce / universum / Data / uni.u08 / xml08 / 086189.xml < prev    next >
Extensible Markup Language  |  2002-01-30  |  1KB  |  35 lines
  1. <?xml version="1.0" encoding="windows-1250"?>
  2. <root>
  3.  <idhesla>086189</idhesla>
  4.  <prednazev></prednazev>
  5.  <prednazevb></prednazevb>
  6.  <nazev>Prolog</nazev>
  7.  <specsubh></specsubh>
  8.  <jmeno></jmeno>
  9.  <hranata></hranata>
  10.  <kulata></kulata>
  11.  <telo><p>logick² neprocedurßlnφ <a href="javascript:top.GetURL('086073');" target="_self">programovacφ jazyk</a> vysokΘ ·rovn∞, postaven² na logickΘm kalkulu. P. mß algoritmus, kter² sßm najde °eÜenφ pro napsanou formuli, tj. vyhledßvß °eÜenφ problΘmu na zßklad∞ definovßnφ sv∞ta (definovßnφ predikßtu = term) a nßslednΘm dotazovßnφ (funguje tedy jako inteligentnφ databßze, lze vznßÜet r∙znΘ dotazy na sv∞t, kter² je popsßn). P. podporuje pouze spojku <i>a</i> a definovßnφ predikßt∙. P se Φasto pou₧φvß v projektech um∞lΘ inteligence.</p></telo>
  12.  <dil>7</dil>
  13. <o>
  14. <o1>matematika a fyzika</o1>
  15. <o2>informatika</o2>
  16. <o3></o3>
  17. </o>
  18. <o>
  19. <o1>technika</o1>
  20. <o2>informatika</o2>
  21. <o3></o3>
  22. </o>
  23. <odkazz>
  24. <idz>086073</idz>
  25. <nazevz><b>programovacφ jazyk</b></nazevz>
  26. </odkazz>
  27. <predchozi>
  28. <idpredchozi>086188</idpredchozi>
  29. <nazevpredchozi><b>prolog</b></nazevpredchozi>
  30. </predchozi>
  31. <nasledujici>
  32. <idnasledujici>086190</idnasledujici>
  33. <nazevnasledujici><b>prolom</b></nazevnasledujici>
  34. </nasledujici>
  35. </root>