Lambda
From: Jesper Matthiesen (jmatthiesen[_fjen_)
Date: 11/14/03
- Next message: Jesper Matthiesen: "Re: freeze \+ X \= Y"
- Previous message: Brian McNamara!: "Re: simple cross product example"
- Next in thread: Hans Aberg: "Re: Lambda"
- Reply: Hans Aberg: "Re: Lambda"
- Reply: Jamie Andrews; real address _at_ bottom of message: "Re: Lambda"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 14 Nov 2003 11:29:53 +0100
Hey
I recently noticed something called Lambda-Prolog. Can anyone give a hint as
to why one would want to use
the lambda calculus with Prolog? I don't know much about the Lambda-calculus
so this is a kind of newbie-question.
Kind Regards - Jesper
- Next message: Jesper Matthiesen: "Re: freeze \+ X \= Y"
- Previous message: Brian McNamara!: "Re: simple cross product example"
- Next in thread: Hans Aberg: "Re: Lambda"
- Reply: Hans Aberg: "Re: Lambda"
- Reply: Jamie Andrews; real address _at_ bottom of message: "Re: Lambda"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]