re-formulation of core logic in purely declarative way

lodgeit-labs / accounts-assessor

This repository hosts a practical research into leveraging logic programming to solve accounting problems.

GNU Affero General Public License v3.0

7 stars 1 forks source link

re-formulation of core logic in purely declarative way #52

Open koo5 opened 5 years ago

koo5 commented 5 years ago

we are probably looking for an equation solving system capable of carrying proofs/explanations through. Sympy is first candidate. Adjusting prolog CPL systems is another. PRESS. What do we exactly want to do with them? Sets of transactions +/vs higher level equations. Other languages. Mercury.

koo5 commented 5 years ago

we should also figure out how to provide for better error messagess.