home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / prolog / 2039 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  3.5 KB
  1. Path: sparky!uunet!think.com!spool.mu.edu!yale.edu!jvnc.net!netnews.upenn.edu!saul.cis.upenn.edu
  2. From: hodas@saul.cis.upenn.edu (Josh Hodas)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Announcing "Lolli", An Interpreter for Linear-Logic Programming
  5. Message-ID: <96600@netnews.upenn.edu>
  6. Date: 7 Nov 92 20:34:53 GMT
  7. Sender: news@netnews.upenn.edu
  8. Organization: University of Pennsylvania
  9. Lines: 55
  10. Nntp-Posting-Host: saul.cis.upenn.edu
  11.  
  12. In conjunction with  the upcoming  Joint  International Conference and
  13. Symposium on Logic  Programming,  and in  particular the  Workshop  on
  14. Linear Logic and Logic Programming, I am pleased to announce the first
  15. public  distribution  of Lolli, an  interpreter for  logic programming
  16. based on linear logic principles.
  17.  
  18. The  language  Lolli  (named for the linear logic implication operator
  19. "-o" called  lollipop),  is a  full  implementation  of  the  language
  20. described  in   the  paper  "Logic  Programming   in   a  Fragment  of
  21. Intuitionistic  Linear Logic" (Josh Hodas &  Dale Miller, to appear in
  22. Information and  Computation),  though it differs a bit in syntax, and
  23. has several built-in extra-logical predicates and operators.
  24.  
  25. Lolli can  be viewed  as a  refinement  of  the the  Hereditary Harrop
  26. formulas of Lambda-Prolog.  All the  operators  (though not the higher
  27. order  unification) of  Lambda-Prolog  are  supported,  but  with  the
  28. addition  of linear  variations.  Thus  a  Lolli program distinguishes
  29. between  clauses which  can be  used as  many,  or  as few,  times  as
  30. desired, and those that must be used exactly once.
  31.  
  32. These  features  have  been  used to  provide a  perspicuous,  logical
  33. implementation   of   a   number   of   example   problems,  including
  34. object-oriented programming  with mutable state, database update,  and
  35. term  rewriting.  Lolli  has  also been used  as  the setting  for the
  36. development of  a  filler-gap dependency parser for  natural  language
  37. processing.    This  last  is  described   in  the  paper  "Specifying
  38. Filler-Gap Dependency Parsers in a Linear Logic Programming Language",
  39. by Josh Hodas, to be presented at JICSLP '92.
  40.  
  41. This preliminary implementation  was developed over the  last year and
  42. is based on code written by Frank Pfenning and Conal Elliot for  their
  43. paper  "A  Semi-Functional  Implementation  of  a  Higher-Order  Logic
  44. Programming  Language" which appears  in "Topics in Advanced  Language
  45. Implementation", MIT Press, Peter  Lee editor.   DVI  files  for  this
  46. paper,  as well as the two  papers mentioned above, are included  with
  47. the distribution.
  48.  
  49. To  retrieve  a  copy  of  the  Lolli  system,  ftp  (anonymously)  to
  50. ftp.cis.upenn.edu and retrieve  the file pub/Lolli/Lolli-07.tar.Z. (Be
  51. sure to set  ftp to BINARY transfer first.) This distribution includes
  52. full ML source, along with a Makefile, as well as the papers mentioned
  53. above and a collection of example programs.  For those who do not have
  54. SML-NJ at their site, we  hope  to provide pre-built  binaries  for  a
  55. variety  of   architectures.    These   binaries   can   be  found  on
  56. ftp.cis.upenn.edu  in the  directory  pub/Lolli/binaries.  At  present
  57. Sparc and NeXT binaries are available.  If you compile lolli on a  new
  58. architecture,  please  contact  me  so  that I can  make  your  binary
  59. available.
  60.  
  61.  
  62.  
  63. ----------------------------------------------------------------------------
  64. Josh Hodas            Home Phone:         (215) 222-7112   
  65. 4223 Pine Street    School Office Phone: (215) 898-9514
  66. Philadelphia, PA 19104    E-Mail Address:      hodas@saul.cis.upenn.edu
  67.