// Souffle - A Datalog Compiler
// Copyright (c) 2017, The Souffle Developers. 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 fib(n:number, x:number)

fib(0, 0).
fib(1, 1).

fib(n+1, x+y) :- fib(n, x), fib(n-1, y), n < 20.

.output fib
