prolog-knowledge-base