home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / EXAMPLES / README < prev    next >
Text File  |  1996-06-04  |  2KB  |  80 lines
  1. Copyright 1992-93 Digital Equipment Corporation
  2. All Rights Reserved
  3.  
  4.  
  5. Example programs
  6. ----------------
  7.  
  8. 1- Simple Examples
  9.  
  10. simple            Some basic examples - look at the code
  11. xxxooo          xxxooo puzzle (this file is Prolog-compatible).
  12.                   input: xxxooo ?
  13. prime          Prime numbers. (type constraints)
  14.                   input: primes_to(Number) ?
  15. dictionary      Dictionary insertion/lookup routine. (type constraints)
  16.                   input: dictionary
  17. soap          Illustration of type constraints.
  18.                   input: soap ?
  19. solve          The SEND+MORE=MONEY puzzle. (residuation)
  20.                   input: solve ?
  21. schedule      PERT scheduler (see Schedule.doc). (inheritance, residuation)
  22.                   input: sch_1 ? or sch_2 ? or sch_3 ? or sch_4 ?
  23.  
  24. 2- Puzzles
  25.  
  26. magic          Naive magic square solver.
  27.                   input: magic ?
  28. queens          Solving the N-queens problem. (uses the X interface) 
  29.                   input: queens ?
  30. boxes          Solving a 2D bin-packing problem. (uses the X interface)
  31.                   input: boxes ?
  32.  
  33. 3- Misc programs
  34.  
  35. hamming          Hamming problem.
  36.                   input: hamming ?
  37. nl          Simple natural language parser.
  38.                   input: nl_parse(list_of_words) ?
  39. machine          Simulation of the PRL snack machine (in French).
  40.                   input: machine ?
  41. display_terms     A program to display psi-terms. 
  42.               input: display_terms ?
  43.                   To have an example psi-term displayed: display_example ?
  44.                   To display a term from the prompt: show_term(Term) ?
  45. palette           A program to compose your prefered color ?
  46.                   input: palette ?
  47.  
  48.  
  49. 4- Bigger applications
  50.  
  51.  
  52. gauss          Incremental Gaussian equation solver.(see Gauss.doc)
  53. flowers           Flower drawing application (see Flowers.doc).
  54.               uses the X interface.
  55.                   input: flowers ?
  56.  
  57. SuperLint/      A lint-like checker for C with user-customizable 
  58.           checking rules.  See the SuperLint/ subdirectory
  59.           for details.
  60.  
  61.  
  62. How to load and run a program
  63. -----------------------------
  64.  
  65. For example, the Flowers application is loaded with the query:
  66.  
  67.     > import("flowers")?
  68.  
  69. *** WARNING: ALWAYS TYPE THE FILE NAME AS A STRING ***
  70. This will load the file flowers.lf as well as all auxiliary files that
  71. are necessary. Always write the file name between string quotes.
  72.  
  73. After loading, the Flowers application is run with the query:
  74.  
  75.     > flowers?
  76.  
  77. If you want to load all the demos, type the query:
  78.         
  79.         > load("all_demos") ?
  80.