xlog-logic 0.9.2

Parser, compiler, and optimizer for XLOG logic programs
Documentation 
1
2
3
4

// Helper predicates for math operations
pred double(u32, u32).

double(X, Y) :- Y is X * 2.