prolog rule-engine logic inference boolean-logic

inference parameters templates c++

hindley-milner inference functional-programming types