#show body_chain/3.
max_arg(6).

#script (python)

from itertools import permutations
from clingo.symbol import Tuple_, Number
def mk_tuple(xs):
    return Tuple_([Number(x) for x in xs])
def pyvars(arity, max_vars):
    for x in permutations(range(max_vars.number),arity.number):
        yield mk_tuple(x)

#end.


input(0).
input(1).
input(2).

func(if).
func(car).
func(cdr).
func(cons).
func(nulllist).

arity(if, 3).
arity(car, 1).
arity(cdr, 1).
arity(cons, 2).
arity(nulllist, 1).

vars(Func,@pyvars(A,MaxVars)):-
    max_arg(MaxVars),
    arity(Func, A).

4 {body_chain(Func, Args, Outarg) : func(Func), vars(Func, Args), Outarg = 1..8, not input(Outarg)} 5.