Qual linguagem de programação permite criar um banco de dados de fatos em uma base de conhecimento de regras?