Don E. Libes, Severin Tixier, Fabian M. Neuhaus, Darrell D. Long

Many objects in the PrIKL Reasoner have a canonical representation. This representation and its implementation required a number of choices with ramifications. This paper describes the choices, their consequences, and some of the more interesting implementation details. This information will be helpful in understanding the implementation of PrIKL, particular for implementors of PrIKL plugins. It may also be helpful in designing systems with similar representational problems.


Canonicalization in the PrIKL Reasoner Don E. Libes; Antoine D. Gerardin; Severin Tixier; Fabian M. Neuhaus; Journal of Software, May 30, 2013,