home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 December / simtel1292_SIMTEL_1292_Walnut_Creek.iso / msdos / prolog / algebra.arc / (READ.ME) next >
Text File  |  1987-04-12  |  3KB  |  77 lines
  1. .......................................................................
  2.  
  3.  
  4.                        COMPUTER ALGEBRA IN PROLOG
  5.                        --------------------------
  6.  
  7.                          Copyright 1987  S.Vaghi
  8.  
  9.  
  10.  
  11.    COMPUTER ALGEBRA IN PROLOG consists of four files:
  12.  
  13.    (READ.ME)           is the present file.
  14.  
  15.    ALGEBRA.TXT         is a short paper on computer algebra in Prolog.
  16.                        The paper is self-contained and includes the
  17.                        listings of the sample programs discussed, with
  18.                        several examples of applications.
  19.                        You can print it out on your Epson-compatible
  20.                        printer (it is formatted by a word processor,
  21.                        so if you browse through it on the screen you
  22.                        will see some "funny" characters appear).
  23.  
  24.    DIFFSV.PRO          is a program in Prolog for the symbolic
  25.                        differentiation of algebraic functions.
  26.  
  27.    SIMPSV.PRO          is a program in Prolog for the symbolic
  28.                        simplification of algebraic functions.
  29.  
  30.    The two programs are described in the paper, which should be
  31.    read before using them.
  32.  
  33.    The programs run under PD Prolog (ver.1.9), a public domain Prolog
  34.    developed by Bob Morein of Automata Design Associates, 1570 Arran Way,
  35.    Dresher, PA 19025, who may be contacted to obtain a copy of the program.
  36.  
  37.    To run the programs you must have the file PDPROLOG.EXE
  38.    You then proceed as follows
  39.       enter
  40.                  pdprolog
  41.       and at the prolog prompt '?-' first enter
  42.                                                   consult(diffsv).
  43.       and, at the following prompt,
  44.                                                   consult(simpsv).
  45.  
  46.    At this point you are ready to run the examples discussed in the
  47.    paper (or any other case involving algebraic functions).
  48.    To get out of the PDPROLOG environment and come back to DOS,
  49.    enter
  50.           exitsys.
  51.    after the prompt.
  52.  
  53.  
  54.    The programs should also run with little or no modification under
  55.    other Prolog interpreters or compilers following the Edimburgh
  56.    syntax.
  57.  
  58.  
  59.    COMPUTER ALGEBRA IN PROLOG is placed in the public domain, but
  60.    the author retains the copyright of the paper and programs.
  61.  
  62.    You may copy and distribute COMPUTER ALGEBRA IN PROLOG provided
  63.    that it is done free of charge, that all four files are copied
  64.    without modifications and, in particular, the copyright notices
  65.    are not removed or changed.
  66.  
  67.    I hope you will enjoy these programs.
  68.    You can send comments and suggestions to
  69.  
  70.                                              S. Vaghi,
  71.                                              ESTEC,
  72.                                              P.O. Box 299,
  73.                                              2200 AG Noordwijk (ZH),
  74.                                              The Netherlands.
  75.  
  76. .....................................................................
  77.