[mercury-users] The Logic of Mercury

[Marko Schuetz]

>>>>> "Lee" == Lee Naish <lee at cs.mu.OZ.AU> writes:


Lee> been invented back then) it might have worked out.  One of the unfortunate
Lee> things for the intuition of relational programmers (as opposed to
Lee> functional programmers) it that it seems best to treat predicates as
Lee> functions returning some special type (which you can think of as rather
Lee> like Boolean). eg:

Lee> append :: list(T) -> list(T) -> list(T) -> pred
Lee> ',' :: pred -> pred -> pred

This may be a stupid question, but what is unfortunate for the
intuition with the above? I don't get it.

Marko
-- 
Marko Schütz            marko at cs.uni-frankfurt.de
http://www.ki.informatik.uni-frankfurt.de/~marko/
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------