problem.java

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(66), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(67), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(83), new TermList(TermConstant.getConstant(82), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(84), new TermList(TermConstant.getConstant(83), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(84), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(85), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(86), new TermList(TermConstant.getConstant(85), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(87), new TermList(TermConstant.getConstant(86), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(88), new TermList(TermConstant.getConstant(87), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(89), new TermList(TermConstant.getConstant(88), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(90), new TermList(TermConstant.getConstant(89), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(91), new TermList(TermConstant.getConstant(90), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(92), new TermList(TermConstant.getConstant(91), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(93), new TermList(TermConstant.getConstant(92), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(93), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(94), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(95), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(96), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(97), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(98), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(99), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(100), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(101), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(102), new TermList(TermConstant.getConstant(101), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(102), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(104), new TermList(TermConstant.getConstant(103), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(105), new TermList(TermConstant.getConstant(104), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(106), new TermList(TermConstant.getConstant(105), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(107), new TermList(TermConstant.getConstant(106), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(108), new TermList(TermConstant.getConstant(107), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(109), new TermList(TermConstant.getConstant(108), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(110), new TermList(TermConstant.getConstant(109), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(111), new TermList(TermConstant.getConstant(110), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(112), new TermList(TermConstant.getConstant(111), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(113), new TermList(TermConstant.getConstant(112), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(114), new TermList(TermConstant.getConstant(113), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(115), new TermList(TermConstant.getConstant(114), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(116), new TermList(TermConstant.getConstant(115), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(116), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(117), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(118), new TermList(TermConstant.getConstant(117), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(119), new TermList(TermConstant.getConstant(118), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(120), new TermList(TermConstant.getConstant(119), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(121), new TermList(TermConstant.getConstant(120), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(122), new TermList(TermConstant.getConstant(121), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(123), new TermList(TermConstant.getConstant(122), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(124), new TermList(TermConstant.getConstant(123), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(125), new TermList(TermConstant.getConstant(124), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(126), new TermList(TermConstant.getConstant(125), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(127), new TermList(TermConstant.getConstant(126), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(128), new TermList(TermConstant.getConstant(127), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(129), new TermList(TermConstant.getConstant(128), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(130), new TermList(TermConstant.getConstant(129), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(131), new TermList(TermConstant.getConstant(130), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(132), new TermList(TermConstant.getConstant(131), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(133), new TermList(TermConstant.getConstant(132), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(134), new TermList(TermConstant.getConstant(133), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(134), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(135), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(136), new TermList(TermConstant.getConstant(135), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(137), new TermList(TermConstant.getConstant(136), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(138), new TermList(TermConstant.getConstant(137), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(139), new TermList(TermConstant.getConstant(138), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(140), new TermList(TermConstant.getConstant(139), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(141), new TermList(TermConstant.getConstant(140), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(142), new TermList(TermConstant.getConstant(141), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(143), new TermList(TermConstant.getConstant(142), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(144), new TermList(TermConstant.getConstant(143), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(145), new TermList(TermConstant.getConstant(144), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(146), new TermList(TermConstant.getConstant(145), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(146), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(147), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(148), new TermList(TermConstant.getConstant(147), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(149), new TermList(TermConstant.getConstant(148), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(150), new TermList(TermConstant.getConstant(149), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(151), new TermList(TermConstant.getConstant(150), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(152), new TermList(TermConstant.getConstant(151), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(153), new TermList(TermConstant.getConstant(152), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(154), new TermList(TermConstant.getConstant(153), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(155), new TermList(TermConstant.getConstant(154), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(156), new TermList(TermConstant.getConstant(155), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(157), new TermList(TermConstant.getConstant(156), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(157), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(158), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(159), new TermList(TermConstant.getConstant(158), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(160), new TermList(TermConstant.getConstant(159), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(161), new TermList(TermConstant.getConstant(160), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(162), new TermList(TermConstant.getConstant(161), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(163), new TermList(TermConstant.getConstant(162), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(164), new TermList(TermConstant.getConstant(163), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(165), new TermList(TermConstant.getConstant(164), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(165), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(166), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(167), new TermList(TermConstant.getConstant(166), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(168), new TermList(TermConstant.getConstant(167), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(169), new TermList(TermConstant.getConstant(168), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(170), new TermList(TermConstant.getConstant(169), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(171), new TermList(TermConstant.getConstant(170), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(172), new TermList(TermConstant.getConstant(171), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(173), new TermList(TermConstant.getConstant(172), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(174), new TermList(TermConstant.getConstant(173), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(175), new TermList(TermConstant.getConstant(174), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(176), new TermList(TermConstant.getConstant(175), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(177), new TermList(TermConstant.getConstant(176), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(178), new TermList(TermConstant.getConstant(177), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(179), new TermList(TermConstant.getConstant(178), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(180), new TermList(TermConstant.getConstant(179), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(180), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(181), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(182), new TermList(TermConstant.getConstant(181), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(183), new TermList(TermConstant.getConstant(182), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(184), new TermList(TermConstant.getConstant(183), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(185), new TermList(TermConstant.getConstant(184), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(186), new TermList(TermConstant.getConstant(185), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(187), new TermList(TermConstant.getConstant(186), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(188), new TermList(TermConstant.getConstant(187), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(189), new TermList(TermConstant.getConstant(188), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(190), new TermList(TermConstant.getConstant(189), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(191), new TermList(TermConstant.getConstant(190), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(192), new TermList(TermConstant.getConstant(191), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(193), new TermList(TermConstant.getConstant(192), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(194), new TermList(TermConstant.getConstant(193), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(195), new TermList(TermConstant.getConstant(194), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(196), new TermList(TermConstant.getConstant(195), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(196), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(197), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(198), new TermList(TermConstant.getConstant(197), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(199), new TermList(TermConstant.getConstant(198), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(200), new TermList(TermConstant.getConstant(199), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(201), new TermList(TermConstant.getConstant(200), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(202), new TermList(TermConstant.getConstant(201), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(203), new TermList(TermConstant.getConstant(202), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(204), new TermList(TermConstant.getConstant(203), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(205), new TermList(TermConstant.getConstant(204), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(206), new TermList(TermConstant.getConstant(205), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(207), new TermList(TermConstant.getConstant(206), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(208), new TermList(TermConstant.getConstant(207), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(209), new TermList(TermConstant.getConstant(208), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(210), new TermList(TermConstant.getConstant(209), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(211), new TermList(TermConstant.getConstant(210), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(211), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(212), TermList.NIL)));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(213), new TermList(TermConstant.getConstant(212), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(214), new TermList(TermConstant.getConstant(213), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(215), new TermList(TermConstant.getConstant(214), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(216), new TermList(TermConstant.getConstant(215), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(217), new TermList(TermConstant.getConstant(216), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(218), new TermList(TermConstant.getConstant(217), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(219), new TermList(TermConstant.getConstant(218), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(220), new TermList(TermConstant.getConstant(219), TermList.NIL))));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(220), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(221), TermList.NIL)));
		s.add(new Predicate(3, 0, new Te