search

mr-niels-christensen / pyrules

MIT License
0 stars 0 forks source link

Implement Rule class and substitution #1

Closed mr-niels-christensen closed 10 years ago

mr-niels-christensen commented 10 years ago

Add a class for Rules, including the functionality to get a Binding from a number of premises, then apply that Binding to the Rule's conclusion.