Well known from introductory AI
texts, this viewer allows the complete side-effect free
representation of logical agents.
:- wumpusstate(WAH) <<< WA = w(0):ag1/1, WAH= s(WA,_), snapshot_(WAH,Explanation).
:- wumpuscourse_agent(WA) <<< WA = w(0):ag1/1.
[logprog|GUPU|UWN]