Κατηγορηματική λογική - Άλλες γλώσσες