home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / p / plbin.zip / pl / src / ATOMS next >
Text File  |  1993-02-23  |  5KB  |  269 lines
  1. # Definition table of atoms functors used somewhere in the C-code.
  2. # format:
  3. #
  4. #    A <name> <string>:    --> #define ATOM_<name> into <string>
  5. #    F <name> <arity>    --> #define FUNCTOR_<name><arity>
  6. #                (A name should exist as well)
  7. #
  8. # This file is processed using the Unix awk program defineatoms to produce
  9. # pl-atom.ic, pl-atom.ih, pl-funct.ic and pl-funct.ih.  If you do not have
  10. # awk you can propagate the changes by hand, but be be careful!
  11.  
  12. A abort            "$abort"
  13. A apply            "$apply"
  14. A atoms            "atoms"
  15. A bar            "|"
  16. A break            "$break"
  17. A call            "call"
  18. A comma            ","
  19. A cputime        "cputime"
  20. A curl            "{}"
  21. A cut            "!"
  22. A defined        "defined"
  23. A divide        "/"
  24. A dot            "."
  25. A dynamic        "dynamic"
  26. A end_of_file        "end_of_file"
  27. A equals        "="
  28. A fail            "fail"
  29. A foreign        "foreign"
  30. A functors        "functors"
  31. A fx            "fx"
  32. A fy            "fy"
  33. A global        "global"
  34. A globalused        "globalused"
  35. A goal            "goal"
  36. A heapused        "heapused"
  37. A hide_childs        "hide_childs"
  38. A inferences        "inferences"
  39. A init_file            "init_file"
  40. A listing        "listing"
  41. A local            "local"
  42. A localused        "localused"
  43. A minus            "-"
  44. A multifile        "multifile"
  45. A nil            "[]"
  46. A off             "off"
  47. A on            "on"
  48. A plus            "+"
  49. A portray        "$portray"
  50. A predicates        "predicates"
  51. A print            "print"
  52. A procedure        "procedure"
  53. A prompt        "|:"
  54. A prove            ":-"
  55. A spy            "spy"
  56. A stderr        "stderr"
  57. A system        "system"
  58. A top_level            "top_level"
  59. A trace            "trace"
  60. A trail            "trail"
  61. A trailused        "trailused"
  62. A true            "true"
  63. A user            "user"
  64. A var            "$VAR$"
  65. A xf            "xf"
  66. A xfx            "xfx"
  67. A xfy            "xfy"
  68. A yf            "yf"
  69. A yfx            "yfx"
  70. A yfy            "yfy"
  71. A string        "string"
  72. A level            "level"
  73. A parent        "parent"
  74. A alternative        "alternative"
  75. A cutted        "cut"
  76. A top            "top"
  77. A redo            "redo"
  78. A exit            "exit"
  79. A unify            "unify"
  80. A traceinterc        "$prolog_trace_interception"
  81. A very_deep        "very_deep"
  82. A has_alternatives    "has_alternatives"
  83. A obtain        "?"
  84. A undefinterc        "$undefined_procedure"
  85. A module        ":"
  86. A transparent        "transparent"
  87. A imported        "imported"
  88. A exported        "exported"
  89. A cut_parent        "cut_parent"
  90. A prolog        "prolog"
  91. A message        "message"
  92. A indexed        "indexed"
  93. A context_module    "context_module"
  94. A discontiguous        "discontiguous"
  95. A pipe            "pipe"
  96. A receiver        "receiver"
  97. A time            "$time"
  98. A toplevel        "toplevel"
  99. A argument        "argument"
  100. A hat            "^"
  101. A star            "*"
  102. A grammar        "-->"
  103. A ifthen        "->"
  104. A div            "//"
  105. A and            "/\\"
  106. A semicolon        ";"
  107. A smaller        "<"
  108. A lshift        "<<"
  109. A univ            "=.."
  110. A ar_equals        "=:="
  111. A smaller_equal        "=<"
  112. A larger_equal        ">="
  113. A strick_equal        "=="
  114. A ar_not_equal        "=\\="
  115. A larger        ">"
  116. A rshift        ">>"
  117. A query            "?-"
  118. A at_smaller        "@<"
  119. A at_smaller_eq        "@=<"
  120. A at_larger        "@>"
  121. A at_larger_eq        "@>="
  122. A backslash        "\\"
  123. A not_provable        "\\+"
  124. A or            "\\/"
  125. A not_equals        "\\="
  126. A not_strickt_equals    "\\=="
  127. A at_equals        "=@="
  128. A at_not_equals        "\\=@="
  129. A not            "not"
  130. A xor            "xor"
  131. A tilde            "~"
  132. A mod            "mod"
  133. A module_transparent    "module_transparent"
  134. A is            "is"
  135. A abs            "abs"
  136. A random        "random"
  137. A integer        "integer"
  138. A floor            "floor"
  139. A sqrt            "sqrt"
  140. A sin            "sin"
  141. A cos            "cos"
  142. A tan            "tan"
  143. A log            "log"
  144. A exp            "exp"
  145. A log10            "log10"
  146. A pi            "pi"
  147. A e            "e"
  148. A mark            "mark"
  149. A optimise        "optimise"
  150. A alt            "$alt"
  151. A suffix        "suffix"
  152. A history_depth        "history_depth"
  153. A tty            "tty"
  154. A codes            "codes"
  155. A externals        "externals"
  156. A modules        "modules"
  157. A max            "max"
  158. A min            "min"
  159. A ceil            "ceil"
  160. A core_left        "core_left"
  161. A locallimit        "locallimit"
  162. A globallimit        "globallimit"
  163. A traillimit        "traillimit"
  164. A unlimited        "unlimited"
  165. A equal            "equal"
  166. A mismatched_char    "mismatched_char"
  167. A transposed_char    "transposed_char"
  168. A inserted_char        "inserted_char"
  169. A separated        "separated"
  170. A transposed_word    "transposed_word"
  171. A gctime        "gctime"
  172. A collections        "collections"
  173. A collected        "collected"
  174. A garbage_collect    "garbage_collect"
  175. A user_input        "user_input"
  176. A user_output        "user_output"
  177. A user_error        "user_error"
  178. A stream_position    "$stream_position"
  179. A read            "read"
  180. A write            "write"
  181. A append        "append"
  182. A bool            "bool"
  183. A number        "number"
  184. A default        "default"
  185. A cm            "cm"
  186. A asin            "asin"
  187. A acos            "acos"
  188. A atan            "atan"
  189. A execute        "execute"
  190. A exception        "exception"
  191. A syntax_error        "syntax_error"
  192. A singleton        "singleton"
  193. A unique        "unique"
  194. A not_unique        "not_unique"
  195. A warning        "warning"
  196.  
  197. F apply            2
  198. F call            1
  199. F comma            2
  200. F divide        2
  201. F dot            2
  202. F equals        2
  203. F listing        1
  204. F portray        1
  205. F print            1
  206. F procedure        2
  207. F prove            1
  208. F prove            2
  209. F var            1
  210. F traceinterc        2
  211. F curl            1
  212. F obtain        2
  213. F undefinterc        3
  214. F module        2
  215. F pipe            1
  216. F time            2
  217. F hat            2
  218. F plus            2
  219. F minus            2
  220. F star            2
  221. F minus            1
  222. F abs            1
  223. F and            2
  224. F or            2
  225. F rshift        2
  226. F lshift        2
  227. F xor            2
  228. F backslash        1
  229. F random        1
  230. F integer        1
  231. F floor            1
  232. F sqrt            1
  233. F sin            1
  234. F cos            1
  235. F tan            1
  236. F log            1
  237. F exp            1
  238. F log10            1
  239. F pi            0
  240. F e            0
  241. F cputime        0
  242. F mod            2
  243. F div            2
  244. F ar_equals        2
  245. F ar_not_equal        2
  246. F smaller        2
  247. F larger        2
  248. F smaller_equal        2
  249. F larger_equal        2
  250. F is            2
  251. F alt            1
  252. F semicolon        2
  253. F ifthen        2
  254. F bar            2
  255. F not_provable        1
  256. F max            2
  257. F min            2
  258. F ceil            1
  259. F garbage_collect     0
  260. F stream_position    3
  261. F asin            1
  262. F acos            1
  263. F atan            1
  264. F atan            2
  265. F exception        3
  266. F syntax_error        3
  267. F singleton        3
  268. F warning        3
  269.