ASCSC1PP629W1:solution raj$ python3 DLOG.py

DLGAtom: p(x,y,x,"John",20,y,x)

new_vars= ['x_0', 'x_1', 'x_2', 'x_3', 'x_4', 'x_5', 'x_6']

new_args= [('x_0', ('var', 'x')), ('x_1', ('var', 'y')), ('x_2', ('var', 'x')), ('x_3', ('str', '"John"')), ('x_4', ('num', 20)), ('x_5', ('var', 'y')), ('x_6', ('var', 'x'))]

num_conds= ['x_4=20']

str_conds= ['x_3="John"']

const_conds= x_4=20 and x_3="John"

var_args= [('x_0', ('var', 'x')), ('x_1', ('var', 'y')), ('x_2', ('var', 'x')), ('x_5', ('var', 'y')), ('x_6', ('var', 'x'))]

same_vars= [['x_0', 'x_2', 'x_6'], ['x_1', 'x_5']]

same_conds= x_0=x_2 and x_2=x_6 and x_1=x_5

 rename[x,y](project[x_0,x_1](select[x_4=20 and x_3="John" and x_0=x_2 and x_2=x_6 and x_1=x_5](rename[x_0,x_1,x_2,x_3,x_4,x_5,x_6](p))))

DLGAtom: exit