Using language with 3rd order logic support lot easier than implementing 3rd order logic in langauge that does not natively support 3rd order logic. Lot less h

Using language with 3rd order logic support lot easier than implementing 3rd order logic in langauge that does not natively support 3rd order logic. Lot less haskell to switch between different levels of order logics. Just depends on what/how using python (or any other language) for.