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

:-
	X="123#fact(first)#fact(enfin)""",
	extrf(X,XX),
	(ground(XX),name(XXC,XX),write(XXC),nl,XXC='fact(enfin)"',write('OK...'),nl;
	    fail).