Lập trình logic – Theo ngôn ngữ khác