home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / prolog / 1695 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  2.1 KB
  1. Path: sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!oxuniv!popx
  2. From: popx@vax.oxford.ac.uk
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: pretty printer
  5. Message-ID: <1992Sep11.144020.8813@vax.oxford.ac.uk>
  6. Date: 11 Sep 92 13:40:19 GMT
  7. References: <1992Sep11.091413.676@tom.rz.uni-passau.de>
  8. Organization: Oxford University VAX 6620
  9. Lines: 42
  10.  
  11. In article <1992Sep11.091413.676@tom.rz.uni-passau.de>, baier@forwiss.uni-passau.de (Joern Baier) writes:
  12. > Hi!
  13. > 
  14. > As the subject says it I'm looking for a pretty printer.
  15. > It should read a source code and write it down in a nicer format.
  16. > It should also be able to deal with comments and keep the vaiable
  17. > names. I have been looking for it in the libraries but I think there is
  18. > nothing appropriate.
  19. > 
  20. > Thanx in advance,
  21. >             Joern
  22. > -- 
  23. > Joern Baier     (baier@forwiss.uni-passau.de) 
  24. >
  25. I don't have a complete pretty-printer. However, the code that comes 
  26. with my "Logic Programming Tutor" includes some of what you need to 
  27. build one. There's a set of predicates (SDO.PL and SDO_OUTPUT.PL) which
  28. read the grammar of a language in a notation that's like DCGs augmented
  29. with formatting commands and generate Prolog predicates from it. Portability
  30. note: you'll need to be able to 'write' into lists or other structures.
  31.  
  32. There's also a tokeniser and parser, built from the Richard O'Keefe one
  33. that comes with the Dec-10 library. This can read variable names. It ignores
  34. comments, but you could make it capture them and return them hooked
  35. onto the term in some way. I'm not sure what the best way to represent
  36. a term augmented in this way would be.
  37.  
  38. You can FTP the code from packages/prolog-pd-software/tutor.tar.Z at
  39. src.doc.ic.ac.uk . It's a compressed TAR file, so fetch it in binary
  40. mode, and decompress then untar before using. 
  41.  
  42. If you do build a pretty-printer from these predicates, please send me
  43. a copy of it.
  44.  
  45.  
  46. General note: the library contains a lot of other code. See README in the
  47. aforenamed directory for a short list, CATALOGUE for a long one. 
  48. I would like more contributions: the number I've been offered so far is
  49. very low compared with the amount of Prolog code that exists.
  50.  
  51.  
  52. Jocelyn Paine
  53.