home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / instructions.h < prev    next >
Encoding:
C/C++ Source or Header  |  1989-04-14  |  2.1 KB  |  57 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. #include "Instructions/switch_on_term.h"
  5. #include "Instructions/switch_on_constant.h"
  6. #include "Instructions/switch_on_structure.h"
  7. #include "Instructions/try.h"
  8. #include "Instructions/retry.h"
  9. #include "Instructions/trust.h"
  10. #include "Instructions/try_me_else.h"
  11. #include "Instructions/retry_me_else.h"
  12. #include "Instructions/trust_me_else.h"
  13. #include "Instructions/fail.h"
  14. #include "Instructions/cut.h"
  15. #include "Instructions/proceed.h"
  16. #include "Instructions/execute_proc.h"
  17. #include "Instructions/execute_label.h"
  18. #include "Instructions/call.h"
  19. #include "Instructions/escape.h"
  20. #include "Instructions/init.h"
  21. #include "Instructions/get_variable_x.h"
  22. #include "Instructions/get_variable_y.h"
  23. #include "Instructions/get_value_x.h"
  24. #include "Instructions/get_value_y.h"
  25. #include "Instructions/get_constant.h"
  26. #include "Instructions/get_nil.h"
  27. #include "Instructions/get_structure.h"
  28. #include "Instructions/get_list.h"
  29. #include "Instructions/get_cdr_list.h"
  30. #include "Instructions/get_cdr_list_write.h"
  31. #include "Instructions/put_variable_x.h"
  32. #include "Instructions/put_variable_y.h"
  33. #include "Instructions/put_value_x.h"
  34. #include "Instructions/put_value_y.h"
  35. #include "Instructions/put_unsafe_value.h"
  36. #include "Instructions/put_constant.h"
  37. #include "Instructions/put_nil.h"
  38. #include "Instructions/put_structure.h"
  39. #include "Instructions/put_list.h"
  40. #include "Instructions/unify_void.h"
  41. #include "Instructions/unify_void_write.h"
  42. #include "Instructions/unify_value_x.h"
  43. #include "Instructions/unify_value_y.h"
  44. #include "Instructions/unify_value_write_x.h"
  45. #include "Instructions/unify_value_write_y.h"
  46. #include "Instructions/unify_variable_x.h"
  47. #include "Instructions/unify_variable_y.h"
  48. #include "Instructions/unify_variable_write_x.h"
  49. #include "Instructions/unify_variable_write_y.h"
  50. #include "Instructions/unify_unsafe_value.h"
  51. #include "Instructions/unify_unsafe_value_write.h"
  52. #include "Instructions/unify_constant.h"
  53. #include "Instructions/unify_constant_write.h"
  54. #include "Instructions/unify_nil.h"
  55. #include "Instructions/unify_nil_write.h"
  56. #include "Instructions/halt.h"
  57.