Tarski’s World is a computer-based introduction to first-order logic permitting the student to construct and query block worlds. We made a similar experiment with Dogelog Player where the query language is Prolog. Constructing Worlds Starting from our previous post, where we changed the output of the Dogelog player to a chess board…

Sofar we have resisted in adding a Next or Abort button to any of our Dogelog Player HTML pages. Behind the lack of these buttons is a method of exploring sequence meta-predicates and what they could do for user interfaces. Sequence Meta-Predicates Sequence meta-predicates are borrowed from SQL where the query processor…

The new Dogelog player literate programming utility is already self-hosting and got a small face lifting. As an exercise we made some experimental notes about computing change in definite programs. Definite programs are roughly Prolog texts without a cut (!) and also without negation as failure. Standard Prolog The below screenshot shows…

The Monkey King was asked by Buddha to jump out of its hand, and failed to do so. We made a little experiment in extending the reach of Dogelog players rollback hand. Given the new clause rollback we added further new feature in the form of a new predicate rollback. Clause Rollback …

The Dogelog Player provides the concept of a stage to partition Prolog facts and rules. Until version 1.0.0 of the Dogelog Player it could clear a stage from monotonic changes. The upcoming version 1.0.1 will provide clearing a stage from non-monotonic changes. Stage Built-Ins Transactions are provide to the web programmer through…

The Dogelog player is a Prolog system that is 100% written in Prolog itself. We report some first steps in literate programming with the Dogelog player. A simple utility allows converting Prolog texts into live HTML Pages. Dogelog Notebooks The utility is again written in Prolog itself. Currently it needs formerly Jekejeke…

We already used the technique of fuzzing to stress test a couple of Prolog systems. We could add more Prolog systems to our stress test and improved upon the produced results and their display. Newly Tested From our previous stress testing we had some left over of untested Prolog systems. The situation…

The Dogelog Player is a Prolog system that is 100% written in Prolog that targets the JavaScript and Python platform. We were interested in its standing concerning its Prolog operator parser. We used the technique of fuzzing to stress test a couple of Prolog systems. Untested Systems As a reference implementation we…

Dogelog Player is a 100% Prolog written Prolog interpreter that runs on the Python and JavaScript platform. It recently became more mature by also supporting the ISO core standard predicates (@<)/2, compare/3, etc.. A missing link was giving an ordering to the Prolog variables. Algorithm 0 The requirement to do more is…