Parallel Symbolic Computation for Knowledge Based Systems