В языке программирования Prolog есть и логическое "ИЛИ" и отрицание. Данный язык вполне хорош для решения трудоемких логических задач, а не только для решения так сказать "общих логических". Его нужно использовать не для решения арифметических задач, а, например для построения небольшой экспертной системы или в решении пусть даже не сложной логической задачи, тогда он и покажет всю мощь и гибкость в решении логических задач.