The words contained in this file might help you see if this file matches what you are looking for:
...N i v e r u s h t y o f g d b logic programming recursion lists data structures alan smaill sep today proof search practical concerns list processing with terms as so far the rules we have seen been mostly non recursive this is a limit on what can be expressed without cannot dene transitive closure eg ancestor in of parent ne declarative description it to an but watch out for traps ctd...