The article in AI Expert was in the Mar 89 issue. It talked about implementing depth-first backtracking in CL, "brining the power of Prolog to CL" or something like that. The original requestor was looking for a Prolog system in CL -- this is only part of it, but it's a start... (-: Brad Brown :-) bradb@ai.utoronto.ca