TY - RPRT TI - The Language Features and Architecture of B-Prolog AU - Neng-Fa Zhou PY - 2011 UR - https://arxiv.org/abs/1103.0812 ID - 1103.0812 ER -