Explain how the answer confirms a tautology.

If the program is efficient, it executes quickly. Either the program is efficient, or it has a bug. However, the program does not execute quickly. Therefore, it has a bug. E, Q, B Can you write it as Prolog in Swish program. as format /** Explain how the answer confirms a tautology.*/problem(1.2, 56, Answer) :-taut( … , Answer ).”Answer” should not be changed and in explain answer i want the result. and explain me here how you get it