在Logicblox中設置

Question

是否可以在Logicblox中對設置進行建模？具體來說，我想要一個set of Integers，比如說{1,4,9}，並且想要檢查該集是否爲空集，以及是否某個元素屬於該集。

Answer 1

謂詞實際上自然模型設定，所以如果你想要一組模型，你可以爲它創建一個謂語在這個例子：

create --unique 
addblock <doc> 
    my_set(x) -> int(x). 
    my_set_not_empty() <- my_set(_). 
    my_set_empty() <- !my_set_not_empty(). 
</doc> 
echo 'my_set' 
print my_set 
echo 'my_set_empty' 
print my_set_empty 
echo 'my_set_not_empty' 
print my_set_not_empty 
echo 'adding an element' 
exec '+my_set(1).' 
echo 'my_set' 
print my_set 
echo 'my_set_empty' 
print my_set_empty 
echo 'my_set_not_empty' 
print my_set_not_empty 
close --destroy 

如果您要建模集作爲實體所需要的是一個額外的關鍵：

create --unique 
addblock <doc> 
    integer_set(set),integer_set:name(set:name) -> string(name). 
    contains(set,integer) -> integer_set(set),int(integer). 
    not_empty(set) <- contains(set,_). 
    empty(set) <- !not_empty(set), integer_set(set). 
</doc> 
exec <doc> 
    +integer_set(my_set),+integer_set:name(my_set:"my_set"). 
</doc> 
echo "empty" 
print empty 
echo "not empty" 
print not_empty 
echo "adding elements and creating another set" 
exec <doc> 
    +integer_set(my_set),+integer_set:name(my_set:"other_set"). 
    +contains(my_set,1) <- integer_set:name(my_set:"my_set"). 
    +contains(my_set,4) <- integer_set:name(my_set:"my_set"). 
    +contains(my_set,9) <- integer_set:name(my_set:"my_set"). 
</doc> 
echo "contains" 
print contains 
echo "empty" 
print empty 
echo "not empty" 
print not_empty 

close --destroy