Libraries, etc.
Logical types has the following libraries, systems, and sample code. All provided with the usual caveats (they are not guaranteed to work, and Logical Types is not liable for you downloading and using this code):
Libraries
utils	a set of utilities useful for building production systems contains modules: Module test status documentation utils 1/4 submodules tested no utils.graph 0/1 new preds tested no utils.random 0/10 preds tested no utils.series 3/3 preds/funcs tested no utils.xml 2/3 submodules tested no utils.xml.facade 1/1 pred tested no utils.xml.pprint 2/2 preds tested no utils.xml.transform 4/9 funcs/preds tested no
qcheck2	A testing/verification framework for Mercury programs see qcheck2 justification (work in progress)
Systems
ltq	Extends Mercury with op/3 declarations, allowing syntax modification see installation instructions see ltq doc see write_canonical that interprets op/3 declarations   samples: hello.m and play.m
Fixes/Patches
anys	A set of fixes to the utilities provided in the Mercury extras distribution supporting operations with the any mode see anys-diffus.zip simply to apply patches
Alpha: You Have Been Warned!
matrix	Work in progress to add a viable matrix protocol; will be rolled into the utils library.
tiffany	A very small, thread-un-safe, foreign interface to libtiff; also requires matrix (which it already bundles).
Copyright © 2006-2007, Logical Types, LLC. All rights reserved.