Problem spełnialności – Inne języki