home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 September / Simtel20_Sept92.cdr / msdos / aijournl / ai_oct86.arc / AIAPP1.TBL next >
Text File  |  1986-07-16  |  896b  |  22 lines
  1.  
  2.  
  3. item     |     Item within the query   
  4. in the   |
  5. rule     |     constant       variable       functor
  6.          |      (C2)           (V2)           (F2)
  7.          |-----------------------------------------------
  8. constant |     succeed if     succeed        fail
  9. (C1)     |     C1 = C2        bind V2 to C1
  10.          |
  11. variable |     succeed        succeed        succeed
  12. (V1)     |     bind V1 to C2  bind V1 to V2  bind V1 to F2
  13.          |
  14. functor  |
  15. (F1)     |     fail           succeed        succeed if
  16.          |                    bind V2 to F1  expressions have same
  17.          |                                   functor and arity
  18.          |                                   and each pair of components
  19.          |                                   can be unified
  20.  
  21. Table 1 - Unification of items in rules and queries
  22.