gopalan@aurak.cs.duke.edu (Gopalan Nadathur) (07/12/88)
This is just to inform people of the availability of Version 2.7 of
lambda Prolog. Lambda Prolog is a logic programming language that is
based on the logic of higher-order hereditrary Harrop formulas, a rich
extension to the logic of first-order Horn clauses. The use of this
extended logic provides lambda Prolog with a logically justified
treatment of higher-order functions and modular programming.
Higher-order features are implemented using higher-order unification
and lambda-conversion, both of which are primitive operations in the
language. This language has several application areas, some of these
being program transformation and development systems, tactical-style
theorem provers, type inference programs, and natural language
processing. Several aspects of lambda Prolog and its applications are
discussed in papers that appear in the proceedings of the following
conferences:
International Conference on Logic Programing 86,
Symposium on Logic Programming 86, 87, 88
Logic in Computer Science 87
Conference on Automated Deduction 88
Detailed references to the published and submitted papers on lambda
Prolog are included with the material being distributed.
Version 2.7 of lambda Prolog modifies Version 2.6 that has been in
distribution since August 1987. The main changes are the fixing of a
few bugs that have been pointed out to us over the last year, the
addition of a few new features and the availability of the source code
for bringing up the system under Quintus. The material that
constitutes this version may be obtained via anonymous ftp from Duke
University by executing the following steps:
(1) ftp to duke.cs.duke.edu
(2) log in as anonymous. Use your own login id as the password.
(3) cd to pub and retrieve the file lp2.7.tar.Z
(5) quit ftp and cd to whichever directory you wish to bring
up lp2.7 in. Then execute the following commands
uncompress lp2.7.tar.Z
tar xf lp2.7.tar
At the end of this process you will have a directory called lp2.7
that should contain the following subdirectories
72 lp2.7/doc
173 lp2.7/src
180 lp2.7/src-quintus
8 lp2.7/sysmods
29 lp2.7/examples/cade9
32 lp2.7/examples/meta88
17 lp2.7/examples/acl86
22 lp2.7/examples/slp87
16 lp2.7/examples/misc
21 lp2.7/examples/typeinf
12 lp2.7/examples/metainterp
150 lp2.7/examples
There will be a README file in lp2.7 and lp2.7/doc/install will contain
notes describing the procedure for installing lambda Prolog within C-Prolog
(Version 1.5) and Quintus Prolog (Version 2.0).
If you encounter any problems getting this files or in installing the
system, please let me or Dale Miller (dale@linc.cis.upenn.edu) know.
Bug reports are also welcome, although there is no guarantee that they
will be fixed! If you obtain a copy of the system and let Dale and me know,
we will keep you posted about updates to the code.
- Gopalan Nadathur
Computer Science Department
Duke University
Durham, NC 27706
(919)684-3048