:-[support].
:-[fchain_h].

:-
	X="123$goal(solve_mistery)$goal(prove_murder)$goal(enfin)""",
	extrg(X,XX),
	(ground(XX),name(XXC,XX),write(XXC),nl,XXC='goal(enfin)"',write('OK...'),nl;
	    fail).