Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #41050

Re: ANN: Dogelog Player 1.0.1 - Literate Programming

Show all headers | View raw

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/

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-08-11 10:01 -0700
  Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-08-17 17:03 -0700
    Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-08-26 14:10 -0700
      Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-08-28 07:00 -0700
        Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-04 10:23 -0700
          Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-10 18:36 -0700
            Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-12 09:04 -0700
              Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-13 01:19 -0700
                Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-19 06:47 -0700
        Re: ANN: Dogelog Player 1.0.1 - Literate Programming Ǝ <angel00000100000@mail.ee> - 2022-12-30 18:28 -0800
  Re: ANN: Dogelog Player 1.0.1 - Literate Programming "He, who travels time to time" <he12091983@gmail.com> - 2022-09-20 21:48 -0700
    Re: ANN: Dogelog Player 1.0.1 - Literate Programming Mostowski Collapse <bursejan@gmail.com> - 2022-09-30 18:23 -0700

csiph-web