[ALGAV] Ficheiro prolog de teste com alguns predicados e factos para testar comunicação com C++.