Dear All,
We are happy to announce a new edition of the Dogelog player:
- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.
- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.
- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.
Have Fun!
Jan Burse, 02.06.2022
http://www.xlog.ch/
Prolog to the Moon! Dogelog Player is preparing for touch
down. We report some first steps in literate programming with
the Dogelog player. A simple utility allows converting Prolog
texts into live HTML Pages. See also:
Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439
Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:14:45 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.
- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.
- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.
Have Fun!
Jan Burse, 02.06.2022
http://www.xlog.ch/
This was fun!
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.
The Monkey King could not leave since Buddha is one
with the world. We went on to extend the Dogelog player
rollback mechanism so that the end-user does not
experience gaps in the Prolog world. Surprisingly the
predicates solution is a little bit different from the
clauses solution.
Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337
Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:35 UTC+2:
Prolog to the Moon! Dogelog Player is preparing for touch
down. We report some first steps in literate programming with
the Dogelog player. A simple utility allows converting Prolog
texts into live HTML Pages. See also:
Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439
Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:14:45 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.
- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.
- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.
Have Fun!
Jan Burse, 02.06.2022
http://www.xlog.ch/
One more new Browser Prolog in town: prolog.run https://twitter.com/guregu/status/1543655911876874240
Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:04 UTC+2:
This was fun!
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.
The Monkey King could not leave since Buddha is one
with the world. We went on to extend the Dogelog player
rollback mechanism so that the end-user does not
experience gaps in the Prolog world. Surprisingly the
predicates solution is a little bit different from the
clauses solution.
Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337
Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:35 UTC+2:
Prolog to the Moon! Dogelog Player is preparing for touch
down. We report some first steps in literate programming with
the Dogelog player. A simple utility allows converting Prolog
texts into live HTML Pages. See also:
Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439
Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:14:45 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.
- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.
- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.
Have Fun!
Jan Burse, 02.06.2022
http://www.xlog.ch/
One more new Browser Prolog in town: prolog.run https://twitter.com/guregu/status/1543655911876874240
Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:04 UTC+2:
This was fun!
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.
The Monkey King could not leave since Buddha is one
with the world. We went on to extend the Dogelog player
rollback mechanism so that the end-user does not
experience gaps in the Prolog world. Surprisingly the
predicates solution is a little bit different from the
clauses solution.
Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337
Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:35 UTC+2:
Prolog to the Moon! Dogelog Player is preparing for touch
down. We report some first steps in literate programming with
the Dogelog player. A simple utility allows converting Prolog
texts into live HTML Pages. See also:
Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439
Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:14:45 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.
- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.
- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.
Have Fun!
Jan Burse, 02.06.2022
http://www.xlog.ch/
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. Here is a little
new article about the topic:
Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680
Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog
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.
We could combine the chess board output with a text
field input. Situations are then modelled as king/1 and #
knight/1 facts in the text field input and represented in
the chess board output. The text field input does also
provide space for queries, replicating some of Tarski’s World features.
Dogelog Player meets Tarski's World https://twitter.com/dogelogch/status/1554398619972796418
Mostowski Collapse schrieb am Freitag, 29. Juli 2022 um 09:53:23 UTC+2:
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. Here is a little
new article about the topic:
Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680
Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 296 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 59:36:36 |
| Calls: | 6,653 |
| Calls today: | 5 |
| Files: | 12,200 |
| Messages: | 5,331,283 |