Console

Cheat Sheet

Ctrl-Shift-V to paste clipboard

pyDatalog syntax:

+ p(a)

p(X)<=q(X)&r(X)
print(q(X))
+(f[a]==b)
(s[X]==len(Y))<=p(X,Y)

Aggregate functions:len(Y)

sum(Y,for_each=Z)
min(Y,order_by=Z)
rank(for_each=Y,order_by=Z)
concat(Y,order_by=Z,sep=',')
running_sum(N,for_each=Y,order_by=Z)

Ctrl-D, y, F5 to restart the console

See IPython help for more