If we take the logic system of Baba is You to a logical programming language, how powerful would it be?