Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Computers don't actually think. You just think they think. (We think.)

devel / comp.lang.prolog / Re: Lets make 2021 the year of Solver Cooperation

SubjectAuthor
* Lets make 2021 the year of Solver CooperationMostowski Collapse
`- Lets make 2021 the year of Solver CooperationMostowski Collapse

1
Re: Lets make 2021 the year of Solver Cooperation

<48d7adbb-f41f-409c-9ab0-6d898ece2bc8n@googlegroups.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=2481&group=comp.lang.prolog#2481

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:4546:b0:6b5:f144:68bb with SMTP id u6-20020a05620a454600b006b5f14468bbmr16088446qkp.253.1659477125321;
Tue, 02 Aug 2022 14:52:05 -0700 (PDT)
X-Received: by 2002:a81:5d41:0:b0:31d:d394:d6e2 with SMTP id
r62-20020a815d41000000b0031dd394d6e2mr20031332ywb.466.1659477125037; Tue, 02
Aug 2022 14:52:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Tue, 2 Aug 2022 14:52:04 -0700 (PDT)
In-Reply-To: <s2lakt$m91$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <ffa06a25-bef0-4f7f-a6e9-5b561282c0ccn@googlegroups.com>
<21122326-dccd-4f5b-ac0c-277b7065dedan@googlegroups.com> <352e235a-44f0-4e41-a975-136e88ca16e8n@googlegroups.com>
<b1b1e767-c6a8-4d02-a5d0-fe396815a598n@googlegroups.com> <s2lakt$m91$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <48d7adbb-f41f-409c-9ab0-6d898ece2bc8n@googlegroups.com>
Subject: Re: Lets make 2021 the year of Solver Cooperation
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Tue, 02 Aug 2022 21:52:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2833
 by: Mostowski Collapse - Tue, 2 Aug 2022 21:52 UTC

Agenda for 2023:

How can a boolean formula be a map? Well if we take some input
propositional variables x1,…,xn and view the rest of the propositional
variables y1,…,ym in the formula as output, we get a relation.

The problem is a little bit to treat this boolean formula as a stored
procedure. None of the CLP(B) I have seen so far offer something
explicitly to this end. When I define a predicate as follows:

p(X, Y) :- /* some CLP(B) code */

I have never seen a CLP(B) precompile and store the result in the
clause of p/2. On the other hand SQL knows for example stored
procedures, and it can do some optimizations ahead.

Dhu on Gate schrieb am Sonntag, 14. März 2021 um 16:38:07 UTC+1:
> On Sat, 06 Mar 2021 08:03:14 -0800, Mostowski Collapse wrote:
>
> > A more suitable view would be possibly to abandon classical
> > logic, and consider (#=)/2 and (#\=)/2 not opposites of each
> > other. Rather both being relations over the domain Integer x
> > Integer, that would fail outside of the domain.
> Just a brain-fart, but I think this is an interesting and useful path
> of thought:
>
> black and white are only "opposites" in a context. From the outside
> they're,... some interesting optical properties?
>
> Dhu
>
> --
> Je suis Canadien. Ce n'est pas Francais ou Anglaise.
> C'est une esp`ece de sauvage: ne obliviscaris, vix ea nostra voco;-)

Re: Lets make 2021 the year of Solver Cooperation

<6d8e5b57-679e-4526-9c2b-7a5594dbef3cn@googlegroups.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=2482&group=comp.lang.prolog#2482

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:4053:b0:6b5:df8f:3573 with SMTP id i19-20020a05620a405300b006b5df8f3573mr16950647qko.578.1659477174850;
Tue, 02 Aug 2022 14:52:54 -0700 (PDT)
X-Received: by 2002:a81:13c2:0:b0:31f:3dc8:e01 with SMTP id
185-20020a8113c2000000b0031f3dc80e01mr19877901ywt.316.1659477174573; Tue, 02
Aug 2022 14:52:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Tue, 2 Aug 2022 14:52:54 -0700 (PDT)
In-Reply-To: <48d7adbb-f41f-409c-9ab0-6d898ece2bc8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <ffa06a25-bef0-4f7f-a6e9-5b561282c0ccn@googlegroups.com>
<21122326-dccd-4f5b-ac0c-277b7065dedan@googlegroups.com> <352e235a-44f0-4e41-a975-136e88ca16e8n@googlegroups.com>
<b1b1e767-c6a8-4d02-a5d0-fe396815a598n@googlegroups.com> <s2lakt$m91$1@dont-email.me>
<48d7adbb-f41f-409c-9ab0-6d898ece2bc8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6d8e5b57-679e-4526-9c2b-7a5594dbef3cn@googlegroups.com>
Subject: Re: Lets make 2021 the year of Solver Cooperation
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Tue, 02 Aug 2022 21:52:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3459
 by: Mostowski Collapse - Tue, 2 Aug 2022 21:52 UTC

For example Markus Triskas CLP(B) can show BDD trees:

?- set_prolog_flag(clpb_residuals, bdd).
true.

?- sat(X#Y).
node(3)- (v(X, 0)->node(2);node(1)),
node(1)- (v(Y, 1)->true;false),
node(2)- (v(Y, 1)->false;true).

Can I store such a thingy in a clause for p/2 and use it
with different values for X and Y, during multiple invocations?

Mostowski Collapse schrieb am Dienstag, 2. August 2022 um 23:52:06 UTC+2:
> Agenda for 2023:
>
> How can a boolean formula be a map? Well if we take some input
> propositional variables x1,…,xn and view the rest of the propositional
> variables y1,…,ym in the formula as output, we get a relation.
>
> The problem is a little bit to treat this boolean formula as a stored
> procedure. None of the CLP(B) I have seen so far offer something
> explicitly to this end. When I define a predicate as follows:
>
> p(X, Y) :- /* some CLP(B) code */
>
> I have never seen a CLP(B) precompile and store the result in the
> clause of p/2. On the other hand SQL knows for example stored
> procedures, and it can do some optimizations ahead.
> Dhu on Gate schrieb am Sonntag, 14. März 2021 um 16:38:07 UTC+1:
> > On Sat, 06 Mar 2021 08:03:14 -0800, Mostowski Collapse wrote:
> >
> > > A more suitable view would be possibly to abandon classical
> > > logic, and consider (#=)/2 and (#\=)/2 not opposites of each
> > > other. Rather both being relations over the domain Integer x
> > > Integer, that would fail outside of the domain.
> > Just a brain-fart, but I think this is an interesting and useful path
> > of thought:
> >
> > black and white are only "opposites" in a context. From the outside
> > they're,... some interesting optical properties?
> >
> > Dhu
> >
> > --
> > Je suis Canadien. Ce n'est pas Francais ou Anglaise.
> > C'est une esp`ece de sauvage: ne obliviscaris, vix ea nostra voco;-)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor