The dataflow-based parallel inference machine to support two basic languages in KL1