Weizenbaum is a project mainly written in Python, it's free.

Solve a problem described by Dijkstra due to Joe Weizenbaum