Target Language: Prolog TPTP
Target language "Prolog" is temporarily unavailable for the PSOATransRun WebService
Direct Translator TPTP-ASO-based Translator

Translated KB


Translated Query

Execution Result

Note: If a query is successful, all of its proofs will be shown, with one answer-variable
substitution at the bottom of each proof. If a query fails, "proof not found" will be printed.