Lambda Prolog

Article View: comp.lang.prolog

Article #68

#68

From: Graham Katz
Date: Thu, 06 Aug 1992 20:33

19 lines
747 bytes

I have heard whispers of 
joy at the use of something
called lambda prolog for
natural language work.

So, yes, this is yet another
call for references and
pointers for higher order
prologs.  I am particularly
interested in beta-conversion
and higher order unification,
which is what the whispers
tell me lambda prolog does
without even blinking.

Thanks

-- 
-- Graham Katz

Technical Details

Message-ID: <1992Aug6.203307.1069@cs.rochester.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!gossip.pyramid.com!decwrl!mips!darwin.sura.net!udel!rochester!katz

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!gossip.pyramid.com!decwrl!mips!darwin.sura.net!udel!rochester!katz
From: katz@cs.rochester.edu (Graham Katz)
Newsgroups: comp.lang.prolog
Subject: Lambda Prolog
Message-ID: <1992Aug6.203307.1069@cs.rochester.edu>
Date: 6 Aug 92 20:33:07 GMT
Organization: Computer Science Department University of Rochester
Lines: 19