Первоначально я назвал этот вопрос: «Есть ли язык логики быстрее, чем пролог, но более выразительный, чем даталог?» Datalog быстрый и хорошо масштабируется, но не позволит вам вычислить разницу между двумя наборами. Я считаю, что мне нужно выразить как отрицание, так и рекурсию. Мне не нужно отрицание в главах правил, но в их телах, да.
Является ли Prolog минимальным языком, который удовлетворяет этим требованиям, или есть что-то более простое и, следовательно, предположительно, более быстрое?