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.
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
About Logical Types LLC
Contact Information: dauclair at hotmail dot com 703-300-0449
Copyright © 2006-2007, Logical Types, LLC. All rights reserved.