Professional Documents
Culture Documents
end if;
return 2;
end proc:
BaiGiai := proc (GT, goal)
local kt, i, s, v;
kt := FindSolution(GT, goal);
if kt = 1 then Solution[1];
for s in Solution do
printf("ta c %a", op(s));
for v in Values do
if lhs(v) = lhs(op(s)) then
printf(" => %a", v);
printf("\n");
break;
end if;
end do;
end do;
end if;
if kt = 2 then
print("Kt qu nm trong đp n");
end if;
if kt = 0 then
print("khng gii đ?c6"")
end if;
end proc: