// begin of belief.pl code file.

// begin of unit belief code.

final class belief_backtracking_example_1 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: backtracking_example(_G401)

	case 0:
		m.try_me_else (5);
		m.allocate (1);
		//m.success =
		m.get_x_varia (10,1);	/* Field */
		m.end_head ();
		break;

	case 1:

		// goal: member_attr(_G401, _G410)

		m.put_x_value (10,1);	/* 'Field' */
		m.put_y_value (0,2);	/* 'Value' */
		m.call (7) /*2*/;	/* member_attr_2 */
		break;

	case 2:

		// goal: format('backtracking: list member = ~w~n', [_G410])

		m.put_atom (data__1__0,1);
		m.put_list (2);
		m.set_y_value (0);	/* 'Value' */
		m.set_nil ();
		m.call (dlplib.format_2); /*6*/
		break;

	case 3:

		// goal: fail

		m.deallocate ();
		m.exec (dlplib.fail_0);
		break;

	case 4:
		m.end_rule ();
		break;

		// head: backtracking_example(_G2711)

	case 5:
		m.trust_or_fail ();
		//m.success =
		m.get_v_varia (1);	/* Unknown */
		m.end_head ();
		break;

	case 6:
		m.end_fact ();
		break;

	} // switch
	return m.success;
} // belief:backtracking_example/1 exec()

// belief:backtracking_example/1 decls.
 public SymbolDescriptor data__1__0;
 public SymbolDescriptor op__dot__2;
 public SymbolDescriptor sl_sr__0;
// end of belief:backtracking_example/1 decls.

public boolean init (DLP m) {
 data__1__0 = m.define_symbol ("backtracking: list member = ~w~n".intern(), 0);
 op__dot__2 = m.define_symbol (".".intern(), 2);
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 return true;
} // belief:backtracking_example/1 init()

} // belief:backtracking_example/1

final class belief_new_attr_1 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: new_attr(_G401)

	case 0:
		//m.success =
		m.get_x_varia (10,1);	/* Field */
		m.end_head ();
		break;

	case 1:

		// goal: set_field(_G401, [])

		m.put_x_value (10,1);	/* 'Field' */
		m.put_nil (2);
		m.exec (dlplib.set_field_2);
		break;

	case 2:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:new_attr/1 exec()

// belief:new_attr/1 decls.
 public SymbolDescriptor sl_sr__0;
// end of belief:new_attr/1 decls.

public boolean init (DLP m) {
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 return true;
} // belief:new_attr/1 init()

} // belief:new_attr/1

final class belief_show_attr_1 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: show_attr(_G401)

	case 0:
		m.allocate (2);
		//m.success =
		m.get_y_value (1,1);	/* Field */
		m.end_head ();
		break;

	case 1:

		// goal: get_field(_G401, _G410)

		m.put_y_value (1,1);	/* 'Field' */
		m.put_y_value (0,2);	/* 'Value' */
		m.call (dlplib.get_field_2); /*6*/
		break;

	case 2:

		// goal: format('~w = ~w~n', [_G401, _G410])

		m.put_list (10);
		m.set_y_value (0);	/* 'Value' */
		m.set_nil ();
		m.put_atom (data__2__0,1);
		m.put_list (2);
		m.set_y_value (1);	/* 'Field' */
		m.set_x_value (10);	/* 'Xtmp' */
		m.deallocate ();
		m.exec (dlplib.format_2);
		break;

	case 3:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:show_attr/1 exec()

// belief:show_attr/1 decls.
 public SymbolDescriptor data__2__0;
 public SymbolDescriptor op__dot__2;
 public SymbolDescriptor sl_sr__0;
// end of belief:show_attr/1 decls.

public boolean init (DLP m) {
 data__2__0 = m.define_symbol ("~w = ~w~n".intern(), 0);
 op__dot__2 = m.define_symbol (".".intern(), 2);
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 return true;
} // belief:show_attr/1 init()

} // belief:show_attr/1

final class belief_add_attr_2 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: add_attr(_G401, _G402)

	case 0:
		m.allocate (4);
		//m.success =
		m.get_y_value (1,1);	/* Field */
		m.get_y_value (2,2);	/* Value */
		m.end_head ();
		break;

	case 1:

		// goal: get_field(_G401, _G411)

		m.put_y_value (1,1);	/* 'Field' */
		m.put_y_value (3,2);	/* 'OldList' */
		m.call (dlplib.get_field_2); /*6*/
		break;

	case 2:

		// goal: add_attr(_G411, _G402, _G418)

		m.put_y_value (3,1);	/* 'OldList' */
		m.put_y_value (2,2);	/* 'Value' */
		m.put_y_value (0,3);	/* 'NewList' */
		m.call (4) /*2*/;	/* add_attr_3 */
		break;

	case 3:

		// goal: set_field(_G401, _G418)

		m.put_y_value (1,1);	/* 'Field' */
		m.put_y_value (0,2);	/* 'NewList' */
		m.deallocate ();
		m.exec (dlplib.set_field_2);
		break;

	case 4:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:add_attr/2 exec()

// belief:add_attr/2 decls.
// end of belief:add_attr/2 decls.

public boolean init (DLP m) {
 return true;
} // belief:add_attr/2 init()

} // belief:add_attr/2

final class belief_add_attr_3 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: add_attr([], _G402, [_G402])

	case 0:
		m.try_me_else (2);
		//m.success =
		m.get_nil (1);
		m.get_x_varia (11,2);	/* V */
		m.get_list (3);
		m.uni_x_value (11);	/* V */
		m.uni_nil ();
		m.cut_neck ();
		m.end_head ();
		break;

	case 1:
		m.end_fact ();
		break;

		// head: add_attr([_G1805|_G1812], _G1805, [_G1805|_G1812])

	case 2:
		m.retry_me_else (4);
		//m.success =
		m.get_list (1);
		m.uni_x_varia (11);	/* H */
		m.uni_x_varia (12);	/* T */
		m.get_x_value (11,2);	/* H */
		m.get_list (3);
		m.uni_x_value (11);	/* H */
		m.uni_x_value (12);	/* T */
		m.cut_neck ();
		m.end_head ();
		break;

	case 3:
		m.end_fact ();
		break;

		// head: add_attr([_G3206|_G3207], _G3200, [_G3206|_G3210])

	case 4:
		m.trust_or_fail ();
		//m.success =
		m.get_list (1);
		m.uni_x_varia (11);	/* H */
		m.uni_x_varia (12);	/* T1 */
		m.get_x_varia (13,2);	/* V */
		m.get_list (3);
		m.uni_x_value (11);	/* H */
		m.uni_x_varia (14);	/* T2 */
		m.end_head ();
		break;

	case 5:

		// goal: add_attr(_G3207, _G3200, _G3210)

		m.put_x_value (12,1);	/* 'T1' */
		m.put_x_value (13,2);	/* 'V' */
		m.put_x_value (14,3);	/* 'T2' */
		m.exec (4);	/* add_attr_3 */
		break;

	case 6:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:add_attr/3 exec()

// belief:add_attr/3 decls.
 public SymbolDescriptor sl_sr__0;
 public SymbolDescriptor op__dot__2;
// end of belief:add_attr/3 decls.

public boolean init (DLP m) {
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 op__dot__2 = m.define_symbol (".".intern(), 2);
 return true;
} // belief:add_attr/3 init()

} // belief:add_attr/3

final class belief_lookup_attr_2 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: lookup_attr(_G401, _G402)

	case 0:
		m.allocate (2);
		//m.success =
		m.get_x_varia (10,1);	/* Field */
		m.get_y_value (0,2);	/* Value */
		m.end_head ();
		break;

	case 1:

		// goal: get_field(_G401, _G411)

		m.put_x_value (10,1);	/* 'Field' */
		m.put_y_value (1,2);	/* 'List' */
		m.call (dlplib.get_field_2); /*6*/
		break;

	case 2:

		// goal: lookup_next_attr(_G411, _G402)

		m.put_y_value (1,1);	/* 'List' */
		m.put_y_value (0,2);	/* 'Value' */
		m.deallocate ();
		m.exec (6);	/* lookup_next_attr_2 */
		break;

	case 3:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:lookup_attr/2 exec()

// belief:lookup_attr/2 decls.
// end of belief:lookup_attr/2 decls.

public boolean init (DLP m) {
 return true;
} // belief:lookup_attr/2 init()

} // belief:lookup_attr/2

final class belief_lookup_next_attr_2 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: lookup_next_attr([], _G402)

	case 0:
		m.try_me_else (3);
		//m.success =
		m.get_nil (1);
		m.get_v_varia (2);	/* Unknown */
		m.cut_neck ();
		m.end_head ();
		break;

	case 1:

		// goal: fail

		m.exec (dlplib.fail_0);
		break;

	case 2:
		m.end_rule ();
		break;

		// head: lookup_next_attr([_G1699|_G1705], _G1699)

	case 3:
		m.retry_me_else (5);
		//m.success =
		m.get_list (1);
		m.uni_x_varia (10);	/* H */
		m.uni_v_varia ();	/* Unknown */
		m.get_x_value (10,2);	/* H */
		m.cut_neck ();
		m.end_head ();
		break;

	case 4:
		m.end_fact ();
		break;

		// head: lookup_next_attr([_G3035|_G3036], _G3030)

	case 5:
		m.trust_or_fail ();
		//m.success =
		m.get_list (1);
		m.uni_v_varia ();	/* Unknown */
		m.uni_x_varia (11);	/* T */
		m.get_x_varia (12,2);	/* V */
		m.end_head ();
		break;

	case 6:

		// goal: lookup_next_attr(_G3036, _G3030)

		m.put_x_value (11,1);	/* 'T' */
		m.put_x_value (12,2);	/* 'V' */
		m.exec (6);	/* lookup_next_attr_2 */
		break;

	case 7:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:lookup_next_attr/2 exec()

// belief:lookup_next_attr/2 decls.
 public SymbolDescriptor sl_sr__0;
 public SymbolDescriptor op__dot__2;
// end of belief:lookup_next_attr/2 decls.

public boolean init (DLP m) {
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 op__dot__2 = m.define_symbol (".".intern(), 2);
 return true;
} // belief:lookup_next_attr/2 init()

} // belief:lookup_next_attr/2

final class belief_member_attr_2 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: member_attr(_G401, _G402)

	case 0:
		m.allocate (2);
		//m.success =
		m.get_x_varia (10,1);	/* Field */
		m.get_y_value (1,2);	/* Value */
		m.end_head ();
		break;

	case 1:

		// goal: get_field(_G401, _G411)

		m.put_x_value (10,1);	/* 'Field' */
		m.put_y_value (0,2);	/* 'List' */
		m.call (dlplib.get_field_2); /*6*/
		break;

	case 2:

		// goal: member(_G402, _G411)

		m.put_y_value (1,1);	/* 'Value' */
		m.put_y_value (0,2);	/* 'List' */
		m.deallocate ();
		m.exec (dlplib.member_2);
		break;

	case 3:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:member_attr/2 exec()

// belief:member_attr/2 decls.
// end of belief:member_attr/2 decls.

public boolean init (DLP m) {
 return true;
} // belief:member_attr/2 init()

} // belief:member_attr/2

final class belief_delete_attr_2 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: delete_attr(_G401, _G402)

	case 0:
		m.allocate (4);
		//m.success =
		m.get_y_value (1,1);	/* Field */
		m.get_y_value (2,2);	/* Value */
		m.end_head ();
		break;

	case 1:

		// goal: get_field(_G401, _G411)

		m.put_y_value (1,1);	/* 'Field' */
		m.put_y_value (3,2);	/* 'OldList' */
		m.call (dlplib.get_field_2); /*6*/
		break;

	case 2:

		// goal: delete_attr_from_list(_G411, _G417, _G402)

		m.put_y_value (3,1);	/* 'OldList' */
		m.put_y_value (0,2);	/* 'NewList' */
		m.put_y_value (2,3);	/* 'Value' */
		m.call (9) /*2*/;	/* delete_attr_from_list_3 */
		break;

	case 3:

		// goal: set_field(_G401, _G417)

		m.put_y_value (1,1);	/* 'Field' */
		m.put_y_value (0,2);	/* 'NewList' */
		m.deallocate ();
		m.exec (dlplib.set_field_2);
		break;

	case 4:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:delete_attr/2 exec()

// belief:delete_attr/2 decls.
// end of belief:delete_attr/2 decls.

public boolean init (DLP m) {
 return true;
} // belief:delete_attr/2 init()

} // belief:delete_attr/2

final class belief_delete_attr_from_list_3 extends Code {

public boolean exec (DLP m) {

	switch (m.PSreg) {

		// head: delete_attr_from_list([], [], _G403)

	case 0:
		m.try_me_else (2);
		//m.success =
		m.get_nil (1);
		m.get_nil (2);
		m.get_v_varia (3);	/* Unknown */
		m.cut_neck ();
		m.end_head ();
		break;

	case 1:
		m.end_fact ();
		break;

		// head: delete_attr_from_list([_G1574|_G1573], _G1573, _G1574)

	case 2:
		m.retry_me_else (4);
		//m.success =
		m.get_list (1);
		m.uni_x_varia (11);	/* H */
		m.uni_x_varia (12);	/* T */
		m.get_x_value (12,2);	/* T */
		m.get_x_value (11,3);	/* H */
		m.cut_neck ();
		m.end_head ();
		break;

	case 3:
		m.end_fact ();
		break;

		// head: delete_attr_from_list([_G3001|_G3002], [_G3001|_G3005], _G2996)

	case 4:
		m.trust_or_fail ();
		//m.success =
		m.get_list (1);
		m.uni_x_varia (11);	/* H */
		m.uni_x_varia (12);	/* T1 */
		m.get_list (2);
		m.uni_x_value (11);	/* H */
		m.uni_x_varia (13);	/* T2 */
		m.get_x_varia (14,3);	/* V */
		m.end_head ();
		break;

	case 5:

		// goal: delete_attr_from_list(_G3002, _G3005, _G2996)

		m.put_x_value (12,1);	/* 'T1' */
		m.put_x_value (13,2);	/* 'T2' */
		m.put_x_value (14,3);	/* 'V' */
		m.exec (9);	/* delete_attr_from_list_3 */
		break;

	case 6:
		m.end_rule ();
		break;

	} // switch
	return m.success;
} // belief:delete_attr_from_list/3 exec()

// belief:delete_attr_from_list/3 decls.
 public SymbolDescriptor sl_sr__0;
 public SymbolDescriptor op__dot__2;
// end of belief:delete_attr_from_list/3 decls.

public boolean init (DLP m) {
 sl_sr__0 = m.define_symbol ("[]".intern(), 0);
 op__dot__2 = m.define_symbol (".".intern(), 2);
 return true;
} // belief:delete_attr_from_list/3 init()

} // belief:delete_attr_from_list/3

class belief extends Code {
 public static ObjectDescriptor object;
 public static MethodDescriptor backtracking_example_1;
 public static MethodDescriptor new_attr_1;
 public static MethodDescriptor show_attr_1;
 public static MethodDescriptor add_attr_2;
 public static MethodDescriptor add_attr_3;
 public static MethodDescriptor lookup_attr_2;
 public static MethodDescriptor lookup_next_attr_2;
 public static MethodDescriptor member_attr_2;
 public static MethodDescriptor delete_attr_2;
 public static MethodDescriptor delete_attr_from_list_3;

public boolean init (DLP m) {
 object = m.define_object ("belief".intern(), 0, 10, 0);
 backtracking_example_1 = m.define_method (object, 0, "backtracking_example".intern(), 1);
 new_attr_1 = m.define_method (object, 1, "new_attr".intern(), 1);
 show_attr_1 = m.define_method (object, 2, "show_attr".intern(), 1);
 add_attr_2 = m.define_method (object, 3, "add_attr".intern(), 2);
 add_attr_3 = m.define_method (object, 4, "add_attr".intern(), 3);
 lookup_attr_2 = m.define_method (object, 5, "lookup_attr".intern(), 2);
 lookup_next_attr_2 = m.define_method (object, 6, "lookup_next_attr".intern(), 2);
 member_attr_2 = m.define_method (object, 7, "member_attr".intern(), 2);
 delete_attr_2 = m.define_method (object, 8, "delete_attr".intern(), 2);
 delete_attr_from_list_3 = m.define_method (object, 9, "delete_attr_from_list".intern(), 3);
 return true;
} // belief init()
} // class belief


// end of unit belief code.

// end of belief.pl code file.