About Logical Types LLC



Logical


Logical Types, LLC specializes in building rule-based systems using a combination of deductive and inductive logic.
Types


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.
LLC
Languages;



Libraries;



Literature


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.



Latest

Developments




For those of us not familiar with computing with intervals,

this Google talk provides an engaging introduction. As

Dr. Walster points out, we have become very concerned about

speed of computation, but have ignored their accuracy

-- sometimes with deadly results. Intervals provide a

type-safe, exception-free, approach to numerical computing

with built-in feedback on the accuracy. A central repository

of interval computing can be found at

Archives:












Contact Information: dauclair at hotmail dot com 703-300-0449

Copyright © 2006-2007, Logical Types, LLC. All rights reserved.