Comments (11)
infradig
commented on July 28, 2024
1
Thanks, I have a fix for this. Exposed a fundamental flaw when setting attributes... it wasn't adding to the trail.
~/trealla (devel) $ tpl
?- member(A,Z), freeze(B,B), B=!, writeq(A/Z/B).
_0/[_0|_4]/ ! Z = [A|_A], B = !
; _0/[_5,_0|_7]/ ! Z = [_A,A|_B], B = !
; _0/[_5,_8,_0|_10]/ ! Z = [_A,_B,A|_C], B = !
; _0/[_5,_8,_11,_0|_13]/ ! Z = [_A,_B,_C,A|_D], B = !
;
~/trealla (devel) $ scryer-prolog
?- member(A,Z), freeze(B,B), B=!, writeq(A/Z/B).
_1923230/[_1923230|_1923613]/! Z = [A|_A], B = !
; _1923230/[_1923612,_1923230|_1923616]/!Z = [_A,A|_B], B = !
; _1923230/[_1923612,_1923615,_1923230|_1923619]/!Z = [_A,_B,A|_C], B = !
; _1923230/[_1923612,_1923615,_1923618,_1923230|_1923622]/!Z = [_A,_B,_C,A|_D], B = !
; ... .
?-
~/trealla (devel) $
from trealla.
infradig
commented on July 28, 2024
For some reason the attributed variable B is not being cleared on
backtracking....
?- member(A,Z), (attvar(B) -> write(oops); write(ok)), nl, freeze(B,B),
B=!, writeq(A/Z/B).
ok
_0/[_0|_4]/ ! Z = [A|_A], B = !
; oops
error(uninstantiation_error(frozen),'$put_attributes'/2).
Odd, as it's ok with repeat or between/3 (but they are builtins).
…On Tue, Aug 23, 2022 at 1:30 AM flexoron ***@***.***> wrote:
v2.0.16
?- member(A,Z), freeze(B,B), B=!, writeq(A/Z/B).
_0/[_0|_4]/ ! Z = [A|_A], B = !
; error(uninstantiation_error(frozen),'$put_attributes'/2).
?-
At present I can't interpret the error message:
uninstantiation_error(frozen)?
—
Reply to this email directly, view it on GitHub
<#21>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AFNKSEVSGLJBUNW4XDFUP23V2OMIJANCNFSM57IEBW2A>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
from trealla.
flexoron
commented on July 28, 2024
Who is the brain behind freeze.pl? Maybe there can be found a hidden vivacious idea.
from trealla.
infradig
commented on July 28, 2024
There's nothing wrong with freeze.pl, Trealla is at fault here.
…On Tue, Aug 23, 2022 at 5:12 PM flexoron ***@***.***> wrote:
Who is the brain behind freeze.pl? Maybe there can be found a hidden
vivacious idea.
—
Reply to this email directly, view it on GitHub
<#21 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AFNKSESKPBELH4FHY3T3D7TV2R2W3ANCNFSM57IEBW2A>
.
You are receiving this because you commented.Message ID:
***@***.***>
from trealla.
flexoron
commented on July 28, 2024
?- append([B],[B],B),B=!.
false.
?- append([B],[B],B), freeze(B,B), B=!.
Segmentation fault (core dumped)
from trealla.
flexoron
commented on July 28, 2024
v2.1.0
?- append([B],[B],B), freeze(B,B), B=!.
Segmentation fault (core dumped)
Can you try this with scryer, too? I don't have it in use right now.
from trealla.
infradig
commented on July 28, 2024
~/trealla (devel) $ tpl
?- append([B],[B],B), freeze(B,B), B=!.
error(type_error(callable,[[[_82,_83],[_82,83]],call]),maplist/2).
~/trealla (devel) $ scryer-prolog
?- append([B],[B],B), freeze(B,B), B=!.
error(type_error(callable,[...,...]),call/1).
?-
~/trealla (devel) $
from trealla.
flexoron
commented on July 28, 2024
Great! Thank you.
from trealla.
infradig
commented on July 28, 2024
No, thank you. It solved a long-standing issue with attvars and fixed a few
Logtalk test failures.
…On Wed, Aug 24, 2022 at 10:56 AM flexoron ***@***.***> wrote:
Great! Thank you.
—
Reply to this email directly, view it on GitHub
<#21 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AFNKSEQ77ZXFP7TANPJKZZ3V2VXMBANCNFSM57IEBW2A>
.
You are receiving this because you commented.Message ID:
***@***.***>
from trealla.
flexoron
commented on July 28, 2024
?- freeze(A,B=b),freeze(B,A=a), freeze(C,D=d), C=go, freeze(D,B=b), frozen((A,B,C,D),X),writeq(A/B).
a/b A = a, B = b, C = go, D = d, X = true.
from trealla.
infradig
commented on July 28, 2024
I was looking for the bug, then realized it was good.
~/trealla (devel) $ swipl
?- freeze(A,B=b),freeze(B,A=a), freeze(C,D=d), C=go, freeze(D,B=b),
frozen((A,B,C,D),X),writeq(A/B).
a/b
A = a,
B = b,
C = go,
D = d,
X = true.
~/trealla (devel) $ tpl
?- freeze(A,B=b),freeze(B,A=a), freeze(C,D=d), C=go, freeze(D,B=b),
frozen((A,B,C,D),X),writeq(A/B).
a/b A = a, B = b, C = go, D = d, X = true.
…On Wed, Aug 24, 2022 at 11:07 AM flexoron ***@***.***> wrote:
?- freeze(A,B=b),freeze(B,A=a), freeze(C,D=d), C=go, freeze(D,B=b), frozen((A,B,C,D),X),writeq(A/B).
a/b A = a, B = b, C = go, D = d, X = true.
—
Reply to this email directly, view it on GitHub
<#21 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AFNKSEXQKVPVXA3YH2CJLEDV2VYTJANCNFSM57IEBW2A>
.
You are receiving this because you commented.Message ID:
***@***.***>
from trealla.
Related Issues (20)
- Segmentation Dump with NOFFI=1 NOSSL=1 NOTHREADS=1 ISOCLINE=1 Enabled HOT 1
- arg/3 + string weirdness HOT 2
- freeze/2 not playing well with negation HOT 6
- Module visibility for attributes incorrect? HOT 2
- Callligraphic script not unparsed like it is parsed?
- matrix: mat_lup_det/2 segfault HOT 4
- Apropos reading/writing. Trying to read from a named pipe: HOT 4
- Loading nonexistent shared lib should be an error HOT 10
- GSL: Error handling HOT 4
- GSL: matrix no-size (0x0) segfault HOT 4
- GSL: Info+Question HOT 14
- Support CLP(B) HOT 10
- Superflous parenthesis for fy mode HOT 3
- GSL: wrong sized matrix segfault
- GSL: library/gsl.pl hard-coded size
- GSL: result inoperative HOT 12
- pl_yield_at can cause some undesirable side effects HOT 10
- getting answers that are just a variable HOT 7
- [] not an atom that can be used as an operator HOT 10
- GSL: Bugs HOT 23
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from trealla.