xlog-logic 0.9.2

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

// Main module - depends on mid (which depends on base)
use mid.

pred main_pred(u32).
main_pred(X) :- mid_pred(X).

?- main_pred(X).