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