There's probably some overlap with the different search strategies that can be applied to logic languages and Prolog-like systems. Further heuristics can limit

There's probably some overlap with the different search strategies that can be applied to logic languages and Prolog-like systems. Further heuristics can limit the search space. Now we have programs that write programs!