Predikátová logika – Ostatné jazyky