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

Groups > comp.lang.java.programmer > #40059

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

Show all headers | View raw

Raymond Smullyan posed the Lion and the Unicorn riddle
inspired by a story about Alice from Lewis Carroll.
A Prolog solution was given in a Paper from 1986 about
VM/Prolog. The paper discussed theorem proving versus
logic programming with Prolog. We give a variant of
this solution and discuss the involved meta predicates.

We presented a solution based on a user defined meta
predicate contrary/2. Differences in negation of
failure made us curious how other Prolog systems
perform. Dogelog Player with a simple strategy for
meta predicates without sacrificing ISO core standard
compatibility, lands in the middle. Hence we could
demonstrate that one can have the cake and eat it too.

See also:

The Lion and the Unicorn met Dogelog
https://twitter.com/dogelogch/status/1722612860306821386

The Lion and the Unicorn met Dogelog
https://www.facebook.com/groups/dogelog


Mild Shock schrieb:
> Dear All,
> 
> We are happy to announce a new edition of
> the Dogelog player:
> 
> - Monomorphic Cache:
> New episode in creating a Prolog system with no
> atom table and no datatype string, only atoms. Like
> formerly Jekejeke Prolog our Dogelog player has only
> a provables table and inline caches, whereas we
> didn't need polymorphic, only monomorphic.
> 
> - Neck Forms:
> We allow the Prolog system to treat neck deterministic
> built-ins in a special way so as to avoid the costly
> creation of sub-goals. Intriguingly even more speed-up
> can be gained in that the built-ins decide on their
> own how to interpret the Albufeira code arguments.
> 
> - AST-Machine:
> We abandoned the idea that Albufeira code is an
> array of op-codes. The result is a a data structure
> which is a chimera of PLM molecules and WAM structures.
> Judging from our bechmark suite, this is the final
> killing blow to formerly Jekejeke Prolog.
> 
> For more details: Dogelog
> 
> Have Fun!
> Jan Burse, 08.11.2023, http://www.xlog.ch/

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

Thread

ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-08 23:38 +0100
  Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-09 14:59 +0100
    Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-22 13:23 +0100
      Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-22 05:12 -0800
        Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-26 13:15 -0800

csiph-web