Category : Files from Magazines
Archive   : AIOCT86.ZIP
Filename : AIAPP1.TBL

 
Output of file : AIAPP1.TBL contained in archive : AIOCT86.ZIP


item | Item within the query
in the |
rule | constant variable functor
| (C2) (V2) (F2)
|-----------------------------------------------
constant | succeed if succeed fail
(C1) | C1 = C2 bind V2 to C1
|
variable | succeed succeed succeed
(V1) | bind V1 to C2 bind V1 to V2 bind V1 to F2
|
functor |
(F1) | fail succeed succeed if
| bind V2 to F1 expressions have same
| functor and arity
| and each pair of components
| can be unified

Table 1 - Unification of items in rules and queries


  3 Responses to “Category : Files from Magazines
Archive   : AIOCT86.ZIP
Filename : AIAPP1.TBL

  1. Very nice! Thank you for this wonderful archive. I wonder why I found it only now. Long live the BBS file archives!

  2. This is so awesome! 😀 I’d be cool if you could download an entire archive of this at once, though.

  3. But one thing that puzzles me is the “mtswslnkmcjklsdlsbdmMICROSOFT” string. There is an article about it here. It is definitely worth a read: http://www.os2museum.com/wp/mtswslnk/