head 1.68; access; symbols; locks ulrich:1.68; strict; comment @# @; 1.68 date 2024.01.27.06.32.53; author ulrich; state Exp; branches; next 1.67; 1.67 date 2024.01.27.06.32.02; author ulrich; state Exp; branches; next 1.66; 1.66 date 2023.09.14.18.32.04; author ulrich; state Exp; branches; next 1.65; 1.65 date 2023.09.14.18.28.08; author ulrich; state Exp; branches; next 1.64; 1.64 date 2023.09.03.09.48.44; author ulrich; state Exp; branches; next 1.63; 1.63 date 2023.08.17.05.47.40; author ulrich; state Exp; branches; next 1.62; 1.62 date 2023.08.16.14.42.26; author ulrich; state Exp; branches; next 1.61; 1.61 date 2023.07.08.14.56.40; author ulrich; state Exp; branches; next 1.60; 1.60 date 2023.07.01.11.09.41; author ulrich; state Exp; branches; next 1.59; 1.59 date 2023.06.18.05.42.44; author ulrich; state Exp; branches; next 1.58; 1.58 date 2023.06.18.05.27.47; author ulrich; state Exp; branches; next 1.57; 1.57 date 2022.10.26.08.42.17; author ulrich; state Exp; branches; next 1.56; 1.56 date 2022.08.02.09.39.28; author ulrich; state Exp; branches; next 1.55; 1.55 date 2022.08.02.09.23.50; author ulrich; state Exp; branches; next 1.54; 1.54 date 2022.08.02.09.17.42; author ulrich; state Exp; branches; next 1.53; 1.53 date 2022.08.02.08.58.26; author ulrich; state Exp; branches; next 1.52; 1.52 date 2022.08.02.08.03.55; author ulrich; state Exp; branches; next 1.51; 1.51 date 2022.01.07.11.51.33; author ulrich; state Exp; branches; next 1.50; 1.50 date 2021.12.27.11.44.10; author ulrich; state Exp; branches; next 1.49; 1.49 date 2021.12.26.19.18.32; author ulrich; state Exp; branches; next 1.48; 1.48 date 2021.12.26.07.23.46; author ulrich; state Exp; branches; next 1.47; 1.47 date 2021.12.25.13.03.44; author ulrich; state Exp; branches; next 1.46; 1.46 date 2021.12.25.12.48.46; author ulrich; state Exp; branches; next 1.45; 1.45 date 2021.12.25.12.40.34; author ulrich; state Exp; branches; next 1.44; 1.44 date 2021.12.25.10.43.35; author ulrich; state Exp; branches; next 1.43; 1.43 date 2021.11.14.21.14.22; author ulrich; state Exp; branches; next 1.42; 1.42 date 2021.11.13.21.06.02; author ulrich; state Exp; branches; next 1.41; 1.41 date 2021.11.13.09.43.58; author ulrich; state Exp; branches; next 1.40; 1.40 date 2021.08.17.06.59.56; author ulrich; state Exp; branches; next 1.39; 1.39 date 2021.03.24.19.04.13; author ulrich; state Exp; branches; next 1.38; 1.38 date 2021.03.24.18.37.44; author ulrich; state Exp; branches; next 1.37; 1.37 date 2019.05.14.08.32.31; author ulrich; state Exp; branches; next 1.36; 1.36 date 2018.06.04.14.55.29; author ulrich; state Exp; branches; next 1.35; 1.35 date 2018.06.02.13.25.13; author ulrich; state Exp; branches; next 1.34; 1.34 date 2018.06.02.09.27.52; author ulrich; state Exp; branches; next 1.33; 1.33 date 2017.08.06.14.40.22; author ulrich; state Exp; branches; next 1.32; 1.32 date 2017.08.04.14.45.35; author ulrich; state Exp; branches; next 1.31; 1.31 date 2017.08.04.14.41.58; author ulrich; state Exp; branches; next 1.30; 1.30 date 2017.08.04.13.29.43; author ulrich; state Exp; branches; next 1.29; 1.29 date 2017.08.02.14.36.35; author ulrich; state Exp; branches; next 1.28; 1.28 date 2017.08.02.12.46.32; author ulrich; state Exp; branches; next 1.27; 1.27 date 2017.08.02.12.17.47; author ulrich; state Exp; branches; next 1.26; 1.26 date 2017.08.02.08.20.50; author ulrich; state Exp; branches; next 1.25; 1.25 date 2017.07.31.04.07.33; author ulrich; state Exp; branches; next 1.24; 1.24 date 2016.11.26.22.15.18; author ulrich; state Exp; branches; next 1.23; 1.23 date 2016.10.02.16.26.50; author ulrich; state Exp; branches; next 1.22; 1.22 date 2016.10.02.16.14.53; author ulrich; state Exp; branches; next 1.21; 1.21 date 2016.10.02.14.26.32; author ulrich; state Exp; branches; next 1.20; 1.20 date 2016.09.19.12.14.24; author ulrich; state Exp; branches; next 1.19; 1.19 date 2014.12.17.14.06.28; author ulrich; state Exp; branches; next 1.18; 1.18 date 2014.12.17.13.43.50; author ulrich; state Exp; branches; next 1.17; 1.17 date 2014.12.15.17.19.05; author ulrich; state Exp; branches; next 1.16; 1.16 date 2014.08.24.15.30.28; author ulrich; state Exp; branches; next 1.15; 1.15 date 2014.04.07.15.25.27; author ulrich; state Exp; branches; next 1.14; 1.14 date 2014.04.07.13.59.24; author ulrich; state Exp; branches; next 1.13; 1.13 date 2014.03.14.13.18.52; author ulrich; state Exp; branches; next 1.12; 1.12 date 2014.03.12.21.41.27; author ulrich; state Exp; branches; next 1.11; 1.11 date 2014.01.29.21.48.54; author ulrich; state Exp; branches; next 1.10; 1.10 date 2014.01.29.21.23.18; author ulrich; state Exp; branches; next 1.9; 1.9 date 2013.11.29.23.06.54; author ulrich; state Exp; branches; next 1.8; 1.8 date 2013.11.29.22.36.57; author ulrich; state Exp; branches; next 1.7; 1.7 date 2013.11.07.00.10.20; author ulrich; state Exp; branches; next 1.6; 1.6 date 2013.08.28.12.39.08; author ulrich; state Exp; branches; next 1.5; 1.5 date 2013.06.30.00.18.10; author ulrich; state Exp; branches; next 1.4; 1.4 date 2013.06.19.21.46.57; author ulrich; state Exp; branches; next 1.3; 1.3 date 2013.06.19.21.44.19; author ulrich; state Exp; branches; next 1.2; 1.2 date 2013.06.19.21.15.06; author ulrich; state Exp; branches; next 1.1; 1.1 date 2013.06.19.21.12.03; author ulrich; state Exp; branches; next ; desc @@ 1.68 log @Trealla version update @ text @ post-N246 Read- and Write-Option variable_names/1

ISO/IEC JTC1 SC22 WG17
post-N246 Read- and Write-Option variable_names/1
and Error Handling in Options

(see also all documents, Syntax)

History

2010-11 Vulnerability issues of '$VAR'
draft (superseded) draft 7.10.5
2012-09-05 Resolution A5, add write-option for Cor.3
2013-08 N246
2014-07-22 WDCor.3 supersedes previous drafts!
2017-07-18 Cor.3 published

The Query entry below including a newline character at the end is sent to read(X),catch(X,error(E,_),true). The comment /**/ is replaced by the last preceding entry not containing /**/.
#
  		Query ISO/IEC 13211-1
Cor.3 		IF
V5.1B* 		MINERVA
2.4 		Jekejeke
1.5.0 		GNU
1.6.0 		B
7.8b7 		YAP
6.3.4 		SWI**
6.3.16-54 		SICStus
4.4.1 		ECLiPSe
7.0dev#23 -L iso 		Scryer
v0.8.123-750 		Trealla
2.34.19 		Ichiban
0.10.3
#QueryCodexIFMINERVAJekejekeGNUBYAPSWISICStusECLiPSeScryerTreallaIchiban
conformance of 72 71 47 44 36 64 25 48 45 72 72 72 72 71
regular use of 22 22 21 21 21 22 7 22 21 22 22 22 22 22
introduced WDCor.3 V5.0B <2.4 <0.9.2 <1.4.2 7.8b6 6.3.8 4.3β1 7.0#21 0.8.80 1.9.24 0.10.3
date 2012-09 1996-05 <1997-06 2011-10 2012-04 2012-07 2013-01 2013-01 2013-11 2017-06 2019-05 2021-06 2022-08
manual C6 C14 remote remote remote remote remote
1 write_term(T,[quoted(true),
 variable_names([N=T])]). 		i._e. _164 _749 OK OK new _338 OK new OK OK new OK OK OK OK
2 N = 'X', /**/ X OK OK OK OK 'X' OK OK OK OK OK OK OK
3 N = T, /**/ i._e. _164 _533 OK OK new _310 OK new OK OK new OK OK OK OK
4 N = '_', /**/ _ OK OK OK OK '_' OK OK OK OK OK OK OK
65 N = '_/*.*/', /**/ _/*.*/ OK OK d._e.(v._n., x) OK '_/*.*/' OK d._e.(v._n., x) OK OK new OK OK OK
5 N = x, /**/ x OK OK d._e.(v._n., x) OK new OK OK d._e.(v._n., x) OK OK new OK OK OK
6 N = 'x+y', /**/ x+y OK OK d._e.(v._n., 'x+y') OK new 'x+y' OK d._e.(v._n., 'x+y') OK OK new OK OK OK
50 N = '))', /**/ )) OK OK d._e.(v._n., '))') OK new '))' OK d._e.(v._n., '))') OK OK new OK OK OK
7 N = 7, /**/ d._e.(w._o., v._n.(..)) _168 7 t._e.(at., 7) OK new 7 H t._e.(at., 7) OK OK OK OK new OK
8 N = 1+2, /**/ d._e.(w._o., v._n.(..)) _171 +(1,2) t._e.(at., 1+2) OK new 1+2 '$VAR'(1+2) t._e.(at., 1+2) OK OK OK OK new OK
9 N = '$VAR'(9), /**/ d._e.(w._o., v._n.(..)) _170 '$VAR'(9) t._e.(at., ...) OK new J '$VAR'(J) t._e.(at., ...) OK OK OK OK new OK
10 T = a, /**/ i._e. a a a OK new a OK new OK OK new OK OK OK OK
11 T = a, N = 'Any', /**/ a OK OK OK OK OK OK OK OK OK OK OK OK
12 T = '$VAR'(9), N = '_', /**/ '$VAR'(9) OK OK OK OK J J OK OK OK OK OK new OK
28 freeze(T,throw(g(T))),
N = 'X', /**/ 		X OK n/a OK n/a g(X) OK OK OK OK OK OK n/a
13 write_term(T,[quoted(true),
 variable_names([
  'X'=X,'Y'=Y,'Z'=Z])]). 		_Impdep _164 _583 _D _23 _420 _1.. _G864 _981 _391 _0 _0 new _1159
14 T=(X,Y,Z), /**/ X,Y,Z X , Y , Z X , Y , Z OK OK 'X','Y','Z' OK OK OK OK OK OK OK
15 Z=Y, T=(X,Y,Z), /**/ X,Y,Y X , Y , Y X , Y , Y OK OK 'X','Y','Y' OK OK OK OK OK OK OK
16 Z=Y, Y=X, T=(X,Y,Z), /**/ X,X,X X , X , X X , X , X OK OK 'X','X','X' OK OK OK OK OK OK OK
17 T=(Y,Z), /**/ Y,Z Y , Z Y , Z OK OK 'Y','Z' OK OK OK OK OK OK OK
18 T=(Z,Y), /**/ Z,Y Z , Y Z , Y OK OK 'Z','Y' OK OK OK OK OK OK OK
19 write_term(T,[quoted(true),
 variable_names([
  'Z'=Z,'Y'=Y,'X'=X])]). 		_Impdep _164 _583 _D _23 _3b4 _1.. _G864 _981 _391 _0 _0 new _1159
20 T=(X,Y,Z), /**/ X,Y,Z X , Y , Z X , Y , Z OK OK 'X','Y','Z' OK OK OK OK OK OK OK
21 Z=Y, T=(X,Y,Z), /**/ X,Z,Z X , Z , Z X , Z , Z X, Z, Z new OK 'X','Z','Z' OK OK OK OK OK OK new OK
22 Z=Y, Y=X, T=(X,Y,Z), /**/ Z,Z,Z Z , Z , Z Z , Z , Z Z, Z, Z new OK 'Z','Z','Z' OK OK OK OK OK OK new OK
23 T=(Y,Z), /**/ Y,Z Y , Z Y , Z OK OK 'Y','Z' OK OK OK OK OK OK OK
24 T=(Z,Y), /**/ Z,Y Z , Y Z , Y OK OK 'Z','Y' OK OK OK OK OK OK OK
25 write_term(T,[quoted(true),
 variable_names([
  'X'=Z,'X'=Y,'X'=X])]). 		_Impdep _164 _583 _D _23 _3b4 _1.. _G864 _981 _391 _0 _0 new _1159
26 T=(X,Y,Z), /**/ X,X,X X , X , X X , X , X OK OK 'X','X','X' OK OK OK OK OK OK OK
27 T=(1,2,3), T=(X,Y,Z), /**/ 1,2,3 1 , 2 , 3 1 , 2 , 3 OK OK OK OK OK OK OK OK OK OK
32 read_term(T,[
 variable_names(VN_list)]),
VN_list=[_=1,_=2,_=3],
writeq(VN_list). 		waits OK OK OK OK OK OK OK OK OK OK OK OK
29 /**/ B+C+A+B+C+A. ['B'=1,'C'=2,'A'=3]³ OK OK OK new OK ['A'=1,
'C'=2, 'B'=3] 		OK OK OK new OK OK new OK OK
30 write_term(T,
 [variable_names(VN_list)]). 		i._e. _164 loops OK OK new OK _131777 OK OK new OK new OK OK new OK
31 VN_list = 1, /**/ d._e.(w._o.,v._n.(..)) _168 _707 t._e.(list, 1) OK wrong_coll. _131821 t._e.(list, 1) OK new OK new OK OK OK
33 VN_list = [[]], /**/ d._e.(w._o.,v._n.(..)) _170 _772 t._e.(assoc, []) OK _388 fails t._e.(v._ass., []) OK OK new OK OK OK
34 VN_list = non_list,/**/ d._e.(w_.o.,v._n.(..)) _168 _707 t._e.(list, n.) OK wrong_coll. _131869 t._e.(list, n.) OK new OK new OK OK OK
35 VN_list = [T='T'|non_list],/**/ d._e.(w._o.,v._n.(..))
or i._e. 		_165 _630 t._e.(list, n.) i._e. t._e.(list, n.) _131900 i._e. d._e. new i._e. d._e. i._e. i._e.
52 VN_list = ['T'=T|_],/**/ i._e. T T OK OK new OK T OK OK new OK OK OK OK
51 VN_list = ['T'=T|non_list],/**/ d._e.(w._o.,v._n.(..)) T T t._e.(list, n.) OK t._e.(list, n.) T t._e.(list, n.) OK new OK new OK OK new OK
36 VN_list = [T-'T'],/**/ d._e.(w._o.,v._n.(..)) _165 _630 t._e.(assoc, _-'T') OK _350 fails t._e.(v._ass., ...) OK OK new OK OK new OK
63 VN_list = [_,a],/**/ d._e.(w._o.,v._n.(..))
or i._e. 		_165 _912 i._e. d._e. i._e. i._e. d._e. i._e. i._e.
64 VN_list = [a,_],/**/ d._e.(w._o.,v._n.(..))
or i._e. 		_165 _973 t._e.(assoc,a) d._e. d._e. d._e. new d._e. d._e. d._e.
66 VN_list = [a|_],/**/ d._e.(w._o.,v._n.(..))
or i._e. 		_174 loops t._e.(assoc,a) d._e. i._e. d._e. new i._e. d._e. d._e.
67 VN_list = [i=i,7=i],/**/ d._e(w._o.,
v._n.([i=i,7=i])). 		_178 _672 _A OK OK _13.. d._e.(v._n.,i) OK OK OK new OK new OK
68 VN_list = [_,_],/**/ i._e. _174 _893 OK d._e... fails OK OK OK OK new OK new OK
43 write_term(-X^2,[
 variable_names(['X'=X])]). 		- (X^2) -X^2 -X^2 -X^2 -X^2 -X^2 -X^2 -X^2 OK OK OK OK new OK
44 X=1, /**/ - (1^2) #183/215 #183/215 #183/215 OK OK - (1)^2 #183/215 OK OK OK OK new OK
37 open(f,write,_,[O]). i._e. OK OK O = alias(_)† OK OK OK OK OK OK OK new OK OK
38 O = 1, /**/ d._e.(s._o., 1) OK t._e.(atom, 1) d._e.(o._o.,1) OK OK OK OK OK new OK new OK new OK OK
56 O = typex(_), /**/ d._e.(s._o., t.(_)) OK i._e. d._e.(o._o.,..) OK OK succeeds succeeds OK new OK new OK new OK new OK
57 O = typex(1), /**/ d._e.(s._o., t.(1)) OK t._e.(atom, 1) d._e.(o._o.,..) OK OK succeeds succeeds OK OK new OK new OK OK
62 O = typex(s(_)), /**/ d._e.(s._o., t.(s(_.))) OK t._e.(atom, s(_.)) d._e.(o._o.,..) OK OK succeeds succeeds OK OK new OK new OK OK
39 O = type(text), /**/ succeeds OK OK OK† OK OK OK OK OK OK OK new OK OK
40 O = type(1), /**/ d._e.(s._o., t.(1)) t._e.(atom, 1) t._e.(atom, 1) t._e.(atom, 1) OK d._e.(s._o., 1) OK t._e.(atom, 1) OK OK new OK new OK OK
41 O = type(_), /**/ i._e. OK OK OK OK new d._e.(s._o.,..) OK new OK OK new OK new OK new OK new OK
60 O = alias(_), /**/ i._e. OK OK p._e.(o.,
s._s.,..) 		d._e.(s._., ..) p._e.(o.,
s._s.,..) 		OK OK OK new OK new OK new OK new OK
42 O = type(nontype), /**/ d._e.(s._o., t.(n.))   d._e.(s._o., n.) OK   d._e.(flag_v., n.) OK   d._e.(s._o., n.) succeeds OK new OK OK new OK new OK new OK
61 O = alias(1), /**/ d._e.(s._o.. a.(1)) t._e.(a.,a.(1)) OK O = alias(1) OK p._e.(o.,s._s.,..) t._e.(a.,1) t._e.(a.,1) OK OK new OK new OK OK
45 read_term(T,[
 variable_names(VN_list)]). 		waits OK OK OK OK OK OK OK OK OK OK OK OK
46 /**/ a. T = a,
VN_list = [] 		OK OK OK OK OK OK OK OK OK OK OK OK
47 VN_list = 42, /**/ waits OK OK OK d._e.(r._o,..) reg OK OK OK OK OK OK OK new OK
48 VN_list = 42, /**/ a. fails OK OK OK d._e.(r._o,..) reg OK OK OK OK OK OK OK new OK
49 VN_list = 42, /**/ a b. syn._e.(..) OK OK OK d._e.(r._o,..) reg OK OK OK OK OK OK OK new OK
53 write_term(S,[quoted(true),
 variable_names([N=T])]). 		i._e. _164 _583 OK OK _328 OK OK OK OK OK OK OK
54 S=1+T,N='/*r*/V',/**/ 1+/*r*/V 1 + /*r*/V 1 + /*r*/V d._e(v._n.,..) 1+ /*r*/V OK d._e(v._n.,..) OK OK new 1+ /*r*/ OK new OK
55 S=1+T,N=' /*r*/V',/**/ 1+ /*r*/V 1 + /*r*/V 1 + /*r*/V d._e(v._n.,..) OK OK d._e(v._n.,..) OK OK new OK OK new OK
58 S=1+T,N=(+),/**/ 1++ or 1+ + 1 + + 1 + + d._e(v._n.,..) 1+ + 1+ + d._e(v._n.,+) 1+ + 1++ 1+ + 1++ new 1++
59 S=T+1,N=(+),/**/ ++1 or + +1 + + 1 + + 1 d._e(v._n.,..) ++1 + +1 d._e(v._n.,+) + +1 + +1 + +1 ++1 new ++1
69 read_term(T,[singletons(1)]). waits OK OK OK d._e.(r.,..) OK OK OK OK OK OK OK new OK
70 /**/ a. fails OK OK OK OK OK OK OK OK OK OK new OK
71 write_term(T,[
variable_names(['Bad'=T]),
variable_names(['Good'=T])]). 		Good OK OK @@@@@@ OK new Bad OK OK OK OK OK OK OK
72 read_term(T,[singletons([])]). waits OK OK @@@@@@ OK OK OK OK OK OK OK OK new OK
73 Template @@@@@@
* IF/Prolog was tested with the implementation specific write-option varnames/1 instead. There is also a read-option varnames/1:

variable_names( ? VarList )
If a term is read in successfully, VarList is unified with a list of all named variables found in Term and their names in the form [Name = Variable, ... ], i.e. anonymous variables are not included in the list.
varnames( ? VarList )
If a term is read in successfully, VarList is unified with a list of all variables found in Term and their names in the form [ Name = Variable , ... ] , i.e. anonymous variables are also included.
† Note that the name /storage/emulated/0/f was used in place of f.
** Note that SWI discontinued to support this options since approximately 7.3.26. Note that SWI7 is no longer ISO (or striving towards ISO).
No errors/silent ignorance might be justifiable, because 7.10.5 does not foresee any errors. On the other hand, 8.14.2.3 lists already errors that might be applicable for variable_names/1:
e) An element E of the Options list is neither a
variable nor a valid write-option
— domain_error(write_option, E).
Also, some errors are specific to a particular option already:
8.11.5.3
l) An element E of the Options list is alias(A) and
A is already associated with an open stream
— permission_error(open, source_sink,
alias(A)).

m) An element E of the Options list is
reposition(true) and it is not possible to repo-
sition this stream
— permission_error(open, source_sink,
reposition(true)).
Solution in WDCor.3: use instantiation errors and domain errors only.
Version Control, Validated HTML @ 1.67 log @Trealla progress @ text @d145 1 a145 1
2.27.18 @ 1.66 log @*** empty log message *** @ text @d167 1 a167 1 67 d1285 1 a1285 1 d._e.(r._o,..) d1302 1 a1302 1 d._e.(r._o,..) d1319 1 a1319 1 d._e.(r._o,..) d1421 1 a1421 1 d._e.(r._o,..) d1438 1 a1438 1 @ 1.65 log @*** empty log message *** @ text @d145 1 a145 1
2.21.0-2 d167 1 a167 1 66 d1472 1 a1472 1 d._e.(r._o,..) @ 1.64 log @*** empty log message *** @ text @d155 4 a158 4 conformance of 71 70 46 43 d160 7 a166 7 63 24 47 44 71 71 71 d168 1 a168 1 70 d1409 1 a1409 1 69 read_term(T,
 [singletons(1)]). d1460 18 a1477 1 72 Template d1485 1 a1485 1 d1488 2 a1489 2 @ 1.63 log @*** empty log message *** @ text @d191 2 a192 2 d208 1 a208 1 <1996 @ 1.62 log @*** empty log message *** @ text @d155 1 a155 1 conformance d172 1 a172 1 regular use @ 1.61 log @GNU progress @ text @d208 1 a208 1 <1998 @ 1.60 log @updated Trealla version @ text @d131 1 a131 1
1.5.1 d160 1 a160 1 62 d1448 1 a1448 1 Bad @ 1.59 log @Added footer @ text @d145 1 a145 1
1.18.3 d157 2 a158 2 44 42 d162 7 a168 7 46 43 70 70 70 65 69 d1443 18 a1460 1 71 Template d1464 2 a1465 2 d1467 3 a1469 3 d1471 3 a1473 2 @ 1.58 log @GNU regression @ text @d79 5 d150 3 @ 1.57 log @Beta! @ text @d126 1 a126 1
1.4.5 d152 1 a152 1 65 d186 1 a186 1 <1.4.2 d477 1 a477 1 X d1270 1 a1270 1 OK d1287 1 a1287 1 OK d1304 1 a1304 1 OK @ 1.56 log @m Ichban, GNU, Scryer @ text @d190 1 a190 1 4.3beta1 @ 1.55 log @m Ichiban @ text @d489 1 d858 1 a858 1 OK d864 1 a864 1 OK @ 1.54 log @m preciser for SICStus, Ichiban @ text @d505 1 a505 1 OK d607 1 a607 1 OK d709 1 a709 1 OK @ 1.53 log @Ichiban added, ECLiPSe preciser @ text @d861 1 a861 1 OK new d865 1 a865 1 OK d1379 1 a1379 1 OK d1396 1 a1396 1 OK @ 1.52 log @m IF @ text @d141 2 d160 1 d177 1 d194 1 d211 1 d251 1 d268 1 d285 1 d302 1 d319 1 d336 1 d353 1 d370 1 d387 1 d404 1 d421 1 d438 1 d455 1 d472 1 d505 1 d522 1 d539 1 d556 1 d573 1 d590 1 d607 1 d624 1 d641 1 d658 1 d675 1 d692 1 d709 1 d726 1 d743 1 d763 1 d780 1 d797 1 d814 1 d831 1 d848 1 d865 1 d882 1 d899 1 d916 1 d933 1 d947 1 a947 1 OK new d950 1 d964 1 a964 1 OK new d967 1 d984 1 d1001 1 d1018 1 d1035 1 d1052 1 d1069 1 d1086 1 d1103 1 d1120 1 d1137 1 d1154 1 d1171 1 d1190 1 d1207 1 d1226 1 d1243 1 d1260 1 d1277 1 d1294 1 d1311 1 d1328 1 d1345 1 d1362 1 d1379 1 d1396 1 d1413 1 d1430 1 @ 1.51 log @Scryer improvement @ text @d119 1 a119 1 IF d121 1 a121 1 MINERVA d123 1 a123 1 Jekejeke d222 1 a222 1 remote d796 1 a796 1 d._e.(w_.o., v._n.(..)) d925 1 a925 1 OK d941 1 a941 1 d1249 2 a1250 2 _164 _583 d1253 1 a1253 1 _328 d1329 1 a1329 1 d1345 1 a1345 1 @ 1.50 log @Trealla progress @ text @d138 1 a138 1
0.8.123-676 d156 1 a156 1 69 d172 1 a172 1 21 d742 1 a742 1 ['A'=1,
'C'=2,'B'=3] @ 1.49 log @Trealla update @ text @d140 1 a140 1
1.17.37 d157 1 a157 1 63 d855 1 a855 1 t._e.(list, v.(..)) d887 1 a887 1 OK d903 1 a903 1 OK d919 1 a919 1 OK d1031 1 a1031 1 i._e. d1339 1 a1339 1 d._e.(r.,..) d1407 1 a1407 1 options since aproximately 7.3.26. Note that @ 1.48 log @Trealla progress @ text @d140 1 a140 1
1.17.33 d157 1 a157 1 57 d173 1 a173 1 18 d612 1 a612 1 X,Y,Y d628 1 a628 1 X,X,X d871 1 a871 1 i._e. d951 1 a951 1 d._e... d967 1 a967 1 - X^2 d983 1 a983 1 #183/215 @ 1.47 log @Trealla 1.17.32 @ text @d140 1 a140 1
1.17.32 d157 1 a157 1 54 d484 1 a484 1 X d580 1 a580 1 Z d676 1 a676 1 X @ 1.46 log @No change @ text @d140 1 a140 1
1.17.30 d157 1 a157 1 46 d452 1 a452 1 J @ 1.45 log @1.17.28, then 17.29 @ text @d140 1 a140 1
1.17.29 @ 1.44 log @*** empty log message *** @ text @d140 1 a140 1
1.10.33 d157 1 a157 1 58 d173 1 a173 1 22 d372 1 a372 1 OK d388 1 a388 1 OK d404 1 a404 1 OK d452 1 a452 1 OK d468 1 a468 1 n/a d484 1 a484 1 _0 d580 1 a580 1 _0 d612 1 a612 1 OK d628 1 a628 1 OK d676 1 a676 1 _0 d935 1 a935 1 OK d951 1 a951 1 OK d967 1 a967 1 OK new d983 1 a983 1 OK d1022 1 a1022 1 i._e. d1031 1 a1031 1 OK d1275 1 a1275 1 i._e. d1291 1 a1291 1 i._e. d1307 1 a1307 1 i._e. d1323 1 a1323 1 i._e. @ 1.43 log @Correction, for SICStus & Scryer @ text @d146 1 a146 1 68 d148 2 a149 2 40 34 d151 6 a156 6 22 44 41 68 68 68 d172 1 a172 1 22 d737 1 a737 1 ['A'=1,
'C'=2, 'B'=3] d742 1 a742 1 OK @ 1.42 log @Scryer progress @ text @d1110 1 a1110 1 OK new d1124 1 a1124 1 d._e.(s._.,..) d1128 1 a1128 1 OK new @ 1.41 log @Trealla @ text @d138 1 a138 1
0.8.123-158 d156 1 a156 1 66 d1110 1 a1110 1 d._e.(s._o.,..) d1128 1 a1128 1 d._e.(s._o.,..) @ 1.40 log @New system Trealla @ text @d157 1 a157 1 58 d173 1 a173 1 21 d468 1 a468 1 OK d759 1 a759 1 OK new d951 1 a951 1 i._e. d967 1 a967 1 -X^2 d983 1 a983 1 #183/215 d1111 1 a1111 1 OK new d1129 1 a1129 1 OK new d1144 2 a1145 2 OK new OK new d1327 33 a1359 1 69 Template d1371 1 a1371 1 @ 1.39 log @Jekejeke improvement @ text @d139 2 d157 1 d163 3 a165 3 22 22 22 d169 1 a169 1 22 d173 1 d189 1 d205 1 d244 1 d260 1 d276 1 d292 1 d308 1 d324 1 d340 1 d356 1 d372 1 d388 1 d404 1 d420 1 d436 1 d452 1 d468 1 d484 1 d500 1 d516 1 d532 1 d548 1 d564 1 d580 1 d596 1 d612 1 d628 1 d644 1 d660 1 d676 1 d692 1 d708 1 d727 1 d743 1 d759 1 d775 1 d791 1 d807 1 d823 1 d839 1 d855 1 d871 1 d887 1 d903 1 d919 1 d935 1 d951 1 d967 1 d983 1 d999 1 d1015 1 d1031 1 d1047 1 d1063 1 d1079 1 d1095 1 d1105 1 a1105 1 d._e.(s._o., _) d1110 2 a1111 1 d._e.(s._o., _) d1124 1 a1124 1 OK d1128 2 a1129 1 d._e.(s._o., _) d1145 1 d1163 1 a1167 1 d1179 1 d1195 1 d1211 1 d1227 1 d1243 1 d1259 1 d1275 1 d1291 1 d1307 1 d1323 1 d1339 1 @ 1.38 log @*** empty log message *** @ text @d124 1 a124 1
1.2.6 d147 1 a147 1 32 d162 1 a162 1 20 d575 1 a575 1 X,Y,Y reg d590 1 a590 1 X,X,X reg @ 1.37 log @Scryer new @ text @d138 1 a138 1
0.8.84 d144 2 a145 2 66 43 d147 3 a149 3 31 63 21 d151 4 a154 4 40 66 66 57 d169 1 a169 1 21 d900 1 a900 1 OK d945 1 a945 1 ex._e. d960 1 a960 1 ex._e. d975 1 a975 1 ex._e. d990 1 a990 1 ex._e. d1005 1 a1005 1 ex._e. d1020 1 a1020 1 ex._e. d1035 1 a1035 1 ex._e. d1050 1 a1050 1 ex._e. d1067 1 a1067 1 ex._e. d1082 1 a1082 1 ex._e. d1099 1 a1099 1 ex._e. @ 1.36 log @*** empty log message *** @ text @d101 1 a101 1
2014-07-22 WDCor.3 supersedes previous drafts! d137 2 d154 1 d169 1 d184 1 d199 1 d237 1 d252 1 d267 1 d282 1 d297 1 d312 1 d327 1 d342 1 d357 1 d372 1 d387 1 d402 1 d417 1 d432 1 d447 1 d462 1 d477 1 d492 1 d507 1 d522 1 d537 1 d552 1 d567 1 d582 1 d597 1 d612 1 d627 1 d642 1 d657 1 d672 1 d690 1 d705 1 d720 1 d735 1 d750 1 d765 1 d780 1 d795 1 d810 1 d825 1 d840 1 d855 1 d870 31 d915 1 d930 1 d945 1 d960 1 d975 1 d990 1 d1005 1 d1020 1 d1035 1 d1050 1 d1067 1 d1082 1 d1099 1 d1115 1 d1130 1 d1145 1 d1160 1 d1175 1 d1190 1 d1205 1 d1220 1 d1235 1 d1250 1 d1254 1 a1254 1 67 Template d1258 1 a1258 1 d1263 1 a1263 1 d1265 1 @ 1.35 log @Jekejeke update @ text @d546 1 a546 1 X,Y,Y d560 1 a560 1 X,X,X @ 1.34 log @SICStus update @ text @d124 1 a124 1
1.0.0 d145 1 a145 1 34 d159 1 a159 1 22 d546 1 a546 1 OK d560 1 a560 1 OK d787 1 a787 1 d801 1 a801 1 d815 1 a815 1 d857 1 a857 1 ex._e.(s._s., '/f') d871 1 a871 1 OK d885 1 a885 1 OK d899 1 a899 1 OK d913 1 a913 1 d927 1 a927 1 ex._e.(s._s., '/f') d969 1 a969 1 ? d999 1 a999 1 ? d1190 5 d1196 1 @ 1.33 log @ECLiPSe 7.0dev#23 @ text @d134 1 a134 1
4.3beta8 d150 1 a150 1 65 d890 1 a890 1 i._e @ 1.32 log @Duplicate number #64 renumbered as #66 @ text @d136 1 a136 1
7.0dev#22 -L iso d151 1 a151 1 48 d286 1 a286 1 d._e(w._o,..) d300 1 a300 1 d._e(w._o,..) d314 1 a314 1 d._e(w._o,..) d328 1 a328 1 d._e(w._o,..) d681 1 a681 1 _369 d877 1 a877 1  d._e.(
s._options,
[1]) d891 1 a891 1 d._e./**/ d905 1 a905 1 d._e./**/ d919 1 a919 1 d._e./**/ d947 1 a947 1 d._e./**/ d961 1 a961 1 d._e./**/ d977 1 a977 1 p._e.(o.,
s._s.,..) d991 1 a991 1 d._e./**/ d1007 1 a1007 1 Abort d1106 1 a1106 1 d._e(w._o,..) d1120 1 a1120 1 d._e(w._o,..) d1134 1 a1134 1 d._e(w._o,..) d1148 1 a1148 1 d._e(w._o,..) @ 1.31 log @ECLiPSe 7.0dev#22 @ text @d155 1 a155 1 regular use d811 1 a811 1 64 VN_list = [a|_],/**/ d1152 1 a1152 1 66 Template @ 1.30 log @Vor ECLiPSe 7.0dev#22 @ text @d136 1 a136 1
7.0dev#21 -L iso d151 1 a151 1 41 d286 1 a286 1 Abort d300 1 a300 1 Abort d314 1 a314 1 Abort d328 1 a328 1 Abort d695 1 a695 1 Abort d709 1 a709 1 Abort d723 1 a723 1 Abort d765 1 a765 1 Abort d779 1 a779 1 Abort d807 1 a807 1 Abort d821 1 a821 1 Abort d1106 1 a1106 1 Abort d1120 1 a1120 1 Abort d1134 1 a1134 1 Abort d1148 1 a1148 1 Abort @ 1.29 log @Labelled more cases as regular use cases @ text @d336 1 a336 1 t._e.(at., 7) d340 1 a340 1 t._e.(at., 7) d350 1 a350 1 t._e.(at., 1+2) d354 1 a354 1 t._e.(at., 1+2) d364 1 a364 1 t._e.(at., ...) d368 1 a368 1 t._e.(at., ...) d997 1 a997 1 t._e.(a.,a.(1)) d1002 2 a1003 2 t._e.(a.,1) t._e.(a.,1) d1086 1 a1086 1 d1100 1 a1100 1 d1114 1 a1114 1 d1128 1 a1128 1 d1142 1 a1142 1 @ 1.28 log @*** empty log message *** @ text @d156 10 a165 10 17 17 17 17 17 3 17 17 17 17 d388 1 a388 1 11 T = a, N = 'Any', /**/ d825 1 a825 1 43 write_term(-X^2,[
 variable_names(['X'=X])]). d839 1 a839 1 44 X=1, /**/ d923 1 a923 1 39 O = type(text), /**/ d1011 1 a1011 1 45 read_term(T,[
 variable_names(VN_list)]). @ 1.27 log @ECLiPSe added @ text @d308 1 a308 1 d._e.(v._n., 'x+y') d310 1 a310 1 'x+y' d312 1 a312 1 d._e.(v._n., 'x+y') d322 1 a322 1 d._e.(v._n., '))') d324 1 a324 1 '))' d326 1 a326 1 d._e.(v._n., '))') d877 1 a877 1 d._e.(
s._options,
[1]) @ 1.26 log @*** empty log message *** @ text @d117 8 a124 4 ISO/IEC 13211-1
Cor.3
IF
V5.1B* MINERVA
2.4 Jekejeke
1.0.0 d126 1 a126 1
1.4.5 d128 1 a128 1
7.8b7 d130 1 a130 1
6.3.4 d132 1 a132 1
6.3.16-54 d134 3 a136 1
4.3beta8 d151 1 d165 1 d179 1 d193 1 d195 10 d221 1 a221 1 inst._e. d230 1 d244 1 d249 1 a249 1 inst._e. d258 1 d272 1 d280 1 a280 1 d._e.(v._n., x) d284 1 a284 1 d._e.(v._n., x) d286 1 d294 1 a294 1 d._e.(v._n., x) d298 1 a298 1 d._e.(v._n., x) d300 1 d314 1 d328 1 d342 1 d356 1 d370 1 d375 1 a375 1 inst._e. d384 1 d398 1 d412 1 d426 1 d440 1 d454 1 d468 1 d482 1 d496 1 d510 1 d524 1 d538 1 d552 1 d566 1 d580 1 d594 1 d608 1 d622 1 d636 1 a639 1 d653 1 d667 1 d672 2 a673 2 inst._e. _164 d678 1 a678 1 _131777 d681 1 d695 1 d709 1 d723 1 d728 1 a728 1 d._e.(w._o.,v._n.(..))
or inst._e. d735 1 a735 1 inst._e. d737 1 d742 1 a742 1 inst._e. d751 1 d765 1 d779 1 d784 1 a784 1 d._e.(w._o.,v._n.(..))
or inst._e. d793 1 d798 1 a798 1 d._e.(w._o.,v._n.(..))
or inst._e. d807 1 d812 1 a812 1 d._e.(w._o.,v._n.(..))
or inst._e. d821 1 d835 1 d849 1 d854 1 a854 1 inst._e. d863 1 d877 1 d884 1 a884 1 inst._e. d890 2 a891 1 inst._e d905 1 d919 1 d933 1 d947 1 d952 1 a952 1 inst._e. d961 1 d966 1 a966 1 inst._e. d971 1 a971 1 p._e.(o.,s._s.,..) d977 1 d991 1 d1007 1 d1022 1 d1036 1 d1050 1 d1064 1 d1078 1 d1083 1 a1083 1 inst._e. d1092 1 d1104 1 a1104 1 d._e(v._n.,..) d1106 1 d1118 1 a1118 1 d._e(v._n.,..) d1120 1 d1132 1 a1132 1 d._e(v._n.,+) d1134 1 d1146 1 a1146 1 d._e(v._n.,+) d1148 1 d1162 1 @ 1.25 log @*** empty log message *** @ text @d84 1 a84 1
post-N246 d100 1 d107 1 a107 1 sent to read(X),X. The comment /**/ is @ 1.24 log @*** empty log message *** @ text @d73 1 a73 2 .reg { background: #FEF590 } /* regular use */ .ext { background: #FFFF60 } /* extended use */ d101 1 d116 1 a116 1 ISO/IEC 13211-1
WDCor.3
d135 1 a135 1 d148 1 a148 1 17 a158 15 extended use 2 1 1 1 0 2 1 2 d187 1 a187 1 d200 1 a200 1 inst._e. d213 1 a213 1 X d226 1 a226 1 inst._e. d239 1 a239 1 _ d251 2 a252 2 65 N = '_/*.*/', /**/ _/*.*/ d265 1 a265 1 x d278 1 a278 1 x+y d291 1 a291 1 )) d304 1 a304 1 d._e.(w._o., v._n.(..)) d311 1 a311 1 t._e.(at., 7) d317 1 a317 1 d._e.(w._o., v._n.(..)) d324 1 a324 1 t._e.(at., 1+2) d330 1 a330 1 d._e.(w._o., v._n.(..)) d337 1 a337 1 t._e.(at., ...) d343 1 a343 1 inst._e. d356 1 a356 1 a d369 1 a369 1 '$VAR'(9) d381 2 a382 2 28 freeze(T,throw(g(T))),
N = 'X', /**/ X d395 1 a395 1 _Impdep d408 1 a408 1 X,Y,Z d421 1 a421 1 X,Y,Y d434 1 a434 1 X,X,X d447 1 a447 1 Y,Z d460 1 a460 1 Z,Y d473 1 a473 1 _Impdep d486 1 a486 1 X,Y,Z d499 1 a499 1 X,Z,Z d512 1 a512 1 Z,Z,Z d525 1 a525 1 Y,Z d538 1 a538 1 Z,Y d551 1 a551 1 _Impdep d564 1 a564 1 X,X,X d577 1 a577 1 1,2,3 d607 1 a607 2 any perm
['B'=1,'C'=2,'A'=3] d620 1 a620 1 inst._e. d633 1 a633 1 d._e.(w._o.,v._n.(..)) d646 1 a646 1 d._e.(w._o.,v._n.(..)) d659 1 a659 1 d._e.(w_.o., v._n.(..)) d672 1 a672 1 d._e.(w._o.,v._n.(..))
or inst._e. d685 1 a685 1 inst._e. d698 1 a698 1 d._e.(w._o.,v._n.(..)) d711 1 a711 1 d._e.(w._o.,v._n.(..)) d724 1 a724 1 d._e.(w._o.,v._n.(..))
or inst._e. d737 1 a737 1 d._e.(w._o.,v._n.(..))
or inst._e. d750 1 a750 1 d._e.(w._o.,v._n.(..))
or inst._e. d763 1 a763 1 - (X^2) d776 1 a776 1 - (1^2) d880 1 a880 1 inst._e. d893 1 a893 1 inst._e. d1002 1 a1002 1 inst._e. d1015 1 a1015 1 1+/*r*/V d1028 1 a1028 1 1+ /*r*/V d1041 1 a1041 1 1++ or 1+ + d1054 1 a1054 1 ++1 or + +1 d1067 1 a1067 1 @ 1.23 log @Missing /**/, Jan Burse @ text @d73 2 d146 28 d227 1 a227 1 2 N = 'X', /**/ d253 1 a253 1 4 N = '_', /**/ d266 2 a267 2 65 N = '_/**/', /**/ _/**/ d272 1 a272 1 '_/**/' d305 1 a305 1 50 N = '))', /**/ d396 1 a396 1 28 freeze(T,throw(g(T))),
N = 'X', /**/ d400 1 a400 1 n/a d422 1 a422 1 14 T=(X,Y,Z), /**/ d435 1 a435 1 15 Z=Y, T=(X,Y,Z), /**/ d448 1 a448 1 16 Z=Y, Y=X, T=(X,Y,Z), /**/ d461 1 a461 1 17 T=(Y,Z), /**/ d474 1 a474 1 18 T=(Z,Y), /**/ d500 1 a500 1 20 T=(X,Y,Z), /**/ d513 1 a513 1 21 Z=Y, T=(X,Y,Z), /**/ d526 1 a526 1 22 Z=Y, Y=X, T=(X,Y,Z), /**/ d539 1 a539 1 23 T=(Y,Z), /**/ d552 1 a552 1 24 T=(Z,Y), /**/ d578 1 a578 1 26 T=(X,Y,Z), /**/ d591 1 a591 1 27 T=(1,2,3), T=(X,Y,Z), /**/ d608 1 a608 1 32 read_term(T,[
 variable_names(VN_list)]),
VN_list=[_=1,_=2,_=3],
writeq(VN_list). d621 1 a621 1 29 /**/ B+C+A+B+C+A. d661 1 a661 1 33 VN_list = [[]], /**/ d965 1 a965 1 46 /**/ a. d1120 2 a1121 2 ** Note that SWI discontinued to support this options since aproximately 7.3.26. Also note that @ 1.22 log @*** empty log message *** @ text @d236 1 a236 1 65 N = '_/**/' d1091 2 a1092 1 options since aproximately 7.3.26. @ 1.21 log @*** empty log message *** @ text @d115 1 a115 1 IF
V5.1B* d124 1 a124 1 SWI d242 1 a242 1 d292 1 a292 1 t._e.(at., 7) d305 1 a305 1 t._e.(at., 1+2) d318 1 a318 1 t._e.(at., ...) d622 1 a622 1 t._e.(list, 1) d624 1 a624 1 wrong_coll. d626 1 a626 1 t._e.(list, 1) d635 1 a635 1 t._e.(assoc, []) d639 1 a639 1 t._e.(v._ass., []) d648 1 a648 1 t._e.(list, n.) d650 1 a650 1 wrong_coll. d652 1 a652 1 t._e.(list, n.) d661 1 a661 1 t._e.(list, n.) d663 1 a663 1 t._e.(list, n.) d1066 1 a1066 1 * IF/Prolog was tested with the implementation specific d1090 5 d1126 2 a1127 2 @ 1.20 log @*** empty log message *** @ text @a132 3 d134 8 a141 5 d236 13 a574 2 a616 1 d619 1 a619 1 d._e.(w._o., v._n(..)) d632 1 a632 1 d._e.(w._o., v._n.(..)) a655 1 d658 1 a658 1 d._e.(w._o., v._n.(..))
or inst._e. d684 1 a684 1 d._e.(w._o., v._n.(..)) a694 2 d697 1 a697 1 d._e.(w._o., v._n.(..)) d708 38 d763 3 a765 3 n/a #183/215 n/a #183/215 n/a #183/215 d769 1 a769 1 n/a #183/215 a772 1 d803 1 a803 1 inst._e. d809 1 a809 1 inst.e d826 13 d895 1 a895 1 d._e.(s._o., n.) d897 1 a897 1 d._e.(flag_v., n.) d899 1 a899 1 d._e.(s._o., n.) d906 1 a906 1 60 O = alias(1), /**/ d908 1 a908 1 t._e.(a.,a.(1)) d913 2 a914 2 t._e.(a.,1) t._e.(a.,1) a919 1 a1050 1 d1052 1 a1052 1 61 Template d1061 1 a1061 1 a1062 1 @ 1.19 log @GNU progress @ text @d96 1 a96 1
draft, d99 1 d114 1 a114 1 ISO/IEC 13211-1
WDCor.3
d119 1 a119 1
1.4.5 d180 1 a180 1 d634 1 a634 1 34 VN_list = nonlist,/**/ d648 1 a648 1 35 VN_list = [T='T'|nonlist],/**/ d674 1 a674 1 51 VN_list = ['T'=T|nonlist],/**/ d705 3 a707 3 n/a #183/215 n/a #183/215 n/a #183/215 d711 1 a711 1 n/a #183/215 d718 3 a720 3 n/a d724 1 a724 1 n/a d759 1 a759 1 inst._e. d765 1 a765 1 inst.e d821 16 a836 1 42 O = type(nontype), /**/ d849 16 d932 9 a940 1 inst._e. d945 9 d958 9 d970 28 a997 1 58 Template d1002 1 a1002 1 d1006 1 a1006 1 @ 1.18 log @*** empty log message *** @ text @d188 1 a188 1 _23 d214 1 a214 1 _23 d240 1 a240 1 _27 d253 1 a253 1 _27 d266 1 a266 1 _27 d279 1 a279 1 _27 d292 1 a292 1 _30 d305 1 a305 1 _39 d318 1 a318 1 a d598 1 a598 1 _26 d665 1 a665 1 T @ 1.17 log @*** empty log message *** @ text @d118 1 a118 1
1.4.4 d812 1 a812 1 d._e.(s._o., t.(_)) @ 1.16 log @*** empty log message *** @ text @d153 1 a153 1 4.3 d239 1 a239 1 do._e.(v._n.,x) d243 1 a243 1 do._e.(v._n.,x) d252 1 a252 1 do._e.(v._n.,'x+y') d256 1 a256 1 do._e.(v._n.,'x+y') d265 1 a265 1 do._e.(v._n.,'))') d269 1 a269 1 do._e.(v._n.,'))') d275 1 a275 1 do._e.(w._o.,v._n.(..)) d278 1 a278 1 ty._e.(at.,7) d282 1 a282 1 ty._e.(at.,7) d288 1 a288 1 do._e.(w._o.,v._n.(..)) d291 1 a291 1 ty._e.(at.,1+2) d295 1 a295 1 ty._e.(at.,1+2) d301 1 a301 1 do._e.(w._o.,v._n.(..)) d304 1 a304 1 ty._e.(at.,...) d308 1 a308 1 ty._e.(at.,...) d586 1 a586 1 ['A'=1,'C'=2,'B'=3] d608 1 a608 1 do._e.(w._o.,v._n(..)) d611 1 a611 1 ty._e.(list,1) d615 1 a615 1 ty._e.(list,1) d621 1 a621 1 do._e.(w._o.,v._n.(..)) d624 1 a624 1 ty._e.(assoc,[]) d628 1 a628 1 ty._e.(v._ass.,[]) d634 1 a634 1 do._e.(w_.o.,v._n.(..)) d637 1 a637 1 ty._e.(list,n.) d641 1 a641 1 ty._e.(list,n.) d648 1 a648 1 do._e.(w._o.,v._n.(..))
or inst._e. d651 1 a651 1 ty._e.(list,n.) d653 1 a653 1 ty._e.(list,n.) d674 1 a674 1 do._e.(w._o.,v._n.(..)) d677 1 a677 1 ty._e.(list,n.) d679 1 a679 1 ty._e.(list,n.) d681 1 a681 1 ty._e.(list,n.) d689 1 a689 1 do._e.(w._o.,v._n.(..)) d692 1 a692 1 ty._e.(assoc,_-'T') d696 1 a696 1 ty._e.(v._ass.,...) d733 1 a733 1 ex._e.(s._s.,'/f') d743 1 a743 1 do._e.(s._o.,1) d745 1 a745 1 ty._e.(atom,1) d755 26 d785 1 a785 1 ex._e.(s._s.,'/f') d787 1 a787 1 t._a.(..) d795 4 a798 4 do._e.(s._o.,t.(1)) ty._e.(atom,1) ty._e.(atom,1) ty._e.(atom,1) d800 1 a800 1 do._e.(s._o.,1) d802 1 a802 1 ty._e.(atom,1) d812 2 a813 2 do._e.(s._o.,t.(_)) do._e.(s._o.,_) d821 2 a822 2 do._e.(s._o.,t.(n.)) do._e.(s._o.,nont.) d824 1 a824 1 do._e.(flag_v.,n.) d826 2 a827 2 do._e.(s._o.,nont.) succeeds d912 1 a912 1 56 Template @ 1.15 log @SICStus progress @ text @d113 1 a113 1 WDCor.3
d161 1 a161 1 d648 1 a648 1 do._e.(w._o.,v._n.(..)) d655 1 a655 1 inst._e. d802 1 a802 1 succeeds @ 1.14 log @Jekejeke @ text @d126 1 a126 1
4.3beta7 d616 1 a616 1 ty._e.(list,1) new d642 1 a642 1 ty._e.(list,n.) new d656 1 a656 1 ty._e.(list,[...]) new d682 1 a682 1 ty._e.(list,n.) new d895 1 a895 1 @ 1.13 log @SICStus @ text @d116 1 a116 1 Jekejeke
0.9.12 d584 1 a584 1 ['A'=1,'B'=2,'C'=3] @ 1.12 log @Before SICStus 4.3.0beta7 @ text @d126 1 a126 1
4.3beta2 d580 1 a580 1 any perm
d589 1 a589 1 ['A'=1,'B'=2,'C'=3] @ 1.11 log @*** empty log message *** @ text @d96 2 a97 1
draft d116 1 a116 1 Jekejeke
0.9.11 d187 1 a187 1 inst._e. d190 3 a192 3 inst._e. new inst._e. inst._e. new d213 1 a213 1 inst._e. d216 3 a218 3 inst._e. new inst._e. inst._e. new d236 4 a239 4 x x `x` d241 4 a244 4 x x do._e.(var._n.,x) x d249 4 a252 4 x+y x+y `x+y` d255 3 a257 3 x+y do._e.(var._n.,'x+y') x+y d262 3 a264 3 )) )) d268 3 a270 3 x+y do._e.(var._n.,'))') )) d275 1 a275 1 d283 1 a283 1 do._e.(w._o.,v._n.(..)) d288 1 a288 1 d296 1 a296 1 do._e.(w._o.,v._n.(..)) d301 1 a301 1 d309 1 a309 1 do._e.(w._o.,v._n.(..)) d314 1 a314 1 d320 3 a322 3 inst._e. new inst._e. inst._e. new d328 8 a335 8 a a a a a a a a d538 2 a539 2 X,X,X X,X,X d541 3 a543 3 X,X,X X,X,X X,X,X d551 6 a556 6 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 d580 10 a589 9 any perm. ['B'=1,'C'=2,'A'=3] ['B'=1,'C'=2,'A'=3] ['A'=1,'B'=2,'C'=3] ['B'=1,'C'=2,'A'=3] ['A'=1,'C'=2,'B'=3] ['B'=1,'C'=2,'A'=3] ['B'=1,'C'=2,'A'=3] ['A'=1,'B'=2,'C'=3] d594 1 a594 1 d597 1 a597 1 inst._e. d599 1 a599 1 inst._e. d601 2 a602 2 inst._e. inst._e. new d608 1 a608 1 d612 1 a612 1 do._e.(w._o.,v._n(..)) d621 1 a621 1 d625 1 a625 1 do._e.(w._o.,v._n.(..)) d629 1 a629 1 do._e.(w._o.,v._n.(..)) d634 1 a634 1 d638 1 a638 1 do._e.(w_.o.,v._n.(..)) d648 1 a648 1 d652 1 a652 1 do._e.(w._o.,v._n.(..)) d660 2 a661 2 50 VN_list = ['T'=T|_],/**/ d664 1 a664 1 inst._e. d666 1 a666 1 inst._e. d668 2 a669 2 inst._e. inst._e. new d674 1 a674 1 d678 1 a678 1 do._e.(w._o.,v._n.(..)) d689 1 a689 1 d693 1 a693 1 do._e.(w._o.,v._n.(..)) d697 1 a697 1 do._e.(w._o.,v._n.(..)) d703 1 a703 1 d711 1 a711 1 - (X^2) d716 1 a716 1 d720 2 a721 2 - (1^2) - (1^2) d724 1 a724 1 - (1^2) d733 1 a733 1 ex._e.(s._s.,'/f') d759 1 a759 1 ex._e.(s._s.,'/f') d769 1 a769 1 d773 1 a773 1 do._e.(s._o.,t.(1)) d775 1 a775 1 do._e.(s._o.,t.(1)) d777 1 a777 1 do._e.(s._o,t.(1)) d782 4 a785 4 inst._e. inst._e. inst._e. d788 3 a790 3 inst._e. new inst._e. inst._e. new d795 1 a795 1 d797 1 a797 1 do._e.(s._o.,t.(n.)) d799 1 a799 1 do._e.(s._o.,t.(n.)) d801 3 a803 3 succeeds succeeds do._e.(s._o.t.(n.)) d835 9 a843 9 waits waits waits waits waits waits waits waits d848 9 a856 9 fails fails fails fails fails fails fails fails d861 22 a882 9 syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) d886 1 a886 1 51 Template @ 1.10 log @*** empty log message *** @ text @d209 1 a209 1 inst._e. d260 1 a260 1 N = '))', /**/ d871 1 a871 1 50 Template @ 1.9 log @*** empty log message *** @ text @d125 1 a125 1
4.3beta1 d183 1 a183 1 inst._e. d189 1 a189 1 '$VAR'(_1..) d191 1 a191 1 do._e.(w._o.,v._n.(..)) d215 1 a215 1 '$VAR'(...) d217 1 a217 1 do._e.(w._o.,v._n.(..)) d319 1 a319 1 a d321 1 a321 1 do._e.(w._o.,v._n.(..)) d600 1 a600 1 do._e.(w._o.,v._n.(_)) d614 1 a614 1 do._e.(w._o.,v._n.(..)) d640 1 a640 1 do._e.(w._o.,v._n.(..)) d654 1 a654 1 do._e.(w._o.,v._n.(..)) d667 1 a667 1 do._e.(w._o.,v._n.(..)) d680 1 a680 1 do._e.(w._o.,v._n.(..)) d705 3 a707 3 -X^2 -X^2 -X^2 d720 1 a720 1 - (1)^2 d749 1 a749 1 ty.e,(callable,1) d786 1 a786 1 do._e.(s._o.,t.(_)) d788 1 a788 1 do._e.(s._o.,t.(_)) @ 1.8 log @*** empty log message *** @ text @d85 1 a85 1 Handling in Read- and Write-Options @ 1.7 log @*** empty log message *** @ text @d5 1 a5 1 N246 Read- and Write-Option variable_names/1N246 Read- and Write-Option variable_names/1 d96 1 d115 1 a115 1 Jekejeke
0.9.9 d119 1 a119 1
7.8 d125 1 a125 1
4.3.0beta d136 1 a136 1 d139 1 a139 1 d149 1 a149 1 7.8b6 d152 1 a152 1 d162 1 a162 1 2012-07 d165 1 a165 1 d175 1 a175 1 d178 1 a178 1 d188 1 a188 1 _338 d191 1 a191 1 d201 1 a201 1 'X' d204 1 a204 1 d214 1 a214 1 _310 d217 1 a217 1 d227 1 a227 1 '_' d230 1 a230 1 d240 1 a240 1 x d243 1 a243 1 d253 1 a253 1 'x+y' d256 14 a269 1 d279 1 a279 1 7 d282 1 a282 1 d292 1 a292 1 1+2 d295 1 a295 1 d305 1 a305 1 J d308 1 a308 1 d318 1 a318 1 a d321 1 a321 1 d331 1 a331 1 a d334 1 a334 1 d344 1 a344 1 J d347 1 a347 1 d357 1 a357 1 g(X) d360 1 a360 1 d370 1 a370 1 _420 d373 1 a373 1 d383 1 a383 1 'X','Y','Z' d386 1 a386 1 d396 1 a396 1 'X','Y','Y' d399 1 a399 1 d409 1 a409 1 'X','X','X' d412 1 a412 1 d422 1 a422 1 'Y','Z' d425 1 a425 1 d435 1 a435 1 'Z','Y' d438 1 a438 1 d448 1 a448 1 _3b4 d451 1 a451 1 d461 1 a461 1 'X','Y','Z' d464 1 a464 1 d474 1 a474 1 'X','Z','Z' d477 1 a477 1 d487 1 a487 1 'Z','Z','Z' d490 1 a490 1 d500 1 a500 1 'Y','Z' d503 1 a503 1 d513 1 a513 1 'Z','Y' d516 1 a516 1 d521 9 a529 9 _164 _583 _D _23 _3b4 _1.. _G864 d534 9 a542 9 X , X , X X , X , X X,X,X X,X,X 'X','X','X' X,X,X X,X,X d547 9 a555 9 1 , 2 , 3 1 , 2 , 3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 d566 9 a574 9 d584 1 a584 1 ['A'=1,'C'=2,'B'=3] d587 1 a587 1 ['A'=1,'B'=2,'C'=3] d594 1 a594 1 loops d597 1 a597 1 inst._e. d600 1 a600 1 d610 2 a611 2 do._e.(write_o.,v._n(..)) wrong_coll. d614 188 a801 1 d805 67 a871 1 33 Template d877 1 a877 1 d880 1 a880 1 d920 20 @ 1.6 log @*** empty log message *** @ text @d5 1 a5 1 Read- and Write-Option variable_names/1 d550 1 a550 1 29 read_term(T,[
 variable_names(VN_list)]),
writeq(VN_list). d564 9 a572 9 ['B'=_,'C'=_,'A'=_] ['B'=_,'C'=_,'A'=_] ['A'=_,'B'=_,'C'=_] ['B'=_,'C'=_,'A'=_] ['A'=_,'C'=_,'B'=_] ['B'=_,'C'=_,'A'=_] ['B'=_,'C'=_,'A'=_] ['A'=_,'B'=_,'C'=_] d603 1 a603 1 32 Template @ 1.5 log @*** empty log message *** @ text @a85 5
Ulrich Neumerkel
d111 1 d123 1 a123 1
next d129 1 d143 1 d156 1 d169 1 d182 1 d195 1 d208 1 d221 1 d234 1 d247 1 d260 1 d265 1 a265 1 H d273 1 d278 1 a278 1 '$VAR'(1+2) d286 1 d290 2 a291 2 J '$VAR'(J) d299 1 d312 1 d325 1 d338 1 d351 1 d364 1 d377 1 d390 1 d403 1 d416 1 d429 1 d442 1 d455 1 d468 1 d481 1 d494 1 d507 1 d520 1 d533 1 d543 59 d603 9 a611 8 29 Template d617 38 @ 1.4 log @*** empty log message *** @ text @d148 1 a148 1 1.4.2 d157 2 a158 2 2012-09-05 <1997-06-22 d160 4 a163 4 2012-04-26 2012-07-13 2013-01-17 2013-01-15 d186 1 a186 1 '$VAR'(_131...) d235 1 a235 1 dom._e.(var._n.,x) d247 1 a247 1 dom._e.(var._n.,'x+y') d255 1 a255 1 ty._e.(atom,7) d259 1 a259 1 ty._e.(atom,7) d267 1 a267 1 ty._e.(atom,1+2) d271 1 a271 1 ty._e.(atom,1+2) d279 1 a279 1 ty._e.(atom,...) d283 1 a283 1 ty._e.(atom,...) d324 12 d342 1 a342 1 _131... d387 1 a387 1 d414 1 a414 1 _131... d459 1 a459 1 d471 1 a471 1 d486 1 a486 1 _131... d497 1 a497 1 'X','X','X' d516 1 a516 1 28 Template @ 1.3 log @*** empty log message *** @ text @d5 1 a5 1 Write-option variable_names/1 A+B+C+B write_term(V,[variable_names(['A'=V,'B'=V,'C'=V])]). _A -> ['_A'=V] read_term(T,variable_names(VNs)). B+A+D+C @ 1.2 log @*** empty log message *** @ text @d84 1 a84 1 Write-option variable_names/1 a85 1 d105 2 d530 2 a531 1
Validated HTML @ 1.1 log @Initial revision @ text @a85 2

*** currently no version control, no stable numbering***

d503 1 a503 1 12 Query @