Hi I have read in one tutorial (I can't find it again, but it was probably
either one on ibm, gentle introduction or yaht), that it is possible to
define relationships between free variables and the same program can be used
to calculate either first variable when second is set or second when
On Mon, 7 Jul 2008, fero wrote:
Hi I have read in one tutorial (I can't find it again, but it was probably
either one on ibm, gentle introduction or yaht), that it is possible to
define relationships between free variables and the same program can be used
to calculate either first variable
On Mon, 07 Jul 2008 12:30:34 +0200 (CEST)
Henning Thielemann [EMAIL PROTECTED] wrote:
Actually the type system of Haskell is also logic programming. I
have implemented a simple kind of logic programming using lazy peano
numbers: http://darcs.haskell.org/unique-logic/
There is also Curry
Robin Green wrote:
On Mon, 07 Jul 2008 12:30:34 +0200 (CEST)
Henning Thielemann [EMAIL PROTECTED] wrote:
Actually the type system of Haskell is also logic programming. I
have implemented a simple kind of logic programming using lazy peano
numbers: http://darcs.haskell.org/unique-logic/
fero wrote:
Hi I have read in one tutorial (I can't find it again, but it was probably
either one on ibm, gentle introduction or yaht), that it is possible to
define relationships between free variables and the same program can be used
to calculate either first variable when second is set or
Hi
Hi I have read in one tutorial (I can't find it again, but it was probably
either one on ibm, gentle introduction or yaht), that it is possible to
define relationships between free variables and the same program can be used
to calculate either first variable when second is set or
Thanks a lot Neil,
I will definitely read it. I searched google and found the same article here
for free
http://www.cs.chalmers.se/~emax/wired/documents/LP_HFL07.pdf
I didn't know that Haskell commuity is so alive. Much more answers in much
less time than when I wrote something to jav:)
Fero
