Лисп это язык обработки строк а пролог это грубо говоря продвинутая база данных, умеющая находить решения сложнейших логических задач при правильном задание исходных данных.