constraint.otml

来自「SRI international 发布的OAA框架软件」· OTML 代码 · 共 28 行

<testcase>
	<toFac timeout="1000">
		ev_solve(_,animal(Animal),_)
		<member var="Animal" value="[cat,lion,tiger,sabertooth]"/>
	</toFac>

	<toFac timeout="1000">
		ev_solve(_,alist(Animals),_)
		<subset var="Animals" value="[cat,lion,tiger,sabertooth]"/>
	</toFac>

	<toFac timeout="1000">
		ev_solve(_,alist(Animals),_)
		<superset var="Animals" value="[tiger,cat]"/>
	</toFac>

	<toFac timeout="1000">
		ev_solve(_,alist(Ani),_)
		<equalset var="Ani" value="[tiger,cat,moris]"/>
	</toFac>

	<toFac timeout="1000">
		ev_solve(Id,alist(Animals),Params)
		<contains var="Animals" value="moris"/>
	</toFac>

</testcase>