:- use_module(library(aggregate)).(can be autoloaded)
free_variables(Generator, Template, OldList, NewList)
finds this set using OldList as an accumulator.
- - Richard O'Keefe
- Jan Wielemaker (made some SWI-Prolog enhancements)
- Public domain (from DEC10 library).
- To be done
- - Distinguish between control-structures and data terms.
- Exploit our built-in term_variables/2 at some places?