1. Extension Revision Solutions
2. Memoization example
3. functor
4. findall and setof
5. NLP 1
6. NLP 2
7. IAC 1
8. IAC 2