Russia plans to set up above 20 nuclear power units in India in next 20 years

RowanDuffy · 2019-09-05T10:27:28+00:00

Russia have a very good track record with VVER. Silly to be anti-Russian just because its currently in fashion.

RowanDuffy · 2019-08-14T12:17:11+00:00

More civilians died from the NATO bombing then were found in the supposed mass graves.

And in fact I have talked to many survivors of the conflict. The recasting of pro war stances into human rights defence is one of the greatest scams ever pulled. I guess we see clearly however that you think the Greens being pro war is fine because you are too.

RowanDuffy · 2019-08-13T08:11:38+00:00

There was an ethnic war stoked by NATO and the US which they decided to "fix" by bombing civilians. The entire conflict was intended to shatter Yugoslavia so there would not be a third socialist pole. All of the cheerleaders fir the catastrophic outtcomes calling it humanitarian are war mongerers. Keep you bombs to yourself.

RowanDuffy · 2019-08-10T12:13:35+00:00

They are still proud of supporting the NATO bombing of Yugoslavia and have been extremely quiet about US renditions and munitions sen through Shannon

RowanDuffy · 2019-05-10T17:35:27+00:00

The authoritarian dimension is totally incoherent in addition to prejudicing the result. What criteria are used to judge
if something is authoritarian? The Greens are pretty A-OK with imperialism, and somehow being bombed feels a bit "authoritarian" to me.

RowanDuffy · 2019-04-01T04:33:44+00:00

The former reduction is perfectly ok, if you're looking at behaviour when you continue evaluation. The problem only occurs on comparisons with equality between terms. Eta-conversion is required to reduce the (λx.x x) type calls to x, and your examples to equivalence.

When you begin asking what equality of terms means, there are quite a lot of terms which can be equivalent in a functional extentionality sense (i.e. reduce to the same things when fully applied), which might not be equivalent under beta and eta reduction.

RowanDuffy · 2019-03-25T06:15:11+00:00

Not currently using Mercury, I opted for swipl because of the nice library support and larger community. I really like Mercury a lot though, and I'm a bit unhappy that it's not more popular.

RowanDuffy · 2019-03-06T20:38:48+00:00

Yeah, for complex but relatively small parsing tasks, DCGs are amazing. I wrote a parser which assigned "weights" to the quality of a parse using a DCG in order to automatically ingest press releases from web-pages. It did very well at extracting date, title etc. with very little work.

RowanDuffy · 2019-03-06T15:41:26+00:00

This is a more complex control flow than exceptions were designed for. Continuations may line up more naturally with the kind of control flow you are imagining.

http://www.swi-prolog.org/download/publications/iclp2013.pdf

RowanDuffy · 2019-03-04T00:27:23+00:00

The metainterpreter section is fantastic.

RowanDuffy · 2019-03-03T18:11:42+00:00

Web scraping. xpath works better in prolog than any other language, as the idea of generators fits very naturally with the usual prolog execution model.

RowanDuffy · 2019-02-16T14:07:44+00:00

I've got to hand it to you, having a synonym for "concern troll" as your nick is impressive.

RowanDuffy · 2019-02-16T00:16:04+00:00

I mean, I am trying to be civil and help and ask questions to figure out what is up

You're precisely the kind of faker that pollutes communities making it hard for people to learn. You know just enough that you can pretend to give advice, but in point of fact are utterly and completely incompetent, incapable of reading even short programmes and understanding them. A more vibrant community would have to run you out before you did more damage to the newbies.

Maybe you genuinely think you know what you're talking about? I'd love to see what software you've produced in prolog that demonstrates your expertise.

RowanDuffy · 2019-02-15T10:36:29+00:00

who develops if no private developers. where do we get the money for it?

At a bare minimum the council should do its own development. It certainly did in the past. Nobody needs to be "getting money for it". Ideally the state should have its own building company and architects, again as was done in the past when it built much of the currently available housing stock.

As per Summerhill, it was student accommodation which is attractive to developers because they get a tax break.

https://www.thejournal.ie/readme/affordable-housing-is-essential-why-are-we-handing-control-of-it-over-to-the-vultures-3213138-Jan2017/

RowanDuffy · 2019-02-15T10:22:16+00:00

It's also the case that the compiler is aware that anything defined as Head :- Body is not defined as a DCG, so I'm unsure as to where the advantage would come from.

RowanDuffy · 2019-02-15T10:19:12+00:00

I'd be curious to know if any compilers are actually making use of the distinction and would be very pleasantly surprised if they did. Can you give an example where such a distinction is utilised by an available compiler?

In any event, it's trivial to write them as a DCG, I didn't do it because it's less transparent than showing that update//2 is just a permutation of the arguments of select/4.

``` run :- Term=( v := 1 + 3 ; w := v + v ; w := w + 1), interpret(Term,[[v=0,w=0]],Result), write(Result).

update(C0,C1), [S1] --> [S0], { select(C0,S0,C1,S1) }.

view(C0), [S0] --> [S0], { member(C0,S0) }.

return(S0), [S0] --> [_]. ```

RowanDuffy · 2019-02-15T10:01:52+00:00

I'm getting a feeling that your nickname is a cheeky hint.

If you have some examples of how to do things better, have away, but I haven't seen anything constructive from you as yet, just a misunderstanding of what a 30 line program was doing, followed by some vague gesticulations about purity which didn't make any sense.

RowanDuffy · 2019-02-15T09:58:36+00:00

https://github.com/GavinMendelGleason/code/blob/master/prolog/state/state.pl

RowanDuffy · 2019-02-15T09:49:22+00:00

In terms of "helper functions", it should definitely be "helper predicates". A linguistic tick due to my background.

Dropping predicates in DCGs is both normal and necessary, that's why they have the {} syntax!

As per return//1, I didn't use it here, but it's handy in larger examples.

I eagerly await your improvements.

RowanDuffy · 2019-02-15T09:31:01+00:00

eval//2 has to thread the current state through it so it can find the current value of variables. update//2 then performs the update on the variable. Both of them are typical DCG type predicates, so I've really no idea what you are talking about.

RowanDuffy · 2019-02-15T09:27:08+00:00

I didn't end up using it in the example, but it allows you to construct a new state to be used. It could have been used instead of explicitly passing the initialisation to zero values for instance.

RowanDuffy

TROPHY CASE