home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / EXAMPLES / SIMPLE.LF < prev    next >
Text File  |  1996-06-04  |  3KB  |  108 lines
  1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  2. %    
  3. %  Simple examples
  4. % 
  5. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  6.  
  7. module("simple") ?
  8. public(stu,emp,fact,secretary,faculty,person,student,employee) ?
  9.  
  10. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  11.  
  12. %%%
  13. %%% Prolog: member, xxxooo
  14. %%%
  15.  
  16. %%%
  17. %%%  Psi-terms, type constraints, unification. 
  18. %%%  see also prime.lf, dictionary.lf, soap.lf
  19. %%%
  20.  
  21. %
  22. %
  23. % 
  24. %                           person
  25. %                      _________________
  26. %                     /                 \
  27. %              student                   employee
  28. %             /       \                 /        \
  29. %       ------         \           staff          faculty
  30. %      /   |  \         \         /  |  \        /   |   \
  31. %   bob  piotr pablo     workstudy  art judy   don  john  sheila
  32. %                       /         \                  
  33. %                     simon      elena
  34. %                                 
  35.                                   
  36. student <| person.
  37. employee <| person.
  38.  
  39. staff <| employee.
  40. faculty <| employee.
  41.  
  42. workstudy <| student.
  43. workstudy <| staff.
  44.  
  45. bob    <| student.
  46. piotr  <| student.
  47. pablo  <| student.
  48. elena  <| workstudy.
  49. simon  <| workstudy.
  50. art    <| staff.
  51. judy   <| staff.
  52. don    <| faculty.
  53. john   <| faculty.
  54. sheila <| faculty.
  55.  
  56. :: faculty(secretary => staff,
  57.        assistant => person).
  58.  
  59. :: student(advisor  => faculty,
  60.            roommate => person).
  61.  
  62.  
  63. stu -> student( roommate => employee(representative => S),
  64.             advisor  => don(secretary => S)).
  65.  
  66. emp -> employee( advisor  => don(assistant => A),
  67.                  roommate => S:student(representative => S),
  68.          helper   => simon(spouse => A)).
  69.          
  70.             
  71. %%%
  72. %%% functions and residuation
  73. %%% see also solve.lf, schedule.lf
  74. %%%
  75.  
  76.  
  77. fact(0) -> 1.
  78. fact(X:real) -> X*fact(X-1).
  79.  
  80. secretary(X:faculty) -> X.secretary.
  81.  
  82. % events' handling
  83. % 
  84. %                    ,-configure_event
  85. %                    |
  86. %      ,-window_event|-expose_event
  87. %      |             |
  88. %      |             `-destroy_event
  89. %      |
  90. %      |                         ,-motion_event
  91. %      |            ,-mouse_event|
  92. %      |            |            `-button_event
  93. % event|-input_event|
  94. %      |            |
  95. %      |            `-keyboard_event
  96. %      |
  97. %      |-null_event
  98. %      |
  99. %      `-other_event
  100. %
  101.  
  102. handle_event(M:button_event) -> true |
  103.     handle_button_event(M),
  104.     handle_event(xGetEvent(my_window, mask => my_mask)).
  105.     
  106.  
  107. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  108.