xlog-logic 0.9.2

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

use lib/utils::{double}.

pred input(u32).
input(5).
input(10).

result(X, Y) :- input(X), double(X, Y).