Re: Example of expression bias?
Date: 20 Jun 2006 17:18:38 -0700
Message-ID: <1150849118.517717.274520_at_u72g2000cwu.googlegroups.com>
Bob Badour wrote:
> > Whilst it's difficult to be absolutely certain, I think 'no' is a
> > reasonably safe answer. I'd be very happy to be proved wrong in this.
>
> Am I totally way off base or would prolog approximate one?
>
Not really; Prolog is a combination of a theorem prover, a database (of sorts) and a unification algorithm. The lambda calculus doesn't really enter the picture. (First order logic, particularly Horn clauses, do though).
Prolog also has a couple of very non-relational features; the order facts & rules are asserted to the database affects the order of evaluation and the order in which results are returned directly, and attributes are accessed by position rather than by name. Prolog is also effectively untyped. Some of the operators are strict on their types, but that's about it. Asserting rules in the "wrong" order can lead to a non-terminating program.
And, any language where you can give an answer and let it work out the question is fine by me :) Received on Wed Jun 21 2006 - 02:18:38 CEST