[mercury-users] Commercial/academic Mercury users

Ralph Becket rafe at cs.mu.OZ.AU
Thu Mar 9 11:23:34 AEDT 2006


Thanks, Doug!  I'll make an entry on the web page as soon as I get a
spare minute.

Cheers,
-- Ralph

doug.auclair at logicaltypes.com, Wednesday,  8 March 2006:
> Dear Ralph, you wrote:
> 
> >It might be helpful for funding/evangelism purposes if the Mercury web
> >site included a list of commercial users and uses in academic projects.
> >
> >If you are such and wouldn't mind us including a reference on the web
> >page (we don't have to include URLs or e-mail addresses if you'd
> >prefer not), please reply with a few lines about who you are and what
> >you do.
> 
> Logical Types, LLC uses Mercury.  Our blurbs:
> 
> "Logical Types, LLC specializes in building rule-based systems
> using a combination of deductive and inductive logic."
> 
> "Logical Types, LLC uses types to facilitate program development
> in the large. Types declare the intents of the participants and
> ensure correct development and consistent execution."
> 
> "Logical Types, LLC uses the Mercury programming language to
> develop and deliver rule-based system to clients. Mercury
> combines (predicate) logic programming and one of the more
> rigorous type systems to give a programming language that is
> declarative, efficient and consistent."
> 
> Some systems we have built are at:
> 
> http://www.logicaltypes.com/logic.html#our-approach
> 
> Our main site is http://www.logicaltypes.com.
> 
> URL is fine.  Email is not (they can find it, image-encoded, on our
> site).
> 
> Sincerely,
> Doug Auclair
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the users mailing list