problem.java

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

		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(33), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(34), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(35), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(36), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(37), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(38), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(39), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(40), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(41), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(42), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(43), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(44), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(45), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(46), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(47), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(48), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(49), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(50), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(51), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(52), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(82), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(83), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(84), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(85), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(86), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(87), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(88), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(89), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(90), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(91), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(92), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(93), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(94), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(95), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(96), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(97), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(98), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(99), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(100), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(101), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(102), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(103), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(104), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(105), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(106), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(107), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(108), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(109), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(110), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(111), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(112), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(113), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(114), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(115), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(116), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(117), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(118), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(119), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(120), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(121), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(122), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(123), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(124), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(125), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(126), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(127), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(128), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(129), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(130), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(131), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(132), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(133), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(134), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(135), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(136), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(137), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(138), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(139), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(140), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(141), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(142), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(143), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(144), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(145), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(146), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(147), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(148), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(149), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(150), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(151), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(152), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(153), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(154), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(155), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(156), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(157), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(158), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(159), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(160), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(161), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(162), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(163), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(164), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(165), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(166), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(167), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(168), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(169), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(170), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(171), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(172), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(173), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(174), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(175), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(176), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(177), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(178), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(179), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(180), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(181), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(182), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(183), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(184), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(185), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(186), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(187), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(188), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(189), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(190), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(191), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(192), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(193), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(194), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(195), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(196), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(197), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(198), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(199), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(200), TermList.NIL)));