home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / sbprolog / readme.st < prev    next >
Encoding:
Text File  |  1993-10-23  |  1.5 KB  |  47 lines
  1. This is a port of SBProlog 3.1 to the Atari-ST; the port
  2. is faithful to the original, except for some networking
  3. fetures of Unix not present on the ST. This archive
  4. contains sources, binaries and documentation in troff
  5. format. The binary was compiled by gcc-2.1 on a SparcStation II.
  6.  
  7. The program needs to run under a shell and uses full UNIXMODE
  8. support; there's no chance to restrict it under 8.3 character 
  9. filenames, sorry. Consult UNIXMODE.arc at atari.archive
  10. for more details.
  11.  
  12. The program uses by default 500000 longwords of program
  13. and 300000 longwords of stack, perhaps too much for an ST.
  14.  
  15. To use it
  16.  
  17. setenv SBP <where sbp lives>
  18. setenv SIMPATH $SBP/modlib:$SBP/lib:$SBP/cmplib:.
  19. sbprolog -m 80000 -p 150000 $SBP/modlib/\$readloop
  20.  
  21. The first lines set up the simulator search path
  22. (as described in docs, the program features a dynamic
  23. loader of predicates). The option -m defines how much
  24. stack the program will reserve, and -p how much storage
  25. will be devoted to program area. With those defaults
  26. the total memory used is 1200Kb, so I think the
  27. whole system should run in 1Mb (but you may fail to run
  28. the prolog compiler).
  29.  
  30. To use a runtime system only, you can delete the sources.
  31.  
  32. cd $SBP
  33. cp sim/sbprolog.ttp .
  34. rm -rf sim lib/src modlib/src cmplib/src bench
  35.  
  36. The compiled prolog performs about 5100 LIPS, against
  37. a double value obtained by prolog68 (which is tailored
  38. to the ST).
  39.  
  40. I had not used this system extensively, but it seems working
  41. quite well. In case of problems, email to
  42.  
  43. Matteo.Frigo@dei.unipd.it
  44.  
  45. Matteo Frigo.
  46.  
  47.