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	2007-09-05: 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 http://www.cs.utep.edu/interval-comp/ Archives: 2007-03 2007-02 2007-01 2006-07 2006-05 2006-04 2006-03 2006-02 2006-01 2005-12
	Contact Information
		Copyright © 2006-2007, Logical Types, LLC. All rights reserved.