Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  

Within a computer, natural language is unnatural.


programming / comp.lang.prolog / latest

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 11 Hours 6 Minutes ago by: Archimedes Plutonium

Swiss government: Walter Thurnherr, Guy Parmelin, Ignazio Cassis Unclear how the fraud waste abuse money flows, whether USA-NSF pays the Swiss for Jan Burse stalking directly, or whether some other flow for stalking, or, none at all. But

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 1 Day 9 Hours ago by: Mostowski Collapse

Ok, could do some catch/3 benchmarks. Dogelog runtime beats TauProlog, SWI-Prolog and Jekejeke Prolog. But this is no wonder, is/2 is still slow, so this makes the overhead less pronounced. Further we do not yet compute a backtrace, let

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 1 Day 17 Hours ago by: Mostowski Collapse

?- X is float(30000000000000000000000000). X = 29999999999999996000000000.0. ?- 30000000000000000000000000 < 30000000000000000000000000.1. true. Expectation would be rather a different float number, and subsequently the comparison

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 12 Hours ago by: Mostowski Collapse

Ok there is no danger of negative zero, since a funny side effect of mapping small floats to bigint. I have to do that otherwise I cannot distinguish them from small int, and small float and small int would both have the same type. Current

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 12 Hours ago by: Mostowski Collapse

Maybe I should do more testing, JavaScript describes the method to find a float as HALFEVEN. I guess this method applied when one calls the conversion Number(), i.e. the constructor without the new keyword, which is the float/1 evaluable f

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 18 Hours ago by: Mostowski Collapse

/* Python: https://www.python.org/shell/ */ 30000000000000000570425344 /* SWI-Prolog: https://swish.swi-prolog.org/ */ ?- X is integer(float(30000000000000000000000000)). X = 29999999999999996275458048 Mostowski Collapse schrieb am Donn

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 19 Hours ago by: Mostowski Collapse

TauProlog 0.3.1 (beta) ?- number_chars(X,"30000000000000000000000000"). X = 3. ?- X is 30000000000000000000000000. X = 3. Was rather expecting an overflow error, because of the flag value: ?- current_prolog_flag(bounded, X). X = true M

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 19 Hours ago by: Mostowski Collapse

But I guess it would be legit to show it automatically in scientific form, since there is no ambiguity in re-read when shown as follows (Dogelog runtime output): :- X is 30000000000000000000000000+0.0, write(X), nl. 3.0E25 Yes, such an o

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 2 Days 19 Hours ago by: Mostowski Collapse

Picat 3.1, (C) picat-lang.org, 2013-2021. *** Undefined procedure: float/1 So float/1 doesn't exist. What am I supposed to do? This here seems to be a work around though? X = 30000000000000000570425344.0 yes It is even correct! (Tested

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 3 Days 8 Hours ago by: Mostowski Collapse

:- 1 == 1.0, write(yes), nl; write(no), nl. :- 1 =:= 1.0, write(yes), nl; write(no), nl. :- 30000000000000000000000000 < 30000000000000000000000000.1, write(yes), nl; write(no), nl. no yes no Mostowski Collapse schrieb am Mittwoch, 28. Ju

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 3 Days 9 Hours ago by: Mostowski Collapse

Disclaimer: Tested only Windows Chrome. Dunno what Safari, Edge, etc.. do. Or what happens on Mac or Linux. Mostowski Collapse schrieb am Mittwoch, 28. Juli 2021 um 23:50:37 UTC+2:

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 3 Days 9 Hours ago by: Mostowski Collapse

The discrepancy in SWI-Prolog and ECLiPSe Prolog is due to low fidelity float/1 conversion. One can try the following in SWI-Prolog and ECLiPSe Prolog: /* SWI-Prolog 8.3.26 */ ?- X is float(30000000000000000000000000). X = 2.999999999999

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 3 Days 9 Hours ago by: Mostowski Collapse

:- 1 == 1.0, write(yes), nl; write(no), nl. :- 1 =:= 1.0, write(yes), nl; write(no), nl. :- 30000000000000000000000000 < 30000000000000000000000000.1, write(yes), nl; write(no), nl. But not all Prolog systems agree. The Prolog syste

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 3 Days 9 Hours ago by: Mostowski Collapse

Architonium Plumedes wants more stalker on sci.math. He says when I wash Dishwashing (or was it Potwashing) in Dartmouth I never had a stalker. Even my early contributions to the Dartmouth student newspaper did not result in any stalkers f

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 3 Days 9 Hours ago by: Mostowski Collapse

Looks like we misinterpreted how arithmetic comparison works in JavaScript. Its not possible to use (==) from JavaScript and (<) from JavaScript directly for Prolog (=:=) and Prolog (<). The last two test cases are wrong: :- 1 == 1.0, wr

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 3 Days 10 Hours ago by: Archimedes Plutonium

A Stalked newsgroup is a Moderated Newsgroup. That is why the sign and post of FAQ came down in around 1996 or thereabouts for sci.math and sci.physics. The NSF and government bureaucrats sold Sci.math to stalkers. Sold in the means of payi

********* ROBOT - SPIN FORWARD *******

comp.lang.prolog

Posted: 3 Days 16 Hours ago by: Graham Cooper

the ROBOT starts facing up-left [2] then spins around [6] and moves towards the door r 4 f 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 1 0 0 0 0 d 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 3 Days 21 Hours ago by: Mostowski Collapse

We would stay in the ISO core standard semantics of catch/throw. Like XSB implements it. So despite a new feature with or without backtrace, semantics would not deviate from ISO core standard. This can be made by letting catch/3 and catch

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 3 Days 21 Hours ago by: Mostowski Collapse

The EngineMessage and EngineException combo works excellently internally in Java code. But when moving outside of Java, into Prolog code, we decided to always convert into an error with a backtrace. So inside Prolog code there is no more

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 3 Days 21 Hours ago by: Mostowski Collapse

- catch/3: Does not build a backtrace - catch_with_backtrace/3: As the name says, builds a backtrace We did something else in Jekejeke Prolog. We had two types of internal Prolog errors: - EngineMessage: Prolog error without backtrace -

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 4 Days ago by: Mostowski Collapse

The Able price committee got also interested in Archimedes Plutoniums math. They are especially vexed by the brilliance of 1+2+3 = 1*2*3. In their statement they write: Archimedes Plutoniums has a unique capability to combine the

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 4 Days 13 Hours ago by: Archimedes Plutonium

Thanks Julio, I had not seen your post until just now, I do not frequent this newsgroup. Only come here because Jan Burse Google search has __this thread__ in his first three hits "Jan Burse". So that when the world wide public wants to lo

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 4 Days 13 Hours ago by: Archimedes Plutonium

ETH-Zurich > I have 💩 for 🧠 Jan Burse explaining why ETH Zurich too dumb to have a geometry proof of calculus fundamental theorem On Tuesday, July 27, 2021 at 12:24:47 PM UTC-5, Mostowski Collapse wrote: Kibo Parry M on Steven Wein

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 16 Hours ago by: Mostowski Collapse

a) Hell freezes over b) Logtalk has ensure_loaded/1 ? Mostowski Collapse schrieb am Dienstag, 27. Juli 2021 um 16:17:11 UTC+2:

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 16 Hours ago by: Mostowski Collapse

Sometimes I have the feeling the JavaScript programming language developers are all former Datalog gurus, when they write: https://tc39.es/ecma262/multipage/ecmascript-language-scripts-and-modules.html#cyclic-module-record Ok thats a l

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 16 Hours ago by: Mostowski Collapse

retractall(visited(_)). Must be replaced by something that also flushes (abolish) the currently consulted predicates. Or some policy is in place, when a predicate is seen a second time during some include, it is first flushed. But

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 16 Hours ago by: Mostowski Collapse

[H|T] :- retractall(visited(_)), maplist(include, [H|T]). Mostowski Collapse schrieb am Dienstag, 27. Juli 2021 um 16:02:35 UTC+2:

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 16 Hours ago by: Mostowski Collapse

:- dynamic(visited/1). ensure_loaded(file) :- visited(file), !. ensure_loaded(file) ;- assertz(visited(file)), include(file). consult(file) :- retractall(visited(_)), include(file). So one would make a main ent

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 17 Hours ago by: Mostowski Collapse

Because assertz/1 is called before include/1, the user directive would also work for cyclic imports. Interestingly JavaScript can also do cyclic imports. I have used it by accident recently, and it worked. The ECMA standard says: A Cycli

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 4 Days 17 Hours ago by: Mostowski Collapse

Currently the work around is to use include/1 (in GNU Prolog). But include/1 is not smart, it cannot deal with an import graph. The main benefit of ensure_loaded/1 would be to avoid duplicate include/1, which is not part of the requireme

ANN: Logtalk 3.49.0 released

comp.lang.prolog

Posted: 4 Days 20 Hours ago by: Paulo Moura

Hi, Logtalk 3.49.0 is now available for downloading at: https://logtalk.org/ This release focus on improved Windows support, providing several fixes and improvements for libraries, tools, examples, and tests. Notably, it's again possibl

ANN: Logtalk 3.49.0 released

comp.lang.prolog

Posted: 4 Days 20 Hours ago by: Paulo Moura

Hi, Logtalk 3.49.0 is now available for downloading at: https://logtalk.org/ Logtalk 3.49.0 is now available for [downloading](download.html). This release focus on improved Windows support, providing several fixes and improvements for

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 5 Days 7 Hours ago by: Mostowski Collapse

between(L, H, X) :- L =< H, X = L. between(L, H, X) :- L < H, Y is L+1, between(Y, H, X). On the other hand Jekejeke Prolog and SWI-Prolog have natively implemented between/3. The arithmetic of Dogelog is still slow, so that possibly th

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 5 Days 7 Hours ago by: Mostowski Collapse

/* Mac, Jekejeke Prolog 1.5.1 */ ?- time((between(1,1000,_), test1, fail; true)). % Up 538 ms, GC 1 ms, Threads 535 ms (Current 07/27/21 00:59:27) Yes ?- time((between(1,1000,_), test2, fail; true)). % Up 574 ms, GC 2 ms, Threads 571 ms (

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 5 Days 8 Hours ago by: Mostowski Collapse

*********************************************** The homoiconicity in Prolog comes with the cost of call/1. Its not free! *********************************************** Lets see what we got: test1 :- between(1,100,_), between(1

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 5 Days 19 Hours ago by: Mostowski Collapse

/* simulate XSB semantics in SWI-Prolog */ xsb_catch(G, E, F) :- catch(G, X, (X = E -> F; throw(X))). The test cases now read: test(X) :- xsb_catch((X=1;X=2), _, true). test2(X) :- xsb_catch((X=1;X=2,throw(3)), X, true). test3 :- te

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 5 Days 19 Hours ago by: Mostowski Collapse

A famous use case of catch/throw is constraint optimization. You can use catch/throw to return an intermediate value and reset the constraint model. Such use cases of catch/throw are for example found in the SWI-Prolog libraries for CLP

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 6 Days 21 Hours ago by: Mostowski Collapse

test(X) :- catch((X=1;X=2), _, true). test2(X) :- catch((X=1;X=2,throw(3)), X, true). test3 :- test(X), test(Y), write(X-Y), write(' '), fail; nl. test3 :- test2(X), test(Y), write(X-Y), write(' '), fail; nl. test3 :-

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 6 Days 21 Hours ago by: Mostowski Collapse

Yesterday I wrote a catch/3 for Dogelog runtime. Which is quite funny since Dogelog runtime doesn't have a call stack. There is no way to identify a stack trace. Subsequently there is no way to identify the parent catch/3 handler. But coul

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 7 Days 8 Hours ago by: Mostowski Collapse

One advantage of the ISO core standard terminating period, over the TauProlog period, is that the ISO core standard terinating period is a little more terminal friendly. Although this is also not 100% true. For example a terminal input su

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 7 Days 9 Hours ago by: Mostowski Collapse

I will try this new behaviour with Dogelog runtime, and later try to bring it to Jekejeke Prolog. Currently Dogelog runtime implements the ISO core specific behaviour: % read_optional(-Term, +Quad, -Quad) read_optional(end_of_file) --> c

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 7 Days 9 Hours ago by: Mostowski Collapse

But the TauProlog behaviour leads me to a new implementation of the period, that I have never done before. The Tokenizer would recognize ., but not consume it. This is different from the ISO core specification that says recognize and cons

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 7 Days 9 Hours ago by: Mostowski Collapse

Thats an interesting find. Most Prolog system don't implement the ISO terminating period. For example TauProlog 0.3.1 (beta) accepts this Prolog text: foo(bar).foo(baz). When I run a query I get: ?- foo(X), write(X), nl, fail; true. bar

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 13 Hours ago by: Archimedes Plutonium

Mostowski Collapse 4:59 AM (8 hours ago)    to Why so restrictive? You are starting to restrict academic freedom, by judging other peoples ventured as foolish. What about your own Alzheimer venture of 30 years not a single lin

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 20 Hours ago by: Mostowski Collapse

Archimedes Plutonium should be thrown in jail for his willful criminal behavior. The criminal Archimedes Plutonium all the times posts people name lists together with hate speach about these people. It is highly likely Archimedes Plutonium

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 20 Hours ago by: Mostowski Collapse

Whats the immigration story behind the name Ludwig Plutonium. Were his parents Auschwitz personell that slipped the Nurnberg trials. Was archimedes plutonium born in a concentration camp? All he can do is fabricate literate pests, like h

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Mostowski Collapse

*Plonk* ju...@diegidio.name schrieb am Samstag, 24. Juli 2021 um 11:04:39 UTC+2:

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Mostowski Collapse

realpath(P, Q): % realpath(+Atom, -Atom) The built-in succeeds in Q with the canonical path of P, by resolving . , .. and symbolic links. On case insensitive file systems Q is not case converted. The good news! JavaScript

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Mostowski Collapse

But the clouds about canonical file names is slowly lifting. SWI-Prolog is very close, it doesn’t do case conversion. For example when I query this here I get, I don’t see any case conversion, the flag has also the correct value on

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Mostowski Collapse

But now in Dogelog runtime everything is different, since it has explicit cache clearning via the clear() JavaScript call, and also the cache is staged, the different stage scope can be changed via set_stage() JavaScript call. The Jekejeke

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Mostowski Collapse

Seems that Dogelog runtime and Jekejeke Prolog will maybe have slightly different implementation of consult/1 and ensure_loaded/1. Was also presenting a fundamental difference between consult/1 and ensure_loaded/1 wrongly. In a more refi

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 21 Hours ago by: Julio Di Egidio

Don't bother about these stupid fucks, you are just adding to the noise as well as diluting your own stuff and value: be reassured that every sane person can see that these guys are plain retarded and full fledged sociopathic... Take car

Archimedes Plutonium when he was young with his Parents

comp.lang.prolog

Posted: 7 Days 22 Hours ago by: Mostowski Collapse

Archimedes Plutonium the master procrastinator, not a single line of math in 30 years. Archimedes Plutonium schrieb:

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 7 Days 22 Hours ago by: Archimedes Plutonium

How much of this hate spew directed at AP is from Jan Burse in the early hours of Switzerland using std World in Boston under the name Michael Moroney, hate spew but really coming from Jan Burse. NSF, Dr. Panchanathan, F. Fleming Crim, Do

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

?- absolute_file_name('/Users/janburse/Desktop/dict.txt', X). X = 'file:/Users/janburse/Desktop/Dict.TXT' Mostowski Collapse schrieb am Freitag, 23. Juli 2021 um 21:49:52 UTC+2:

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

absolute_file_name(+File, -Absolute) Expand a local filename into an absolute path. The absolute path is canonicalised: references to . and .. are deleted. https://www.swi-prolog.org/pldoc/man?section=files But it doesn'

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

Whats a little challenge, is to get the canonical file names. In Jekejeke Prolog we call the file system to give us a canonical file name. Things then get even more funny for URLs, we even normalize them including %xx encoding manipulation

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

Its the double DCG problem and similar problems, even the earth benders are lost on this problem and have suggested Tarau engines. LoL But what about the air nation? Can it solve the problem. I understand that it might be difficult, beca

Re: A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

Well the consult/1 I provide is weaker than the ensure_loaded/1. But ensure_loaded/1 is planned. Prolog explicit version of ensure_loaded/1 #80 https://github.com/jburse/dogelog-moon/issues/80 Mostowski Collapse schrieb:

A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

comp.lang.prolog

Posted: 8 Days 11 Hours ago by: Mostowski Collapse

Isn't ensure_loaded/1 a directive defined in the ISO core standard [ISO 7.4.2.8]. Why do Logtalk and GNU-Prolog not have it. I managed to provide a consult/1 for Dogelog runtime. Its reentrant. Means a file in progress of consult/1 can cal

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 8 Days 16 Hours ago by: Mostowski Collapse

:- X = 0'a, write(X), nl. :- X = 0'\n, write(X), nl. :- X = 0''', write(X), nl. :- X = 0'', write(X), nl. 97 10 39 error(syntax_error(doubling_missing), []) But there is a greate discrepancy in existing Prolog systems. The ISO core stand

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 8 Days 17 Hours ago by: Mostowski Collapse

/* SWI-Prolog 8.3.26 */ ?- read(X), write_canonical(X), nl. |: (1).(2). '.'(1,2) X = 1.2. ?- read(X), write_canonical(X), nl. |: (===).(===). '.'(===,===) X = === . === . Re-reading 1.2. or === . === . gives a different result than the

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 8 Days 17 Hours ago by: Mostowski Collapse

Some crucial problems are number aliasing or symbol aliasing. The following test cases would go wrong without the quotes. We now find for example: ?- X = (1).(2). X = 1'.'2 ?- X = (===).(===). X = ==='.'== These test case would go wrong

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 8 Days 17 Hours ago by: Mostowski Collapse

Dogelog runtime currently quaranteens the '.' operator. Unlike Jekejeke Prolog which had this solution for the '.' operator: :- op(200, xfy, '.'). :- set_oper_property(infix('.'), sys_alias(sys_dot)). :- op(200, xfy, sys_dot). :- set_oper

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 8 Days 20 Hours ago by: Mostowski Collapse

The rustc linter can be used for SAT solving. https://twitter.com/NieDzejkob/status/1412932919761453058 LoL Mostowski Collapse schrieb am Freitag, 23. Juli 2021 um 12:32:28 UTC+2:

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 8 Days 20 Hours ago by: Mostowski Collapse

The Kissat SAT solver is a reimplementation of CaDiCaL in C. https://twitter.com/ArminBiere/status/1288132283443142661

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 8 Days 21 Hours ago by: Mostowski Collapse

Archimedes Plutonium contribution to high energy physics consists in the wheelchair interaction. This accounts for dark matter, for neutrino masses, and for the matter-antimatter asymmetry in Nature. Going beyond the Standard Model encomp

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 9 Days 2 Hours ago by: Archimedes Plutonium

Swiss Jan Burse posts for 2 decades, just one long string of attacks, attack attack attack. Is he preparing himself for a Swiss prison? Re: a second forgery post by Jan Burse-- time to pull the plug on him 11:13 PM  Jan's profile photo

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 9 Days 9 Hours ago by: Mostowski Collapse

Archimedes Plutonium got also donations from the Convent for Science and Religion. They donate a pack of ball pens. Mostowski Collapse schrieb:

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 9 Days 20 Hours ago by: Mostowski Collapse

rev([], []). rev([X|Rest], Ans) :- rev(Rest, L), concatenate(L, [X], Ans). rev(_, _) :- fail. concatenate([], L, L). concatenate([X|L1], L2, [X|L3]) :- concatenate(L1, L2, L3). concatenate(_, _, _) :- fail. Benchmarking shows, spurious

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 9 Days 20 Hours ago by: Mostowski Collapse

So will the earth benders ever write efficient code? The fire nation or the water benders could be ahead of their time, but what about the earth benders? Here is a DCG code smell: % When Type is a variable, backtracks through all the pos

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 9 Days 23 Hours ago by: Mostowski Collapse

*** Breaking News *** Archimedes Plutonium to publish in next Nature issue *** Breaking News *** Woa! The campus stationary store just got a delivery of grid paper. Archimedes Plutonium is jumping in squares, he is so happy now. Mostowski

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 10 Days 2 Hours ago by: Archimedes Plutonium

Stalker Kibo Analbuttfuckmanure Dorothy E Aronson, Brian Stone, James S Ulvestad, Rebecca Lynn Keiser, Vernon D. Ross, Lloyd Whitman, John J. Veysey, Scott Stanley, Sethuraman Panchanathan, F. Fleming Crim, are you paying Kibo to stalk sc

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 10 Days 10 Hours ago by: Mostowski Collapse

*** Breaking News *** Archimedes Plutonium to publish in next Nature issue *** Breaking News *** The paper is scheduled for September. The topic will be the Atom Wheelchair Total theory. A crucial graphic will be: |__

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 10 Days 10 Hours ago by: Mostowski Collapse

Finally archimedes plutonium got some funding. The mathematics professor got interested in his card board conic sections, that are oval but not ellipse. The next project is a wheelchair made of cardboard. The project got also momentum fro

Re: --- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 10 Days 14 Hours ago by: Mostowski Collapse

Young student reporters from the Dartmouth chronicles, the second most popular student newspaper on the campus, found that the wheels on his wheelchair were oval and not ellipse. So he was given the address of a math professor, for some c

--- ARCHIMEDES PLUTONIUM BANNED---

comp.lang.prolog

Posted: 10 Days 14 Hours ago by: Mostowski Collapse

ARCHIMEDES PLUTONIUM BANNED from Dartmouth canteen. His wheelchair is too wide, he doesn't pass the entrance.

Archimedes Plutonium when he was young with his Parents

comp.lang.prolog

Posted: 10 Days 15 Hours ago by: Mostowski Collapse

Archimedes Plutonium schrieb:

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 10 Days 15 Hours ago by: Archimedes Plutonium

Jan Burse needs to be barred from all science newsgroups as a hyper attacking miscreant. One of the reasons that ETH Zurich has never confirmed real proton is 840MeV, real electron of atoms is the muon stuck inside a proton torus doing th

Re: France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 10 Days 17 Hours ago by: Mostowski Collapse

The opposite evil of turning Prolog into a bash scripting language is the motto use CLP(FD) everywhere and the library(reif). Didn't fullfil any of its promisses either. Mostowski Collapse schrieb am Mittwoch, 21. Juli 2021 um 15:41:44 UTC

France is the Fire Nation of Prolog

comp.lang.prolog

Posted: 10 Days 17 Hours ago by: Mostowski Collapse

After years of enduring abominations such as inappropriate use of DCG, pillow web servers and Protobufs, leading to a down spiral of turning Prolog into a bash scripting language with further unholy marriages such as Prolog dicts that ar

Re: Archimedes Plutonium when he was young with his Parents

comp.lang.prolog

Posted: 10 Days 19 Hours ago by: Mostowski Collapse

ATOM TOTAL FAILURE LoL Mostowski Collapse schrieb:

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 11 Days 2 Hours ago by: Archimedes Plutonium

Stalker Kibo Analbuttfuckmanure John J. Veysey, Scott Stanley, Sethuraman Panchanathan, F. Fleming Crim, Dorothy E Aronson, Brian Stone, James S Ulvestad, Rebecca Lynn Keiser, Vernon D. Ross, Lloyd Whitman, are you paying Kibo to stalk sci

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 11 Days 18 Hours ago by: Mostowski Collapse

Now I am busy with completely aligning the Jekejeke Prolog Unicode classification and the Dogelog runtime Unicode classification. We have to solve the riddle why Jekejeke Prolog uses invalid classifcation somewhere? This was a long time

STRIPS V2 ............ recursive sub plans

comp.lang.prolog

Posted: 12 Days 16 Hours ago by: Graham Cooper

menu -look me -echo newline -echo newline -echo QUERY do me go castle list A -A B C D -print A -print B -print C -print D -echo newline -clear B -clear C -clear D -next -list A B C D look P -echo LOOK -echo newline

SUBPLANS .............. ROBOT move sword to castle [?]

comp.lang.prolog

Posted: 12 Days 16 Hours ago by: Graham Cooper

PLAN me grab SUBPLAN at base me confirm at base sword confirm at base sword confirm at hand sword confirm grab sword confirm PLAN me go SUBPLAN at base me confirm con base castle confirm locked castle confirm at base me confirm at castle m

*DO ME GRAB SWORD*

comp.lang.prolog

Posted: 12 Days 19 Hours ago by: Graham Cooper

at base me confirm at base sword confirm at base sword confirm at hand sword confirm confirm LOOK me is at base you can go tunnel castle roads lead here you can see me at base me at forrest dragon at hand sword do me grab sword YES

FUN PROLOG GAME IN 20 LINES!

comp.lang.prolog

Posted: 12 Days 20 Hours ago by: Graham Cooper

Using S.T.R.I.P.S Stanford Research Insitute Planning Solver (dont bother doing the AI search to grab bananas , find locations avoiding others) TRY TRACING OUT MOVE banana A -------------------- Most STRIPS use 3 MODES PRE: inhand(ba

*

comp.lang.prolog

Posted: 12 Days 20 Hours ago by: Graham Cooper

..

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 14 Hours ago by: Mostowski Collapse

The solution is rather trivial, but can be annoying to implement. Whether this has something todo with the ISO core standard, I doubt. The ISO core standard didn’t invent Prolog operator mechanism, it only roughly documented it decad

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 14 Hours ago by: Mostowski Collapse

The closest to what I am testing is possibly Ulrich Neumerkels #152 and #153. But this tests only the writing of fy yfx, on not the writing of xfy yfx. I don’t find tests for the later. Conformity Testing I: Syntax https://www.complan

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 17 Hours ago by: Mostowski Collapse

/* GNU Prolog 1.5.0 (64 bits) */ ?- X = (***b)*c. X = (***b)*c Mostowski Collapse schrieb am Samstag, 17. Juli 2021 um 15:08:35 UTC+2:

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 17 Hours ago by: Mostowski Collapse

/* Dogelog Runtime */ :- op(400,xfy,***). :- op(400,fy,***). :- X = (a***b)*c, write(X), nl. :- X = a***b*c, write(X), nl. :- X = (***b)*c, write(X), nl. :- X = ***b*c, write(X), nl. (a***b)*c a***b*c (***b)*c ***b*c Will upload it later

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 21 Hours ago by: Mostowski Collapse

Currently working on the final context flag that we need in Dogelog Runtime. We need to port the SPEZ_LEFT context flag from Jekejeke Prolog to the Dogelog Runtime. Its for a test case that doesn't work correctly in SWI-Prolog: Shouldn’

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 21 Hours ago by: Mostowski Collapse

But then the journey was not over, we had also to handle these cases, which are not handled through token aliasing detecting, but through context flags: :- X = (-) - -, write(X), nl. :- X = - - -, write(X), nl. :- X = - (a,b,c), write(X),

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 14 Days 22 Hours ago by: Mostowski Collapse

- detecting whether an atom needs quote - detecting whether tokens alias during writing We do it slightly different than in Jekejeke Prolog, without a word break 2 dimensional matrice. The word break 2 dimensional matrice seems to be no

JUST WALKING MY DRAGON

comp.lang.prolog

Posted: 14 Days 22 Hours ago by: Graham Cooper

at forrest dragon confirm con forrest tunnel confirm at forrest confirm at tunnel dragon confirm confirm dragon is at tunnel you can go forrest base river roads lead here base river forrest you can see dragon do dragon go tunnel YES

S.T.R.I.P.S. PLANNER V1

comp.lang.prolog

Posted: 15 Days 5 Hours ago by: Graham Cooper

STRIPS is an AMAZING planner Instead of programming GAME COMMANDS you just state PRE , ADD , DEL so you can SEARCH any commands given just the following database you can play an adventure game at base me con base tunnel con base cas

Join the Logica Universalis Webinar!

comp.lang.prolog

Posted: 15 Days 18 Hours ago by: Mostowski Collapse

Bhattacharjee, July 21, 2021 https://www.springer.com/journal/11787/updates/18988758 LUA is an association promoting logic on earth. However its headquarters are on the Moon: Boole Crater, 63.7°N 87.4°W. https://logica-universalis.org/

comp.lang.prolog Frequently Asked Questions

comp.lang.prolog

Posted: 16 Days 1 Hour ago by: Markus Triska

Frequently Asked Questions - comp.lang.prolog Last-modified: 2021-05-20 Last-changes: Point to irc.libera.chat. Markus Triska (Mar. 2 2007 - ... ) Remko Troncon (Jan. 6 2002 - Mar. 2 2007) Dirk-Jan Faber (Feb. 1

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 16 Days 20 Hours ago by: Mostowski Collapse

Ha Ha, Archimedes Plutonium thinks he is a genius only because some gobbledygook letters to the editor of his were published in a students newspaper a while ago: More Information Strengthens Hanover Inn Employee's Lawsuit Against

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 17 Days 1 Hour ago by: Archimedes Plutonium

Re: someone in sci.math is using the trick of delaying AP posts from reaching the viewing board-- by Mostowski Collapse (Jan Burse) Dec 24, 2018, 4:33:44 PM Re: entire STANFORD Univ. math dept fired// unable to acknowledge truth in math

Re: Web Prolog, Elixir and COBOL

comp.lang.prolog

Posted: 18 Days 19 Hours ago by: Mostowski Collapse

The mRNA-1273 is encoded to trigger the cell into making a specific protein using the cell's normal manufacturing process. The vaccine encodes a version of the spike protein with a modification called 2P, in which the protein includes two

Re: Web Prolog, Elixir and COBOL

comp.lang.prolog

Posted: 18 Days 19 Hours ago by: Mostowski Collapse

Immunotherapy https://www.sciencedirect.com/science/article/pii/B9780323265683000154 Humoralists and Cellularists ********************************************************** Although Koch and Pasteur firmly established the germ theory of

Re: Web Prolog, Elixir and COBOL

comp.lang.prolog

Posted: 18 Days 19 Hours ago by: Mostowski Collapse

"As a physician, I can’t recommend injecting disinfectant into the lungs or using UV radiation inside the body to treat COVID-19. Don’t take medical advice from Trump." https://twitter.com/kashmood/status/1253464185930997760

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 19 Days 22 Hours ago by: Mostowski Collapse

More progress in the Unicode domain, so that we can leave Unicode behind and move to other things. Unicode code points, that they can represent a numeric value. Some exotic and not so exotic examples are seen here: unicode_numerical_val

Re: GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 20 Days 20 Hours ago by: Dhu on Gate

multi-generational coherence. Dhu

Re: Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 21 Days 7 Hours ago by: Mostowski Collapse

The comressed Unicode data is in JavaScript arrays, two two-dimensional arrays and one one-dimensional array. This could be further Prologified: pool(+Integer, +Integer, -Integer) pool2(+Integer, +Integer, -Integer) buf3(+Integer, +Intege

Bringing Unicode to Prolog (Dogelog Runtime)

comp.lang.prolog

Posted: 21 Days 8 Hours ago by: Mostowski Collapse

https://github.com/LogtalkDotOrg/logtalk3/tree/master/library/unicode_data/unicode_categories These Prolog texts contain facts like: unicode_category_(0x00AD, 'Cf'). unicode_category_(0x0600, 'Cf'). unicode_category_(0x0601, 'Cf'). unic

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 21 Days 17 Hours ago by: Mostowski Collapse

Some use cases exist already, we could use string interpolation for the cross compiler of Dogelog, especially for the file templates which do not yet allow place holders. Cool! Mostowski Collapse schrieb am Samstag, 10. Juli 2021 um 14:

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 21 Days 18 Hours ago by: Mostowski Collapse

ES2018 revision of illegal escape sequences Tagged templates should allow the embedding of languages (for example DSLs, or LaTeX), where other escapes sequences are common. The ECMAScript proposal Template Literal Revision (Stage 4, t

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 21 Days 18 Hours ago by: Mostowski Collapse

But the introduction of \xXX would break my JSON. What could be also adopted are that back ticks denote a template literal. This would put string interpolation in Prolog on another footing. But JavaScript has also regex literals, and the

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 21 Days 18 Hours ago by: Mostowski Collapse

In my system the double quote value "string" also implies the new character_escapes_unicode flag in SWI-Prolog. Did not yet try the flag itself. Its still in my system that the wrapper ‘$STR’/1 triggers the different coding. Same dur

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 10 Hours ago by: Automatic Plonkium

Pitty nobody saw it ever... Graham Cooper schrieb am Freitag, 9. Juli 2021 um 19:42:13 UTC+2:

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 13 Hours ago by: Graham Cooper

my prolog compilers are getting under 2kb yours is 200 and does nothing goal 1 1 top goal 1 f fact 1 1 top goal 1 f fact 2 1 isnum 2 0 f fact 3 1 isnum zN 0 f fact 4 1 e zN odds f fact 5 1 e zN evens f imp 2 1 imp 3 2 imp 4 3

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 14 Hours ago by: Automatic Plonkium

Re: Archimedes "irrelevant" Plutonium flunked the math test of a

comp.lang.prolog

Posted: 22 Days 15 Hours ago by: Michael Moroney

Why is poop-obsessed ArchiePOO so obsessed with my toilet paper and poop? You couldn't get enough "AnalButtfuckManure" action at the local gay bar or something? Sorry, ArchiePOO, I am NOT interested!

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 22 Days 17 Hours ago by: Mostowski Collapse

A further example which isn't gas in the ISO core standard, is this example. Maybe something can be put in a corrigendum 4. current_prolog_flag(double_quotes, chars), atom_chars('jim'. "jim") ; current_prolog_flag(double_quotes, codes), a

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 22 Days 17 Hours ago by: Mostowski Collapse

Well there is a slight typo in this passage. It should of course say "would be necessary" and not "is necessary". ------------------------------------- begin cut here -------------------------------------------- 4 The constraints on mult

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 22 Days 17 Hours ago by: Mostowski Collapse

Here is another change I would put in a Corrigendum 4. It is based on Culio Plonkiums remark. Culio Plonkium was thinking hard and disemminated FUD: should disappear, it's a programming language, period: and with that 50% of the complic

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 18 Hours ago by: Graham Cooper

2nd! Im outta here!

Re: GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 22 Days 19 Hours ago by: Mostowski Collapse

So what is cooking in ISO core standards? Last year 2020: https://www.complang.tuwien.ac.at/ulrich/iso-prolog/N282 This year 2021: https://software.imdea.org//pipermail/prolog-standard/2021-May/000002.html Mostowski Collapse schrieb am

----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 20 Hours ago by: Automatic Plunkium

any 2nds? BAN GRAHAM BAN GRAHAM BAN GRAHAM

EXTENDING BLOCKS WORLD (AI)

comp.lang.prolog

Posted: 22 Days 20 Hours ago by: Graham Cooper

I want to extend blocks world with in on where bot ants navigate for food using 2 arity functions move A B grab G drop G and build colored stacks of blocks and use S.T.R.I.P.S. planner PRE: inhand(X) at(Y) ACT: drop(X) POST: on(Y,

Re: New category for Archimedes Plutonium "Eccentric believers"

comp.lang.prolog

Posted: 22 Days 20 Hours ago by: Mostowski Collapse

"unwarranted move and POV commentary" I had moved Archie to "Criminal and eccentric personalities" and added: "What started as a charming alternative theory venture has become a spamming endeavour pasting minor edits of the same posts a

Re: New category for Archimedes Plutonium "Eccentric believers"

comp.lang.prolog

Posted: 22 Days 22 Hours ago by: Mostowski Collapse

"He is clearly clogging a lot of newsgroups like sci.physics, sci.math, and recently comp.lang.prolog. I wouldn't know that his Atomic theory has anything to do with comp.lang.prolog. So he shows signs of trolling behaviour, moving his sp

New category for Archimedes Plutonium "Eccentric believers"

comp.lang.prolog

Posted: 22 Days 22 Hours ago by: Mostowski Collapse

Eccentric believers Archimedes Plutonium https://en.wikipedia.org/wiki/Usenet_personality Why not move to Criminal and eccentric personalities The spec says: ... threatening behavior, or newsgroup trolling activities. Which is clear

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 22 Days 22 Hours ago by: Archimedes Plutonium

Recent Publications Science Learned Journals-- NATURE 17-19, AASS SCIENCE, NEW SCIENTIST, SCIENTIFIC AMERICAN, Princeton Univ Press, UCLA & Oxford student newspaper "Pandemic causing toilet paper be like sandpaper" by team antiscientists, b

Re: GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 23 Days 10 Hours ago by: Mostowski Collapse

A parser of Prolog in Prolog is only impossible, if there is no cross compiler. But if you also have some instruction stream, that you can generate and include in your Prolog system, then you can bootstrap a Prolog system with Prolog writt

Re: GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 23 Days 10 Hours ago by: Mostowski Collapse

TuProlog is going JavaScript via Kotlin - Ciatto, 2021 "2P-Kt released! The new tuProlog-Kotlin version aims at providing a logic programming environment supporting multi-paradigm programming targetting * JVM * JS (both server- and brow

Re: GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 23 Days 12 Hours ago by: Mostowski Collapse

http://www.gprolog.org/gprolog-1.5.0.pkg.zip Maybe later? Mostowski Collapse schrieb:

GNU Prolog 1.5.0 is released

comp.lang.prolog

Posted: 23 Days 12 Hours ago by: Mostowski Collapse

https://github.com/didoudiaz/gprolog For packages/installers, go here: http://www.gprolog.org/#download Mostowski Collapse schrieb:

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 14 Hours ago by: Mostowski Collapse

The grammar embodied by read_term/3 or write_term/3 in Dogelog has no ambiguity. Its just a deterministic recursive descend parser. In particular it is a parser that has become know as: "A predictive parser is a recursive descent parser

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 14 Hours ago by: Mostowski Collapse

Dogelog is not a academic specification, using some formalism, like denotational semantics, or anyother formalism that is around. But since it is mostly written in Prolog itself, you can read it like a spec. But it uses billions and billio

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 14 Hours ago by: Julio Di Egidio

At best you can claim to support a subset of the standard plus your non-standard extensions, and never any better than that, you or anybody else, for the reasons I have mentioned. I literally meant restarting from the drawing board: to a

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 14 Hours ago by: Mostowski Collapse

Maybe the non-archaic approach was for space saving? Although the archaic approach can be also quite space efficient. Anyway, history goes: In June 1975, Maurice Bruynooghe visited Robert Kowalski at Imperial College and came home with

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 14 Hours ago by: Mostowski Collapse

Also interesting how the slash (/)/0 was used for the cut. Mostowski Collapse schrieb am Donnerstag, 8. Juli 2021 um 17:59:11 UTC+2:

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 15 Hours ago by: Mostowski Collapse

This is a nice paper, describing the difference between the archaic two pointer approach, skeleton and environment, and the one pointer approach. An Interpreter for Predicate Logic Programs Part I: Basic Principles Bruynooghe - 1976 https

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 15 Hours ago by: Mostowski Collapse

In case you are interested in imperfections of the ISO core standard. Maybe this can be read off from Dogelog, imperfections that even affect a lean language. You might read off imperfections from which predicates got implemented and are

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 15 Hours ago by: Mostowski Collapse

Dogelog is lean, currently it doesn't have (@<)/2, sort/2, thread_create/2, etc.. For more information: "The Dogelog Runtime is a small and fast ISO core standard Prolog system that runs in a browser or on node.js. The Dogelog Runtime su

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 23 Days 16 Hours ago by: Julio Di Egidio

Not so much languages but technologies win or lose. E.g. Python is a cute idea in a substandard implementation: it would be just niche were it not for the pletora of working libraries and tools that have been made available, regardless

Re: The Programming Language Wars have just begun

comp.lang.prolog

Posted: 25 Days 14 Hours ago by: Mostowski Collapse

Which languages have lost the battle over time? Clojure, Ruby, Go, Rust, Groovy, Kotlin? LoL https://redmonk.com/kfitzpatrick/2021/03/02/redmonk-top-20-languages-over-time-january-2021/ Mostowski Collapse schrieb am Samstag, 3. Juli 20

Re: Github Language Stats

comp.lang.prolog

Posted: 25 Days 14 Hours ago by: Mostowski Collapse

1 JavaScript 2 Python 3 Java 4 PHP 5 C# https://redmonk.com/sogrady/2021/03/01/language-rankings-1-21/ Mostowski Collapse schrieb am Dienstag, 6. Juli 2021 um 16:57:59 UTC+2:

Github Language Stats

comp.lang.prolog

Posted: 25 Days 16 Hours ago by: Mostowski Collapse

Forget Tiobe Index. JavaScript is going through the roof on GitHub. Check this out Q2 / 2021 1 JavaScript 28.653% (+4.960%) 2 Python 14.183% (-0.033%) 3 Java 10.498% (-0.187%) 4 C++ 8.222% (-0.585%) 5 PHP 5.323% (-0.387%) https://madn

ANN: Logtalk 3.48.0 released

comp.lang.prolog

Posted: 25 Days 21 Hours ago by: Paulo Moura

Hi, Logtalk 3.48.0 is now available for downloading at: https://logtalk.org/ This release provides out of the box support for running parallel Logtalk processes; updates support for Ciao Prolog, CxProlog, GNU Prolog, LVM, SWI-Prolog, an

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 26 Days 17 Hours ago by: Mostowski Collapse

The additional information can be delivered by code itself. Like for example if we use this variant of length/2 the first clause will deliver some information that the argument is nonvar in the rest of the clauses: length(V, _) :- var

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 26 Days 18 Hours ago by: Mostowski Collapse

But I wish for a new style check. Currently I am doing extra cuts, because Dogelog runtime does not yet have first argument indexing. So one would write, for the version without accumulator: length([], 0) :- !. length([_|L],N) :- length(

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 26 Days 18 Hours ago by: Mostowski Collapse

So whats the advantage of Dogelog runtime? You don't get an Emacs pinky writing it, its only 200k bytes. I guess this is not possibly in Mercury, you already need a week to only write the predicate type declarations. LoL Mostowski Collap

Archimedes Plutonium when he was young with his Parents

comp.lang.prolog

Posted: 27 Days 10 Hours ago by: Mostowski Collapse

Alternative Mathematik | Kurzfilm https://www.youtube.com/watch?v=Zh3Yz3PiXZw Graham Cooper schrieb:

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 27 Days 10 Hours ago by: Archimedes Plutonium

Insane idiot Jan Burse on why no-one in Swiss ETH can do a geometry proof of Fundamental Theorem of Calculus-- they are still with their mindless Boole logic of 1 OR 2 = 3 with AND as subtraction. On Sunday, March 21, 2021 at 2:29:49 PM

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

comp.lang.prolog

Posted: 27 Days 15 Hours ago by: Archimedes Plutonium

#1-1, 148th published book Plutonium Atom Totality Universe, 9th edition 2021, Atom Totality Series, book 1 Kindle Edition by Archimedes Plutonium (Author) Preface: Physics book that explains what the universe is, and how it works. This

prove 2eN

comp.lang.prolog

Posted: 27 Days 18 Hours ago by: Graham Cooper

1 GOAL top goal 1 AXIOM SEARCH top goal 1 1 false AXIOM SEARCH top goal 1 2 false AXIOM SEARCH top goal 1 3 false AXIOM SEARCH top goal 1 4 false AXIOM SEARCH top goal 1 5 false or 2 1 isnum 2 0 2 GOAL isnum 2 0 AXIOM SEARCH isnum 2 0 1 fal

Re: Prolog is a language from the 70's and Prologers still use 70's approaches

comp.lang.prolog

Posted: 27 Days 22 Hours ago by: Mostowski Collapse

About “Write two DCGs”, the original Modula compiler was multi pass. There was a scanner which wrote a file with tokens. Then there was a parser which took this tokens and the next pass started. Until over christmas Wirth and Gutkn

Re: Prolog is a language from the 70's and Prologers still use 70's approaches

comp.lang.prolog

Posted: 27 Days 22 Hours ago by: Mostowski Collapse

The traditional first two passes were scanner and parser. Sometimes even done by using files. That these two passes could correspond to two DCGs is a useful insight. But then, Jan W. C parser collects a list of tokens first: c99_tokens(L

Prolog is a language from the 70's and Prologers still use 70's approaches

comp.lang.prolog

Posted: 27 Days 23 Hours ago by: Mostowski Collapse

There isn't in the standard any assertz/1 directive, only an assertz/1 built-in predicate. A standard compliant version of that code is: :- initialization(( assertz(foo(bar)), assertz(foo(baz)) )). https://github.com/tau-prolog/tau-

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

comp.lang.prolog

Posted: 28 Days 6 Hours ago by: Mostowski Collapse

Thanks to consult/1 we can now more easily run our benchmark suite and takle various improvement ideas to the Dogelog runtime. For the present test cases the new Dogelog version is 26% faster in the average. The change in instructions doe

Re: Can I run it on an iPad? Dogelog Q&A

comp.lang.prolog

Posted: 28 Days 9 Hours ago by: Mostowski Collapse

The Programming Language Wars have just begun

comp.lang.prolog

Posted: 28 Days 11 Hours ago by: Mostowski Collapse

a) Guido van Rossum was recently hired by Microsoft. b) Stackoverflow gives Google a special platform: Collectives now available to join: Go Language Google Cloud https://stackoverflow.com/collectives Time to say goodbye to stackoverfl

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 29 Days 13 Hours ago by: Mostowski Collapse

Neither SWISH nor TauProlog can do the example. :-( Possibly they need quotes. But solo is the least common default. The parser will possibly spot errors when the end user puts multiple solos side by side, and the end user can still use qu

Re: Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 29 Days 13 Hours ago by: Mostowski Collapse

Here is an example that now works, without having an expensive Unicode classifier. Credits for this go to Steve Luscher who posted already years ago: Map/filter/reduce in a tweet: map([🌽, 🐮, 🐔], cook) filter([🍿, 🍔, 🍳],

Some Changes to the Concept of Solo Character (ISO Core Standard)

comp.lang.prolog

Posted: 29 Days 13 Hours ago by: Mostowski Collapse

% is_solo(+Code) is_solo(0'!). is_solo(0',). is_solo(0';). is_solo(0'|). But somehow this is not easily extensible. Like if the range of the character codes is above ASCII. What should happen with these characters above ASCII. A good de

Re: Can I run it on an iPad? Dogelog Q&A

comp.lang.prolog

Posted: 29 Days 20 Hours ago by: Mostowski Collapse

http://hakank.org/javascript_progs/ I am more planning to run my usual benchmark suite. Before I can do so, need to implement a fetch consult, otherwise it gets too clumsy to run. Mostowski Collapse schrieb am Freitag, 2. Juli 2021 um

Re: Can I run it on an iPad? Dogelog Q&A

comp.lang.prolog

Posted: 29 Days 21 Hours ago by: Mostowski Collapse

173.877 bereits angemeldet https://www.coursera.org/learn/logic-introduction Mostowski Collapse schrieb am Freitag, 2. Juli 2021 um 11:48:01 UTC+2:

Re: Can I run it on an iPad? Dogelog Q&A

comp.lang.prolog

Posted: 29 Days 21 Hours ago by: Mostowski Collapse

In my opinion, your PHP server roundtrip solution is as useless as any SWI-Prolog pengine solution. Simply doesn't make any sense to put a puzzle game on the server. What if 100'000 users want to play the game at the same time, and some

164 recent articles found.

rocksolid light 0.7.0
clearneti2ptor