jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rename LogicBlox to LogicQL

Browse source
This commit is contained in:
nightwing 2013-03-12 13:22:17 +04:00
commit 35c239d280
5 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

16
demo/kitchen-sink/docs/logicql.logic Normal file
View file

@ -0,0 +1,16 @@
// ancestors
parentof("douglas", "john").
parentof("john", "bob").
parentof("bob", "ebbon").
parentof("douglas", "jane").
parentof("jane", "jan").
ancestorof(A, B) <- parentof(A, B).
ancestorof(A, C) <- ancestorof(A, B), parentof(B,C).
grandparentof(A, B) <- parentof(A, C), parentof(C, B).
cousins(A,B) <- grandparentof(C,A), grandparentof(C,B).
parentof[`arg](A, B) -> int[32](A), !string(B).