// 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

// check whether constants in head of rules work correctly
.type n <: symbol

.decl N (x:n)
.output N ()
.decl A (x:n, y:n)
.output A ()

N("0").
N("1").
N("2").
N("3").

A ("0",x) :- N(x).
A ("3",x) :- N(x).
