Datalogでの一意性のクエリ？

Question

Datalogでは、他の変数の可能な値ごとに、変数の1つに正確に1つの値があるファクトのクエリを記述できますか？

見つけるすべてX一つだけXためのあなたは、コンピューティングによって最初にこれを表現することができ、各Yプレーンデータログで

Answer 1

expr(X, Y)中に存在するように、Yの複数のXを持って、その後、Yの1 Xとを計算することを利用しています

problem(y) <- expr(x1, y), expr(x2, y), x1 != x2. 
    exactly_one_opt1(y) <- expr(_, y), !problem(y). 

ほとんどのシステムでは、おそらくより効率的なソリューションになりますが、集約構文は標準のDatalogではありません。私はここでLogiQL（LogicBlox Datalog）の構文を使用しています：

count[y] = c <- agg<<c = count()>> expr(_, y). 
    exactly_one_opt2(y) <- count[y] = 1.