SRI International made a collection of successful machine learning and reasoning technologies developed in the PAL program, primarily from the CALO project, available online.
The PAL capabilities have been modularized, packaged, and adapted to industry standards to facilitate their incorporation into target applications.