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

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

Re: ANN: Dogelog Player 1.3.0 (Graph Plotting)

Show all headers | View raw

Our old Prolog system had a little computer algebra
system (CAS) that supported vectors and marices. In
the following we report on a new take that is less
leaning towards object oriented programming and more
leaning towards higher order logic programming.

Currently we only support numerical computation, either
floats or bigint. We could implement Prolog operations
that have strict vector or matrix signatures. Running
it in the browser, we can answer in a blink “What are
the last 8 digits of fib(1000000)?”.

See also:

Linear Algebra in Dogelog Player
https://x.com/dogelogch/status/1900509046924312767

Linear Algebra in Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> 
> Tired of pounding out the same old boring boilerplate
> code over and over and over again. I'll show you how
> to eliminate the boilerplate by using higher-order
> programming: functions that take other functions as
> arguments; or in Prolog, predicates that take other
> predicates as arguments.
> 
> Somehow we shied away from implementing call/n for
> our Prolog system. We thought our Prolog system has
> only monomorphic predicate lookup caches and therefore
> we kept a distance. This changed when we had the idea
> to dynamically add a cache for the duration of a
> higher order loop.
> 
> We could provide a new builtin call/n for our Prolog
> system. Testing some list processing from different
> angles we conclude our performance is middle field,
> comparable to Scryer Prolog. This makes it feasible to
> bring call/n and predicates such as maplist/n to the
> upcoming release of Dogelog Player.
> 
> See also:
> 
> Higher Order in Dogelog Player
> https://x.com/dogelogch/status/1900273770792644651
> 
> Higher Order in Dogelog Player
> https://www.facebook.com/groups/dogelog
> 
> Mild Shock schrieb:
>> Dear All,
>>
>> We are happy to announce a new edition of
>> the Dogelog player:
>>
>> - Enhanced library(lists):
>>    We made the predicate free_variables/3 now public
>> in library(lists). It implements then ISO core standard
>> specification ISO 7.1.1.4 of witness variables. The
>> predicate does not appear in the Novacore kernel.
>>
>> - Enhanced library(sequence):
>>    As an alternative we provide a new predicate firstof/2.
>> The predicate is bootstraped from what is used in
>> distinct/1, but makes use of free_variables/3 to determine
>> the keys for deduplication during backtracking. Has more
>> logical properties than distinct/2.
>>
>> - New library(plot):
>>    The library(plot) can generate line plots in the form
>> of a SVG element. We currently provide the predicates
>> plot/1 and plot/2 which take a list of points (x,y1,..,yn)
>> and plot the lines (x,y1) ... (x,yn). The binary predicate
>> allows specifying various plot options.
>>
>> Have Fun!
>>
>> Jan Burse, http://www.xlog.ch/ , 26.02.2025
> 

Back to comp.lang.java.programmer | Previous | Next | Find similar

Thread

Re: ANN: Dogelog Player 1.3.0 (Graph Plotting) Mild Shock <janburse@fastmail.fm> - 2025-03-14 13:23 +0100

csiph-web