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

rename LogicQL->LogiQL

Browse source
This commit is contained in:
nightwing 2013-03-12 19:40:22 +04:00
commit fd2191e76e
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/logiql.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).