print("Tweety------");
print(query("birds.blp", "flies(tweety)", "birds_evidences.krsa"));
print(query("birds.mln", "flies(tweety)", "birds_evidences.krsa"));
print(query("birds.rme", "flies(tweety)", "birds_evidences.krsa"));

print("Opus----");
print(query("birds.blp", "flies(opus)", "birds_evidences.krsa"));
print(query("birds.mln", "flies(opus)", "birds_evidences.krsa"));
print(query("birds.rme", "flies(opus)", "birds_evidences.krsa"));