http://www.cs.panam.edu/~fox/RESEARCH/peirce.html
has some stuff on a `layered abduction' domain independent programming
tool, called Peirce, developed at Ohio State, BTW.
This archive was generated by hypermail 2b30 : Mon May 28 2001 - 09:56:25 MDT