Hi,
Sebastian Hanowski <seha_at_informatik.uni-kiel.de> writes:
> * Am 30.03.07 schrieb Emilio Jesús Gallego Arias:
>> Right. Could you provide me more details about what do you think the
>> bias is?
>
> Expressing choice by appending lists leads to backtracking which is
> incomplete in presence of infinite paths. Like 0 will never be
> considered here:
>
> [1..] ++ [0]
Umm, why not use other operator rather than ++.
> But besides functional programming FLP seems to have strong roots in
> term rewriting and logic programming. Which could speak against
> ^^^^^^^^^^^^^^^^^^^^^^^^^
> seeing non-determinism as a mere effect in otherwise purely
> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> functional programs.
Umm, I'm not really sure about that. Why?
Most of the people I know in the LP community are not really fond
about the non-deterministic behavior of Prolog, where you usually need
cuts and control behavior in large LP programs is really
unpredictable. However, the proposed remedies are far from being
heterogeneous, some people try to go away from SLD, others use
advanced AI to infer program's determinism...
Regards,
Emilio
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Apr 11 2007 - 11:57:18 CEST