We have expert systems, theorem provers and planners but OP probably didn't mean this.