scitools-pyke (pypi): Python Knowledge Engine and Automatic Python Program Generator
Keywords: expert|system|forward|backward|chaining|backtracking|plans