docs/ailog_man.pdf

   1 %PDF-1.4
   2 %ÐÔÅØ
   3 4 0 obj
   4 << /S /GoTo /D (section.1) >>
   5 endobj
   6 7 0 obj
   7 (Getting and Starting AILog)
   8 endobj
   9 8 0 obj
  10 << /S /GoTo /D (section.2) >>
  11 endobj
  12 11 0 obj
  13 (Help and Exiting)
  14 endobj
  15 12 0 obj
  16 << /S /GoTo /D (section.3) >>
  17 endobj
  18 15 0 obj
  19 (Syntax)
  20 endobj
  21 16 0 obj
  22 << /S /GoTo /D (subsection.3.1) >>
  23 endobj
  24 19 0 obj
  25 (Individuals and Relations)
  26 endobj
  27 20 0 obj
  28 << /S /GoTo /D (section.4) >>
  29 endobj
  30 23 0 obj
  31 (Ask and Tell)
  32 endobj
  33 24 0 obj
  34 << /S /GoTo /D (section.5) >>
  35 endobj
  36 27 0 obj
  37 (Loading and Listing Knowledge Bases)
  38 endobj
  39 28 0 obj
  40 << /S /GoTo /D (section.6) >>
  41 endobj
  42 31 0 obj
  43 (Explanation and Debugging)
  44 endobj
  45 32 0 obj
  46 << /S /GoTo /D (subsection.6.1) >>
  47 endobj
  48 35 0 obj
  49 (How? Questions)
  50 endobj
  51 36 0 obj
  52 << /S /GoTo /D (subsection.6.2) >>
  53 endobj
  54 39 0 obj
  55 (Whynot? Questions)
  56 endobj
  57 40 0 obj
  58 << /S /GoTo /D (subsection.6.3) >>
  59 endobj
  60 43 0 obj
  61 (Depth Bound)
  62 endobj
  63 44 0 obj
  64 << /S /GoTo /D (subsection.6.4) >>
  65 endobj
  66 47 0 obj
  67 (Why? Questions)
  68 endobj
  69 48 0 obj
  70 << /S /GoTo /D (section.7) >>
  71 endobj
  72 51 0 obj
  73 (Ask-the-user)
  74 endobj
  75 52 0 obj
  76 << /S /GoTo /D (section.8) >>
  77 endobj
  78 55 0 obj
  79 (Built-in predicates)
  80 endobj
  81 56 0 obj
  82 << /S /GoTo /D (section.9) >>
  83 endobj
  84 59 0 obj
  85 (Assumables)
  86 endobj
  87 60 0 obj
  88 << /S /GoTo /D (section.10) >>
  89 endobj
  90 63 0 obj
  91 (Negation-as-failure)
  92 endobj
  93 64 0 obj
  94 << /S /GoTo /D (section.11) >>
  95 endobj
  96 67 0 obj
  97 (Probabilities)
  98 endobj
  99 68 0 obj
 100 << /S /GoTo /D (subsection.11.1) >>
 101 endobj
 102 71 0 obj
 103 (Experimental Probabilistic Features)
 104 endobj
 105 72 0 obj
 106 << /S /GoTo /D (section.12) >>
 107 endobj
 108 75 0 obj
 109 (Copyright)
 110 endobj
 111 76 0 obj
 112 << /S /GoTo /D [77 0 R  /Fit ] >>
 113 endobj
 114 94 0 obj <<
 115 /Length 1923
 116 /Filter /FlateDecode
 117 >>
 118 stream
 119 xÚ\9dXKoä6\12¾Ï¯èÛª\81\96,Rï9eâd\83YÌ\ 2Á®\93C<s $º\9b°$jE)\1dÿûb\91êVÛ\83