Parallel Knowledge Representation (http://www.cs.umd.edu/projects/plus/plus.html)