Dogelog PlayerSegerberg Models in Dogelog PlayerWe have retracted our simple λμ-calculus blog post until we have explored its model and proof theory more thoroughly. Meanwhile we made a…Jul 8Jul 8
Dogelog PlayerGame Play of Spock DokuStarting with the Sudoku solver we have recently obtained we developed a Puzzle generator together with an interactive game play. The…Apr 1Apr 1
Dogelog PlayerMap Coloring and Sudoku SolvingDogelog Player is a Prolog system that is 100% written in Prolog itself. It is available for the JavaScript, Python and Java platform. We…Mar 10Mar 10
Dogelog PlayerAccessing Open Data Portals with the Dogelog PlayerDogelog Player is a Prolog interpreter 100% written in pure Prolog, that targets the JavaScript and Python platform. We made a bare bone…Dec 6, 2022Dec 6, 2022
Dogelog PlayerCompute π to 8192 Bits in PrologThe Go programming language offers a type math.big.Float out of the box. There is no such data type for the JavaScript platform that is…Nov 19, 2022Nov 19, 2022