Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
Dogelog Player is a Prolog system written 100% in Prolog.
It is still young, it has not yet a module system nor some
standard libraries. We show loading standard libraries from
different Prolog systems. The demo shows Ciao Prolog,
Scryer Prolog and SWI-Prolog in the same sandbox. We
didn’t need to massage the artefacts much, demonstrating
that we can read Prolog texts from other Prolog systems.
New Prolog DNA: Novacore and Liblets https://twitter.com/dogelogch/status/1560053037971955712
New Prolog DNA: Novacore and Liblets
https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 11. August 2022 um 19:01:43 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
Dogelog Player is a Prolog system 100% written in Prolog
itself that currently targets the JavaScript and the Python
platform. To run fCube, an intuitionistic propositional logic
model finder and prover, we explored some options concerning
libraries for the Dogelog player.
We could run a Prolog text from the logic community inside
Dogelog Player. The problems we experienced like non-standarized
libraries and old Prolog dialect are possible rather the rule than
the exception. Novacore and Liblets helped investigating and
solving the problem.
Porting fCube to Dogelog Player https://twitter.com/dogelogch/status/1563266539423293443
Porting fCube to Dogelog Player
https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 18. August 2022 um 02:03:50 UTC+2:
Dogelog Player is a Prolog system written 100% in Prolog.
It is still young, it has not yet a module system nor some
standard libraries. We show loading standard libraries from
different Prolog systems. The demo shows Ciao Prolog,
Scryer Prolog and SWI-Prolog in the same sandbox. We
didn’t need to massage the artefacts much, demonstrating
that we can read Prolog texts from other Prolog systems.
New Prolog DNA: Novacore and Liblets https://twitter.com/dogelogch/status/1560053037971955712
New Prolog DNA: Novacore and Liblets https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 11. August 2022 um 19:01:43 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
We made an experiment in provisioning the Dogelog
Player for various code playgrounds. The upcoming release
1.0.2 of Dogelog Player does automatically understand
the script tag, which allows easy shipping of Prolog
text within a HTML page.
Recently browsers started blocking mixed content.
So to run in a code playground we need some HTTPS
hosting. For our new Novacore and Liblets we also
enabled CORS on the server. To stress test JS Fiddle
and the Dogelog Player we used a not so tiny example
in the form of fCube.
Provisioning Dogelog Player for Code Playgrounds https://twitter.com/dogelogch/status/1563657750672019459
Provisioning Dogelog Player for Code Playgrounds https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Freitag, 26. August 2022 um 23:10:11 UTC+2:
Dogelog Player is a Prolog system 100% written in Prolog
itself that currently targets the JavaScript and the Python
platform. To run fCube, an intuitionistic propositional logic
model finder and prover, we explored some options concerning
libraries for the Dogelog player.
We could run a Prolog text from the logic community inside
Dogelog Player. The problems we experienced like non-standarized
libraries and old Prolog dialect are possible rather the rule than
the exception. Novacore and Liblets helped investigating and
solving the problem.
Porting fCube to Dogelog Player https://twitter.com/dogelogch/status/1563266539423293443
Porting fCube to Dogelog Player
https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 18. August 2022 um 02:03:50 UTC+2:
Dogelog Player is a Prolog system written 100% in Prolog.
It is still young, it has not yet a module system nor some
standard libraries. We show loading standard libraries from
different Prolog systems. The demo shows Ciao Prolog,
Scryer Prolog and SWI-Prolog in the same sandbox. We
didn’t need to massage the artefacts much, demonstrating
that we can read Prolog texts from other Prolog systems.
New Prolog DNA: Novacore and Liblets https://twitter.com/dogelogch/status/1560053037971955712
New Prolog DNA: Novacore and Liblets https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 11. August 2022 um 19:01:43 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
We recently posted about some progress to access
native libraries from within the Dogelog Player. The
native API has been improved in that there is a first
inventory and that the access has been optimized.
In the case of JavaScript the native API already totals
29 members. Since no more native API object is created
there is now a new programming idiom. For benchmarking
we used again the numbervars/3 example. The results
are quite encouraging.
Preview Novacore first Native API Inventory https://twitter.com/dogelogch/status/1568773865391751173
Preview Novacore first Native API Inventory https://www.facebook.com/groups/dogelog
Princeton WordNet is a relational database of English
lexical and semantical word relationships. As a relational
database it is also readily available as Prolog predicates.
We made an experiment in porting WordNet to a
Dogelog Player notebook.
The Dogelog Player has a Prolog to JavaScript and Python
transpiler from the beginning of its inception. The experiment
here is new since we combined it with the new native libraries
of the Dogelog Player. The results are encouraging, except that
some more work needs to be spent on the
hosting provider and on the Prolog indexing.
Porting WordNet to the Dogelog Player https://twitter.com/dogelogch/status/1569353149835628544
Porting WordNet to the Dogelog Player
https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Sonntag, 11. September 2022 um 03:36:52 UTC+2:
We recently posted about some progress to access
native libraries from within the Dogelog Player. The
native API has been improved in that there is a first
inventory and that the access has been optimized.
In the case of JavaScript the native API already totals
29 members. Since no more native API object is created
there is now a new programming idiom. For benchmarking
we used again the numbervars/3 example. The results
are quite encouraging.
Preview Novacore first Native API Inventory https://twitter.com/dogelogch/status/1568773865391751173
Preview Novacore first Native API Inventory https://www.facebook.com/groups/dogelog
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
Wwwwwwwho let the dogs out ?????
Woof, woof, woof !!!!!!!!!
On Thursday, August 11, 2022 at 8:01:43 PM UTC+3, Mostowski Collapse wrote:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
We made an experiment in provisioning the Dogelog
Player for various code playgrounds. The upcoming release
1.0.2 of Dogelog Player does automatically understand
the script tag, which allows easy shipping of Prolog
text within a HTML page.
Recently browsers started blocking mixed content.
So to run in a code playground we need some HTTPS
hosting. For our new Novacore and Liblets we also
enabled CORS on the server. To stress test JS Fiddle
and the Dogelog Player we used a not so tiny example
in the form of fCube.
Provisioning Dogelog Player for Code Playgrounds https://twitter.com/dogelogch/status/1563657750672019459
Provisioning Dogelog Player for Code Playgrounds https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Freitag, 26. August 2022 um 23:10:11 UTC+2:
Dogelog Player is a Prolog system 100% written in Prolog
itself that currently targets the JavaScript and the Python
platform. To run fCube, an intuitionistic propositional logic
model finder and prover, we explored some options concerning
libraries for the Dogelog player.
We could run a Prolog text from the logic community inside
Dogelog Player. The problems we experienced like non-standarized
libraries and old Prolog dialect are possible rather the rule than
the exception. Novacore and Liblets helped investigating and
solving the problem.
Porting fCube to Dogelog Player https://twitter.com/dogelogch/status/1563266539423293443
Porting fCube to Dogelog Player
https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 18. August 2022 um 02:03:50 UTC+2:
Dogelog Player is a Prolog system written 100% in Prolog.
It is still young, it has not yet a module system nor some
standard libraries. We show loading standard libraries from
different Prolog systems. The demo shows Ciao Prolog,
Scryer Prolog and SWI-Prolog in the same sandbox. We
didn’t need to massage the artefacts much, demonstrating
that we can read Prolog texts from other Prolog systems.
New Prolog DNA: Novacore and Liblets https://twitter.com/dogelogch/status/1560053037971955712
New Prolog DNA: Novacore and Liblets https://www.facebook.com/groups/dogelog
Mostowski Collapse schrieb am Donnerstag, 11. August 2022 um 19:01:43 UTC+2:
Dear All,
We are happy to announce a new edition of the Dogelog player:
- Browser base_url:
Its now possible to set the Prolog flag base_url when
the Dogelog Player is run from within the browser.
This will affect the predicates open/3 and absolute_file_name/2.
- Non-Monotonic Update:
The clear() JavaScript call could already rollback
monotonic updates for a while. This release brings
rollback of retract/1 and abolish/1.
- Literate Programming:
There is a new webifyer utility which can turn a
Prolog text into a Dogelog notebook page. As an
example tutorial we have webifyied a section from
Learn Prolog Now!
Have Fun!
Jan Burse, 11.08.2022, http://www.xlog.ch/
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 251 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 04:55:58 |
| Calls: | 5,541 |
| Calls today: | 7 |
| Files: | 11,675 |
| Messages: | 5,106,093 |
| Posted today: | 1 |