Unique binding Program for query "S/2_bb"
S/2_bb(a,a):-  sup_0_0(a).
sup_0_0(a):-  m_S/2_bb(a,a).
S/2_bb(a,b):-  sup_1_2(a,b,c,d),S/2_bb(d,c).
sup_1_0(a,b):-  m_S/2_bb(a,b).
sup_1_1(a,b,c):- a/2(c,b) , sup_1_0(a,b).
sup_1_2(a,b,c,d):- b/2(a,d) , sup_1_1(a,b,c).
m_S/2_bb(d,c):-  sup_1_2(a,b,c,d).
Intensional predicates are:
	S/2_bb
	sup_0_0
	m_S/2_bb
	sup_1_0
	sup_1_1
	sup_1_2
Unique binding Program for query "S/2_bf"
S/2_bb(a,a):-  sup_0_0(a).
sup_0_0(a):-  m_S/2_bb(a,a).
S/2_bb(a,b):-  sup_1_2(a,b,c,d),S/2_bb(d,c).
sup_1_0(a,b):-  m_S/2_bb(a,b).
sup_1_1(a,b,c):- a/2(c,b) , sup_1_0(a,b).
sup_1_2(a,b,c,d):- b/2(a,d) , sup_1_1(a,b,c).
m_S/2_bb(d,c):-  sup_1_2(a,b,c,d).
S/2_bf(a,a):-  sup_2_0(a).
sup_2_0(a):-  m_S/2_bf(a,a).
S/2_bf(a,b):-  sup_3_2(a,b,c,d),S/2_bb(d,c).
sup_3_0(a,b):-  m_S/2_bf(a,b).
sup_3_1(a,b,c):- a/2(c,b) , sup_3_0(a,b).
sup_3_2(a,b,c,d):- b/2(a,d) , sup_3_1(a,b,c).
m_S/2_bb(d,c):-  sup_3_2(a,b,c,d).
Intensional predicates are:
	S/2_bf
	S/2_bb
	sup_0_0
	m_S/2_bb
	sup_1_0
	sup_1_1
	sup_1_2
	sup_2_0
	m_S/2_bf
	sup_3_0
	sup_3_1
	sup_3_2
Unique binding Program for query "S/2_fb"
S/2_bb(a,a):-  sup_0_0(a).
sup_0_0(a):-  m_S/2_bb(a,a).
S/2_bb(a,b):-  sup_1_2(a,b,c,d),S/2_bb(d,c).
sup_1_0(a,b):-  m_S/2_bb(a,b).
sup_1_1(a,b,c):- a/2(c,b) , sup_1_0(a,b).
sup_1_2(a,b,c,d):- b/2(a,d) , sup_1_1(a,b,c).
m_S/2_bb(d,c):-  sup_1_2(a,b,c,d).
S/2_fb(a,a):-  sup_2_0(a).
sup_2_0(a):-  m_S/2_fb(a,a).
S/2_fb(a,b):-  sup_3_2(a,b,c,d),S/2_bb(d,c).
sup_3_0(a,b):-  m_S/2_fb(a,b).
sup_3_1(a,b,c):- a/2(c,b) , sup_3_0(a,b).
sup_3_2(a,b,c,d):- b/2(a,d) , sup_3_1(a,b,c).
m_S/2_bb(d,c):-  sup_3_2(a,b,c,d).
Intensional predicates are:
	S/2_fb
	S/2_bb
	sup_0_0
	m_S/2_bb
	sup_1_0
	sup_1_1
	sup_1_2
	sup_2_0
	m_S/2_fb
	sup_3_0
	sup_3_1
	sup_3_2
Unique binding Program for query "S/2_ff"
S/2_bb(a,a):-  sup_0_0(a).
sup_0_0(a):-  m_S/2_bb(a,a).
S/2_bb(a,b):-  sup_1_2(a,b,c,d),S/2_bb(d,c).
sup_1_0(a,b):-  m_S/2_bb(a,b).
sup_1_1(a,b,c):- a/2(c,b) , sup_1_0(a,b).
sup_1_2(a,b,c,d):- b/2(a,d) , sup_1_1(a,b,c).
m_S/2_bb(d,c):-  sup_1_2(a,b,c,d).
S/2_ff(a,a):-  sup_2_0(a).
sup_2_0(a):-  m_S/2_ff(a,a).
S/2_ff(a,b):-  sup_3_2(a,b,c,d),S/2_bb(d,c).
sup_3_0(a,b):-  m_S/2_ff(a,b).
sup_3_1(a,b,c):- a/2(c,b) , sup_3_0(a,b).
sup_3_2(a,b,c,d):- b/2(a,d) , sup_3_1(a,b,c).
m_S/2_bb(d,c):-  sup_3_2(a,b,c,d).
Intensional predicates are:
	S/2_ff
	S/2_bb
	sup_0_0
	m_S/2_bb
	sup_1_0
	sup_1_1
	sup_1_2
	sup_2_0
	m_S/2_ff
	sup_3_0
	sup_3_1
	sup_3_2
