Exactly my thesis. Every programmer should be using an inference / crafting system by now in their daily tasks