potassco / ngo

Non Ground Optimizer for logic programs.
MIT License
4 stars 0 forks source link

Performance Optimization #100

Open MaxOstrowski opened 5 months ago

MaxOstrowski commented 5 months ago

Performance becomes an issue with fixpoint optimization. While dependency analysis etc.. could profit from on the fly recomputation, this is hard to implement. Pick low hanging fruits by analysing bottlenecks.

MaxOstrowski commented 5 months ago

Most of the time seems to be spend using sympy simplify. Second largest is accessing AST's in general, collecting binding information.