Press Report for 2018Admin User, created Feb 27. 2019
1 Company 2018We were able to increase revenue over the previous year and ended up with a small profit. We have also noticed that the company has erroneously incurred expenses, which we have now charged. Furthermore, we changed the pension fund and were able to find a new full insurance.
2 Business Activities 2018We have also succeeded in equipping the new website www.xlog-technologies.ch with a commentary system. At the same time, we have converted the new website and the website www.jekejeke.ch to XML-based commentary databases. Comments no longer need an SQL database. A lot of time was needed to replicate the Prolog Dicts, which are found in SWI Prolog. The requirement meant that we had to add a function expansion feature to Jekejeke Prolog. Measurements have shown that the presence of expansion does not slow down the loading of programs. A surprise was the revision of our module "hypo". We were able to make the disjunction an integral part. After that, we managed to create a module "chr" for Constraint Handling Rules and a module "asp" for Answer Set Programming. The module "asp" uses only one selection operator choose/1.
3 Outlook 2019We have already started with a very informative project. We dared to integrate an HTTP server into the Prolog interpreter. In order to achieve the goals of our proof assistant, we do not just need server-side execution. It is also necessary that our CLP(X) will be improved in the future. Yours sincerely Jan Burse CEO & Partner