home *** CD-ROM | disk | FTP | other *** search
/ ProfitPress Mega CDROM2 …eeware (MSDOS)(1992)(Eng) / ProfitPress-MegaCDROM2.B6I / MAGAZINE / MISC / AI_OCT86.ZIP / AIAPP7.FIG < prev    next >
Encoding:
Text File  |  1986-07-16  |  768 b   |  20 lines
  1.  
  2.  
  3.      sentence ::- rule | query | command
  4.      rule ::- head '.' | head ':-' tail '.'
  5.      query ::- '?-' tail '.'
  6.      command ::- '@' file_name '.'
  7.      head ::- goal
  8.      tail ::- goal | goal ',' tail
  9.      goal ::- constant | variable | structure
  10.      constant ::- {quoted string} | {token beginning with 'a' .. 'z'}
  11.      variable ::- {token beginning with 'A' .. 'Z' or '_' }
  12.      structure ::- functor '(' component_list ')'
  13.      functor ::- {token beginning with 'a' .. 'z'}
  14.      component_list ::- goal | goal ',' components_list
  15.      file_name ::- {legitimate DOS file name, must be surrounded with
  16.                     single quotes if it contains a '.',':' or '\'}
  17.  
  18.  
  19. Figure 7 - Grammar of rules and queries.
  20.