The year wasn’t far from the budget, despite the fact that our earnings were on record level low. In both scenarios our budget had predicted a less high loss of the company. Despite some deviations the expenses were in total the same as our prognosis and hence as the previous year. Regarding liquidity we still benefit from the profit in the year 2015.
Concerning our services we have faced many new thematic challenges. Our experiences from IBM time helped us to navigating the different obstacles. There are still various cleanup tasks pending. These activities are of minor nature, the earnings will be rather small in the future.
We had little time to take care of the CAT. We only concentrated on the web application, applied minor updates to it, and as part of the migration to our new laptop we could successfully perform some regression tests. On the other hand the further development of our Prolog interpreter was exceptionally encouraging. On the level of the runtime we could reduce the locks and show the scalability of our interpreter.
On the level of the language we succeeded in placing the parser on a new fundament. We are moving towards the direction of supporting the construction of a CAS system. On the level of our Minlog expansion progress wasn’t that good initially. An extension of the forward chaining by vari-ables proved to be inefficient. Furthermore a SAT solver as a basis for a CLP(FD) with reification turned out to be a dead end.
In the previous year we were planning to imitate the Java model of hierarchical class loaders and Security Manager. We also considered introducing a document-oriented graphical interface for the desktop. The question arises whether there aren’t simpler models to realize our projects. We are therefore planning two prototypes http://calc.easle.ch/ and http://proof.easle.ch/, where we will build on our CAS and HOL experiences and that should work in the style of a search bar.Yours sincerely
CEO & Partner