// CSE 414 Unit 2 -- Relational Data Model
// Souffle demo
// run using souffle [filename]

// Example of unstratified Datalog 
.decl A(x: number)
.decl B(x: number)

.output B(IO=stdout)

A(x) :- !B(x).
B(x) :- !A(x). // error!