// Souffle - A Datalog Compiler
// Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved
// Licensed under the Universal Permissive License v 1.0 as shown at:
// - https://opensource.org/licenses/UPL
// - <souffle root>/licenses/SOUFFLE-UPL.txt

.decl X(x:number)
X(1).

.comp B  {
    A(x) :- X(x).
}

.comp A {
   .decl A(x:number)
.output A()
   .init b = B
}


.init a = A

