head 1.208; access; symbols; locks ulrich:1.208; strict; comment @# @; 1.208 date 2017.05.25.21.21.29; author ulrich; state Exp; branches; next 1.207; 1.207 date 2016.11.26.22.05.22; author ulrich; state Exp; branches; next 1.206; 1.206 date 2016.11.04.14.31.34; author ulrich; state Exp; branches; next 1.205; 1.205 date 2016.11.01.03.29.55; author ulrich; state Exp; branches; next 1.204; 1.204 date 2016.11.01.03.27.16; author ulrich; state Exp; branches; next 1.203; 1.203 date 2016.10.24.10.35.56; author ulrich; state Exp; branches; next 1.202; 1.202 date 2016.09.13.20.32.21; author ulrich; state Exp; branches; next 1.201; 1.201 date 2016.08.31.08.55.55; author ulrich; state Exp; branches; next 1.200; 1.200 date 2016.08.29.18.49.24; author ulrich; state Exp; branches; next 1.199; 1.199 date 2016.08.26.01.23.21; author ulrich; state Exp; branches; next 1.198; 1.198 date 2016.08.01.21.02.06; author ulrich; state Exp; branches; next 1.197; 1.197 date 2016.07.14.23.12.43; author ulrich; state Exp; branches; next 1.196; 1.196 date 2016.06.08.14.51.33; author ulrich; state Exp; branches; next 1.195; 1.195 date 2016.05.05.14.30.55; author ulrich; state Exp; branches; next 1.194; 1.194 date 2016.05.05.14.30.12; author ulrich; state Exp; branches; next 1.193; 1.193 date 2015.09.08.14.16.45; author ulrich; state Exp; branches; next 1.192; 1.192 date 2015.07.15.14.01.06; author ulrich; state Exp; branches; next 1.191; 1.191 date 2015.07.15.11.24.11; author ulrich; state Exp; branches; next 1.190; 1.190 date 2015.07.01.10.24.55; author ulrich; state Exp; branches; next 1.189; 1.189 date 2015.05.28.13.28.00; author ulrich; state Exp; branches; next 1.188; 1.188 date 2015.03.03.16.45.18; author ulrich; state Exp; branches; next 1.187; 1.187 date 2015.01.31.01.15.01; author ulrich; state Exp; branches; next 1.186; 1.186 date 2015.01.30.00.35.07; author ulrich; state Exp; branches; next 1.185; 1.185 date 2015.01.21.13.58.39; author ulrich; state Exp; branches; next 1.184; 1.184 date 2014.10.02.15.57.33; author ulrich; state Exp; branches; next 1.183; 1.183 date 2014.10.02.10.37.17; author ulrich; state Exp; branches; next 1.182; 1.182 date 2014.08.19.17.49.51; author ulrich; state Exp; branches; next 1.181; 1.181 date 2014.08.19.17.39.40; author ulrich; state Exp; branches; next 1.180; 1.180 date 2014.08.19.15.41.53; author ulrich; state Exp; branches; next 1.179; 1.179 date 2014.08.19.14.55.24; author ulrich; state Exp; branches; next 1.178; 1.178 date 2014.07.26.21.30.57; author ulrich; state Exp; branches; next 1.177; 1.177 date 2014.07.16.12.23.12; author ulrich; state Exp; branches; next 1.176; 1.176 date 2014.04.07.16.28.09; author ulrich; state Exp; branches; next 1.175; 1.175 date 2014.04.07.16.13.17; author ulrich; state Exp; branches; next 1.174; 1.174 date 2014.04.05.12.26.33; author ulrich; state Exp; branches; next 1.173; 1.173 date 2014.04.05.11.49.06; author ulrich; state Exp; branches; next 1.172; 1.172 date 2014.04.05.11.48.39; author ulrich; state Exp; branches; next 1.171; 1.171 date 2014.04.01.12.27.32; author ulrich; state Exp; branches; next 1.170; 1.170 date 2014.02.24.10.44.22; author ulrich; state Exp; branches; next 1.169; 1.169 date 2014.02.18.10.43.18; author ulrich; state Exp; branches; next 1.168; 1.168 date 2013.12.14.17.19.58; author ulrich; state Exp; branches; next 1.167; 1.167 date 2013.11.29.12.18.19; author ulrich; state Exp; branches; next 1.166; 1.166 date 2013.11.26.16.08.47; author ulrich; state Exp; branches; next 1.165; 1.165 date 2013.11.22.13.37.18; author ulrich; state Exp; branches; next 1.164; 1.164 date 2013.11.21.14.53.26; author ulrich; state Exp; branches; next 1.163; 1.163 date 2013.11.21.14.15.10; author ulrich; state Exp; branches; next 1.162; 1.162 date 2013.11.19.02.13.31; author ulrich; state Exp; branches; next 1.161; 1.161 date 2013.11.07.15.01.12; author ulrich; state Exp; branches; next 1.160; 1.160 date 2013.07.06.13.35.00; author ulrich; state Exp; branches; next 1.159; 1.159 date 2013.07.02.12.12.04; author ulrich; state Exp; branches; next 1.158; 1.158 date 2013.07.02.12.02.31; author ulrich; state Exp; branches; next 1.157; 1.157 date 2013.07.01.23.44.55; author ulrich; state Exp; branches; next 1.156; 1.156 date 2013.07.01.09.35.37; author ulrich; state Exp; branches; next 1.155; 1.155 date 2013.06.29.23.13.02; author ulrich; state Exp; branches; next 1.154; 1.154 date 2013.06.22.19.27.47; author ulrich; state Exp; branches; next 1.153; 1.153 date 2013.06.22.18.56.28; author ulrich; state Exp; branches; next 1.152; 1.152 date 2013.06.21.15.26.34; author ulrich; state Exp; branches; next 1.151; 1.151 date 2013.06.19.13.36.24; author ulrich; state Exp; branches; next 1.150; 1.150 date 2013.06.18.13.39.48; author ulrich; state Exp; branches; next 1.149; 1.149 date 2013.06.18.12.04.55; author ulrich; state Exp; branches; next 1.148; 1.148 date 2013.06.14.03.24.51; author ulrich; state Exp; branches; next 1.147; 1.147 date 2013.06.12.15.17.15; author ulrich; state Exp; branches; next 1.146; 1.146 date 2013.06.12.12.22.09; author ulrich; state Exp; branches; next 1.145; 1.145 date 2013.05.26.16.46.05; author ulrich; state Exp; branches; next 1.144; 1.144 date 2013.01.17.01.40.08; author ulrich; state Exp; branches; next 1.143; 1.143 date 2013.01.09.04.35.40; author ulrich; state Exp; branches; next 1.142; 1.142 date 2012.10.16.01.34.34; author ulrich; state Exp; branches; next 1.141; 1.141 date 2012.10.16.01.21.51; author ulrich; state Exp; branches; next 1.140; 1.140 date 2012.09.23.20.54.45; author ulrich; state Exp; branches; next 1.139; 1.139 date 2012.09.20.08.28.55; author ulrich; state Exp; branches; next 1.138; 1.138 date 2012.09.19.13.32.00; author ulrich; state Exp; branches; next 1.137; 1.137 date 2012.09.17.15.45.03; author ulrich; state Exp; branches; next 1.136; 1.136 date 2012.08.18.07.44.30; author ulrich; state Exp; branches; next 1.135; 1.135 date 2012.07.28.15.06.46; author ulrich; state Exp; branches; next 1.134; 1.134 date 2012.07.23.01.44.59; author ulrich; state Exp; branches; next 1.133; 1.133 date 2012.07.22.16.24.58; author ulrich; state Exp; branches; next 1.132; 1.132 date 2012.07.09.14.23.07; author ulrich; state Exp; branches; next 1.131; 1.131 date 2012.04.16.02.18.18; author ulrich; state Exp; branches; next 1.130; 1.130 date 2012.04.15.22.53.29; author ulrich; state Exp; branches; next 1.129; 1.129 date 2012.04.10.22.28.22; author ulrich; state Exp; branches; next 1.128; 1.128 date 2012.04.05.12.38.30; author ulrich; state Exp; branches; next 1.127; 1.127 date 2012.03.28.13.04.56; author ulrich; state Exp; branches; next 1.126; 1.126 date 2012.03.22.17.41.43; author ulrich; state Exp; branches; next 1.125; 1.125 date 2012.03.22.14.27.50; author ulrich; state Exp; branches; next 1.124; 1.124 date 2012.03.21.11.02.38; author ulrich; state Exp; branches; next 1.123; 1.123 date 2012.03.19.15.38.13; author ulrich; state Exp; branches; next 1.122; 1.122 date 2012.03.16.17.42.30; author ulrich; state Exp; branches; next 1.121; 1.121 date 2012.03.16.15.37.18; author ulrich; state Exp; branches; next 1.120; 1.120 date 2012.03.16.13.40.02; author ulrich; state Exp; branches; next 1.119; 1.119 date 2012.03.14.23.12.55; author ulrich; state Exp; branches; next 1.118; 1.118 date 2012.03.12.13.03.17; author ulrich; state Exp; branches; next 1.117; 1.117 date 2012.03.05.18.16.04; author ulrich; state Exp; branches; next 1.116; 1.116 date 2012.03.05.18.12.07; author ulrich; state Exp; branches; next 1.115; 1.115 date 2012.03.04.02.56.04; author ulrich; state Exp; branches; next 1.114; 1.114 date 2011.12.07.11.27.20; author ulrich; state Exp; branches; next 1.113; 1.113 date 2011.11.14.13.07.17; author ulrich; state Exp; branches; next 1.112; 1.112 date 2011.11.14.11.45.13; author ulrich; state Exp; branches; next 1.111; 1.111 date 2011.11.14.11.29.55; author ulrich; state Exp; branches; next 1.110; 1.110 date 2011.11.03.00.43.22; author ulrich; state Exp; branches; next 1.109; 1.109 date 2011.11.02.19.15.47; author ulrich; state Exp; branches; next 1.108; 1.108 date 2011.11.02.18.20.51; author ulrich; state Exp; branches; next 1.107; 1.107 date 2011.11.02.01.09.06; author ulrich; state Exp; branches; next 1.106; 1.106 date 2011.10.31.11.31.25; author ulrich; state Exp; branches; next 1.105; 1.105 date 2011.08.16.10.27.38; author ulrich; state Exp; branches; next 1.104; 1.104 date 2011.07.15.05.50.52; author ulrich; state Exp; branches; next 1.103; 1.103 date 2011.07.03.14.38.38; author ulrich; state Exp; branches; next 1.102; 1.102 date 2011.07.03.14.37.54; author ulrich; state Exp; branches; next 1.101; 1.101 date 2011.06.30.21.57.15; author ulrich; state Exp; branches; next 1.100; 1.100 date 2011.06.30.21.30.48; author ulrich; state Exp; branches; next 1.99; 1.99 date 2011.06.30.21.25.25; author ulrich; state Exp; branches; next 1.98; 1.98 date 2011.06.30.21.13.32; author ulrich; state Exp; branches; next 1.97; 1.97 date 2011.06.30.18.07.32; author ulrich; state Exp; branches; next 1.96; 1.96 date 2011.06.30.18.03.54; author ulrich; state Exp; branches; next 1.95; 1.95 date 2011.06.30.16.54.50; author ulrich; state Exp; branches; next 1.94; 1.94 date 2011.06.30.15.44.08; author ulrich; state Exp; branches; next 1.93; 1.93 date 2011.06.29.21.43.41; author ulrich; state Exp; branches; next 1.92; 1.92 date 2011.06.29.15.36.18; author ulrich; state Exp; branches; next 1.91; 1.91 date 2011.06.29.15.35.21; author ulrich; state Exp; branches; next 1.90; 1.90 date 2011.06.29.15.14.07; author ulrich; state Exp; branches; next 1.89; 1.89 date 2011.06.28.23.04.47; author ulrich; state Exp; branches; next 1.88; 1.88 date 2011.06.24.17.56.34; author ulrich; state Exp; branches; next 1.87; 1.87 date 2011.06.14.20.28.12; author ulrich; state Exp; branches; next 1.86; 1.86 date 2011.06.13.08.55.04; author ulrich; state Exp; branches; next 1.85; 1.85 date 2011.06.09.15.14.29; author ulrich; state Exp; branches; next 1.84; 1.84 date 2011.06.07.13.54.03; author ulrich; state Exp; branches; next 1.83; 1.83 date 2011.06.07.13.49.14; author ulrich; state Exp; branches; next 1.82; 1.82 date 2011.06.06.19.05.57; author ulrich; state Exp; branches; next 1.81; 1.81 date 2011.06.02.11.40.53; author ulrich; state Exp; branches; next 1.80; 1.80 date 2011.06.01.22.49.26; author ulrich; state Exp; branches; next 1.79; 1.79 date 2011.06.01.14.03.23; author ulrich; state Exp; branches; next 1.78; 1.78 date 2011.06.01.13.44.45; author ulrich; state Exp; branches; next 1.77; 1.77 date 2011.05.29.19.59.56; author ulrich; state Exp; branches; next 1.76; 1.76 date 2011.05.28.18.44.03; author ulrich; state Exp; branches; next 1.75; 1.75 date 2011.05.28.00.45.54; author ulrich; state Exp; branches; next 1.74; 1.74 date 2011.05.28.00.29.13; author ulrich; state Exp; branches; next 1.73; 1.73 date 2011.05.27.14.09.22; author ulrich; state Exp; branches; next 1.72; 1.72 date 2011.05.27.14.08.17; author ulrich; state Exp; branches; next 1.71; 1.71 date 2011.05.27.13.59.39; author ulrich; state Exp; branches; next 1.70; 1.70 date 2011.05.27.11.55.24; author ulrich; state Exp; branches; next 1.69; 1.69 date 2011.05.26.14.16.05; author ulrich; state Exp; branches; next 1.68; 1.68 date 2011.05.26.14.14.00; author ulrich; state Exp; branches; next 1.67; 1.67 date 2011.05.26.13.45.39; author ulrich; state Exp; branches; next 1.66; 1.66 date 2011.05.25.08.20.26; author ulrich; state Exp; branches; next 1.65; 1.65 date 2011.05.24.22.08.42; author ulrich; state Exp; branches; next 1.64; 1.64 date 2011.05.18.12.26.15; author ulrich; state Exp; branches; next 1.63; 1.63 date 2011.05.16.15.48.44; author ulrich; state Exp; branches; next 1.62; 1.62 date 2011.05.15.18.07.36; author ulrich; state Exp; branches; next 1.61; 1.61 date 2011.05.15.14.57.12; author ulrich; state Exp; branches; next 1.60; 1.60 date 2011.05.15.14.30.38; author ulrich; state Exp; branches; next 1.59; 1.59 date 2011.05.12.23.17.34; author ulrich; state Exp; branches; next 1.58; 1.58 date 2011.05.12.22.08.59; author ulrich; state Exp; branches; next 1.57; 1.57 date 2011.05.12.22.02.57; author ulrich; state Exp; branches; next 1.56; 1.56 date 2011.05.12.21.37.53; author ulrich; state Exp; branches; next 1.55; 1.55 date 2011.05.12.14.58.35; author ulrich; state Exp; branches; next 1.54; 1.54 date 2011.05.12.12.21.36; author ulrich; state Exp; branches; next 1.53; 1.53 date 2011.05.12.12.05.55; author ulrich; state Exp; branches; next 1.52; 1.52 date 2011.05.11.22.27.13; author ulrich; state Exp; branches; next 1.51; 1.51 date 2011.05.10.18.57.47; author ulrich; state Exp; branches; next 1.50; 1.50 date 2011.05.10.14.20.42; author ulrich; state Exp; branches; next 1.49; 1.49 date 2011.05.10.12.32.35; author ulrich; state Exp; branches; next 1.48; 1.48 date 2011.05.10.11.34.25; author ulrich; state Exp; branches; next 1.47; 1.47 date 2011.05.10.10.30.01; author ulrich; state Exp; branches; next 1.46; 1.46 date 2011.05.10.10.27.36; author ulrich; state Exp; branches; next 1.45; 1.45 date 2011.05.03.15.02.15; author ulrich; state Exp; branches; next 1.44; 1.44 date 2011.05.03.12.47.16; author ulrich; state Exp; branches; next 1.43; 1.43 date 2011.05.02.17.10.33; author ulrich; state Exp; branches; next 1.42; 1.42 date 2011.05.02.11.06.29; author ulrich; state Exp; branches; next 1.41; 1.41 date 2011.04.30.11.22.20; author ulrich; state Exp; branches; next 1.40; 1.40 date 2011.04.30.11.20.09; author ulrich; state Exp; branches; next 1.39; 1.39 date 2011.04.30.10.51.28; author ulrich; state Exp; branches; next 1.38; 1.38 date 2011.04.30.10.37.28; author ulrich; state Exp; branches; next 1.37; 1.37 date 2011.04.29.19.23.29; author ulrich; state Exp; branches; next 1.36; 1.36 date 2011.04.29.10.58.56; author ulrich; state Exp; branches; next 1.35; 1.35 date 2011.04.27.09.51.52; author ulrich; state Exp; branches; next 1.34; 1.34 date 2011.04.20.14.35.20; author ulrich; state Exp; branches; next 1.33; 1.33 date 2011.04.13.12.50.50; author ulrich; state Exp; branches; next 1.32; 1.32 date 2011.04.13.11.56.01; author ulrich; state Exp; branches; next 1.31; 1.31 date 2011.04.04.19.20.34; author ulrich; state Exp; branches; next 1.30; 1.30 date 2011.04.04.18.56.34; author ulrich; state Exp; branches; next 1.29; 1.29 date 2011.04.04.15.34.58; author ulrich; state Exp; branches; next 1.28; 1.28 date 2011.04.04.15.34.31; author ulrich; state Exp; branches; next 1.27; 1.27 date 2011.04.04.13.12.57; author ulrich; state Exp; branches; next 1.26; 1.26 date 2011.04.03.10.50.14; author ulrich; state Exp; branches; next 1.25; 1.25 date 2011.04.03.10.48.40; author ulrich; state Exp; branches; next 1.24; 1.24 date 2011.04.02.12.49.33; author ulrich; state Exp; branches; next 1.23; 1.23 date 2011.03.08.15.01.56; author ulrich; state Exp; branches; next 1.22; 1.22 date 2011.03.07.16.21.17; author ulrich; state Exp; branches; next 1.21; 1.21 date 2011.02.24.21.06.26; author ulrich; state Exp; branches; next 1.20; 1.20 date 2011.02.21.12.09.52; author ulrich; state Exp; branches; next 1.19; 1.19 date 2011.02.17.10.39.44; author ulrich; state Exp; branches; next 1.18; 1.18 date 2011.02.16.13.01.21; author ulrich; state Exp; branches; next 1.17; 1.17 date 2011.02.04.16.30.48; author ulrich; state Exp; branches; next 1.16; 1.16 date 2011.02.04.16.25.51; author ulrich; state Exp; branches; next 1.15; 1.15 date 2011.02.03.19.32.54; author ulrich; state Exp; branches; next 1.14; 1.14 date 2011.01.24.09.49.06; author ulrich; state Exp; branches; next 1.13; 1.13 date 2010.12.22.03.32.49; author ulrich; state Exp; branches; next 1.12; 1.12 date 2010.12.11.18.42.56; author ulrich; state Exp; branches; next 1.11; 1.11 date 2010.11.26.14.44.47; author ulrich; state Exp; branches; next 1.10; 1.10 date 2010.11.25.12.31.42; author ulrich; state Exp; branches; next 1.9; 1.9 date 2010.11.24.05.54.40; author ulrich; state Exp; branches; next 1.8; 1.8 date 2010.11.23.21.08.07; author ulrich; state Exp; branches; next 1.7; 1.7 date 2010.11.22.23.51.27; author ulrich; state Exp; branches; next 1.6; 1.6 date 2010.11.22.23.31.28; author ulrich; state Exp; branches; next 1.5; 1.5 date 2010.11.17.20.43.08; author ulrich; state Exp; branches; next 1.4; 1.4 date 2010.11.16.15.33.08; author ulrich; state Exp; branches; next 1.3; 1.3 date 2010.11.16.15.31.41; author ulrich; state Exp; branches; next 1.2; 1.2 date 2010.11.15.18.03.55; author ulrich; state Exp; branches; next 1.1; 1.1 date 2010.11.14.20.50.51; author ulrich; state Exp; branches; next ; desc @@ 1.208 log @More on | @ text @ Conformity assessment I; Syntax

ISO/IEC JTC1 SC22 WG17
Conformity Assessment I: Syntax

(see also all documents, number_chars/2, variable_names/1)

The Query entry below including a newline character at the end is sent as input to read(X),X. or read(X),X, read(Y),Y. For queries marked /**/ the preceding query which does not start with /**/ must be executed first.

In all cases where a syntax error is required, an implementation may provide some value as an implementation specific extension due to 5.5.1. However, it turns out that those extensions are frequently incompatible between systems.

Full compliance as well as minor deviations or various valid interpretations of the standard are green.

read/1 is used to read the entire given text. Sometimes, read/1 needs further input or EOF to finish. Such differences are labeled as

Some of the queries below assume that the processor character set (6.5) contains the same collating sequence integers (6.6) as ASCII. Some queries assume 64 bit "double precision" IEEE floats.
#
  		Query 13211-1:1995
²: Cor.2 		IF
V5.1B 		SWI
6.3.18-3* 		YAP
6.3.4 		B
7.8#5 		GNU
1.4.5 		SICStus
4.3.3 		Minerva
2.4 		XSB
3.7
rev.8750 		Ciao
1.15
g17eb2bd 		IV
1.4.2
conformance 268/288 223 201 207 208 287 263 200 179 215 248
recent improvements 8 28 58 62 44 52 59 20
recent regressions 1 2 1 11 1
misinterpretations 7 27 42 25 21 0 0 23 38 25 14
rejections 2 15 14 15 24 0 0 28 21 4 10
write syntax deviations 11 3 3 7 6 1 0 18 14 4 2
extensions 21 29 35 30 1 26 20 37 41 15
read/1 syntax OK #286 #203 #56 #49 #111 yes yes new #151 #251 #197 #35
write_canonical/1 OK yes #18 #227 #227 #172 yes yes new #18 #1, #172 yes new yes
writeq/1 OK #183 #135 #156 #150 #18 #260 yes new #135 #1 223 #135
1 writeq('\n'). '\n' OK OK OK OK OK OK OK '
' 		OK new OK
2 ' syntax err. OK waits waits waits OK waits OK waits OK new waits
3 ) waits sy._e.(..) OK OK OK OK OK OK OK OK OK
261 )
'
syntax err. OK waits waits waits waits waits OK waits OK new waits
4 . syntax err. OK OK OK OK OK new OK OK OK OK OK
5 writeq(' '). % horiz. tab syntax err. '\t' '\t' '\t' '\t' OK new OK '\t' ' ' '\t' new '\t'
177 0'\t=0' . % horiz. tab syntax err. succeeds succeeds succeeds succeeds OK new OK succeeds succeeds new succeeds succeeds
6 writeq('
'). 		syntax err. OK '\n' '\n' '\n' OK OK OK '
' 		OK new OK
7 writeq('\
'). % "\\\n" 		'' OK OK new OK new OK new OK OK sy._e.(..) OK OK OK
8 writeq('\
a'). % "\\\na" 		a OK OK OK new OK new OK OK sy._e.(..) OK OK OK
9 writeq('a\
b'). % "a\\\nb" 		ab OK OK OK OK new OK OK sy._e.(..) OK OK OK
10 writeq('a\
 b'). % "a\\\n b" 		'a b' OK ab OK new OK new OK OK sy._e.(..) OK new OK OK
11 writeq('\ '). syntax err. OK OK new OK new OK new OK OK OK '\\ ' new '' '\\ '
193 writeq('\
'). % "\\ \n" 		syntax err. OK OK new OK new OK new OK OK OK '\\
' 		OK new OK
12 writeq('\ '). % "\\\t" syntax err. OK OK new OK new OK new OK OK OK '\\ ' '' '\\\t'
13 writeq('\t'). '\t' OK OK OK OK OK OK OK ' ' OK new OK
14 writeq('\a'). e.g. '\a' OK OK OK OK OK OK '\u0007' '^G' OK new OK
15 writeq('\7\'). e.g. '\a' OK OK OK new OK OK OK '\u0007' '^G' OK new OK
16 writeq('\ca'). syntax err. OK a a new OK new OK OK OK '\\ca' new a '\\ca'
241 writeq('\d'). syntax err. OK OK '\177\' new OK OK '\x7F\' new OK '\\d' new '\177\' new '\\d'
17 writeq('\e'). syntax err. '\e' '\033\' '\033\' new OK new OK '\x1B\' new '\u001b' '\\e' new '\033\' new '\\e'
18 writeq('\033\'). e.g. '\33\' or repr. err. '\e' '\033\' '\033\' new '^[' '\x1b\' '\x1B\' new '\u001b' '^[' '\033\' '\x1b\'
19 char_code('\e',C). syntax err. C = 27 C = 27 C = 27 OK new OK C = 27 C = 27 t._e.(c.,..) new C = 27 t._e.(c.,..)
21 char_code('\d',C). syntax err. OK OK new C = 127 OK new OK C = 127 OK t._e.(c.,..) new C = 127 t._e.(c.,..)
22 writeq('\u1'). syntax err. OK OK OK new OK new OK OK OK '' new u1 '\\u1'
23 X = 0'\u1. syntax err. OK OK new OK new OK OK OK OK X = 1 reg OK OK
24 writeq(' syntax err. OK waits waits waits OK new waits OK waits OK new waits
25 writeq(. syntax err. OK OK OK OK OK new OK OK OK OK OK
26 '\
''. 		syntax err. OK waits waits new waits OK waits ex._e.(..) waits OK new waits
210 X = 0'\. syntax err. OK waits waits OK OK new OK OK X = 92. waits X = 92.
211 X = 0'\. . syntax err. OK OK new OK new OK OK OK OK X = 92. X = 46. OK
222 writeq((-)-(-)). (-)-(-) (-) - (-) (-)- (-) (-)- (-) OK OK OK (-) - (-) (-) - (-) new OK OK
223 writeq(((:-):-(:-))). (:-):-(:-) (:-) :- (:-) (:-):- (:-) (:-):- (:-) OK OK OK new (:-) :- (:-) ((:-) :- (:-)) new (:-):- :- OK
27 writeq((*)=(*)). (*)=(*) (*) = (*) (*)= (*) (*)= (*) new OK new OK OK new (*) = (*) (*) = (*) new * = * OK
28 writeq([:-,-]). [:-,-] ³ OK OK OK OK new OK OK [(:-),(-)] [(:-),(-)] reg OK OK
29 writeq(f(*)). f(*) OK OK OK OK new OK OK f((*)) f((*)) reg OK OK
30 writeq(a*(b+c)). a*(b+c) a * (b + c) a* (b+c) a* (b+c) OK OK OK a * (b + c) a * (b + c) OK OK
31 writeq(f(;,'|',';;')). f(;,'|',';;') OK OK OK OK new OK OK f((';'),'|',';;') f((';'),'|',';;') OK OK
32 writeq([.,.(.,.,.)]). ['.','.'('.','.','.')] ³ OK OK OK OK new OK OK OK [('.'),'.'(('.'),('.'),('.'))] reg OK OK
33 writeq((a :- b,c)). a:-b,c³ a :- b , c OK OK OK OK OK a :- b , c (a :- b,c) OK OK
34 write_canonical([a]). '.'(a,[])³ OK OK '.'(a, []) new OK new OK OK [a] [a] OK .(a,[])
35 writeq('/*'). '/*' OK OK OK new OK OK OK OK OK OK sy._e.(..)
203 writeq(//*). //* waits OK OK OK new OK OK '//*' OK OK OK
282 writeq(//*.*/). //*.*/ / OK OK OK OK OK '//*.*/' OK OK OK
36 writeq('/**'). '/**' OK OK OK new OK OK new OK OK OK OK sy._e.(..)
37 writeq('*/'). */ OK OK OK OK new OK new OK OK OK OK OK
38 "\'\`\"" = "'`""". % " succeeds syn. e. OK OK new OK OK OK OK OK new OK OK
179 "\'\"" = "'""". % " succeeds OK OK OK new OK OK OK OK OK new OK OK
178 "\`" = "`". succeeds syn. e. OK OK OK OK OK OK OK OK OK
39 '\'\`\"' = '''`"'. succeeds syn. e. OK OK new OK OK OK OK OK new OK OK
40 writeq('\'\`\"\"'). e.g. '\'`""' syn. e. OK OK new OK '''`""' OK '\'`\"\"' '''`""' new '''`""' OK
41 ('\\') = (\). succeeds OK OK OK OK OK OK OK OK OK OK
42 op(1,xf,xf1).
1xf1 = xf1(1). 		succeeds OK OK new OK OK OK OK OK OK OK OK
43 X = 0X1. syntax err. OK OK OK new OK OK new OK OK OK OK OK
44 float(.0). syntax err. OK OK OK OK new OK OK OK succeeds OK OK
45 op(100,xfx,.).
functor(3 .2,F,A). 		F = ('.'), A = 2. OK OK OK OK new OK OK OK sy._e.(...) OK OK
46 float(- .0). syntax err. OK OK fails OK new OK OK OK succeeds OK OK
47 float(1E9). syntax err. succeeds succeeds succeeds OK OK OK succeeds OK OK OK
48 integer(1e). syntax err. succeeds OK OK OK OK OK OK OK OK OK
49 op(9,xf,e9).
1e9 = e9(1). 		succeeds fails fails fails OK OK OK fails OK OK OK
50 op(9,xf,e).
1e-9 = -(e(1),9). 		succeeds fails fails fails OK OK OK fails OK OK OK
51  /**/ 1.0e- 9 = -(e(1.0),9). succeeds fails OK sy._e.(..) reg sy._e.(..) OK OK OK sy._e.(..) OK OK
204  /**/ writeq(1e). e.g. 1 e 1 OK OK OK OK OK OK OK OK OK
220  /**/ writeq(1.0e). e.g. 1.0 e 1.0 OK OK sy._e.(..) OK OK OK sy._e.(..) OK OK
52 op(9,xfy,e).
1.2e 3 = e(X,Y). 		X = 1.2, Y = 3. sy._e.(..) OK new OK sy._e.(..) OK OK OK sy._e.(..) OK OK
53 writeq(1.0e100). e.g. 1.0e+100 OK OK new OK new OK OK OK OK 100..4.0000 OK OK
54 float(1.0ee9). syntax err. OK OK OK OK new OK OK OK OK OK OK
286 (- (1)) = -(1). succeeds° OK OK OK OK OK OK OK OK OK OK
287 (- -1) = -(-1). succeeds° OK OK OK OK OK OK OK OK OK OK
288 (- 1^2) = ^(-1,2). succeeds° OK fails OK OK OK OK OK OK OK OK
56 integer(- 1). succeeds OK fails OK OK OK new OK OK OK OK OK
57 integer('-'1). succeeds fails fails OK OK OK OK OK OK OK OK
58 integer('-' 1). succeeds fails fails OK OK OK new OK OK OK OK OK
59 integer(- /*.*/1). succeeds OK fails OK OK OK new OK OK OK OK OK
60 integer(-/*.*/1). syntax err. succeeds OK OK OK OK OK OK OK OK OK
61 integer('-'/*.*/1). succeeds fails fails OK OK OK new OK OK OK OK OK
62 atom(-/*.*/-). succeeds fails OK OK OK OK OK OK OK OK OK
63 op(0,fy,-). succeeds OK OK OK OK OK OK OK OK OK OK
180  /**/ integer(-1). succeeds OK OK OK new OK OK OK OK OK OK sy._e.(..)
64  /**/ integer(- 1). succeeds OK sy._e.(..) OK new OK OK new OK OK OK OK sy._e.(..)
135 writeq(-(1)). - (1)³ - 1 - 1 OK new OK new OK new OK new - 1 OK new -(1) -1
136 op(0,fy,-),writeq(-(1)). -(1) OK OK OK OK new OK OK OK OK new OK OK
182 writeq(-(-1)). - -1 OK OK OK new - (-1) OK OK new OK - (-1) new -(-1) OK
183 writeq(-(1^2)). - (1^2)³ - 1 ^ 2 - 1^2 - (1)^2 new OK new OK new OK new - 1 ^ 2 - 1 ^ 2 reg -1^2 -1^2
260 writeq(-(a^2)). - (a^2)³ - a ^ 2 -a^2 -a^2 -a^2 -a^2 OK new - a ^ 2 - a ^ 2 reg -a^2 -a^2
139 writeq(-((a,b))). - (a,b)³ - (a , b) OK new OK new OK new OK OK new - (a , b) OK new OK OK
218 writeq(-(1*2)). - (1*2) - (1 * 2) OK new OK - ( (1*2)) OK OK new - (1 * 2) - (1 * 2) new OK OK
140 writeq(-a). -a - a OK OK OK new OK OK new - a - a OK OK
184 writeq(-(-)). - (-) OK OK new OK new -(-) OK OK new OK OK new OK OK
185 writeq(-[-]). -[-] ³ - [-] OK OK OK new OK OK new - [(-)] - [(-)] reg OK OK
188 writeq(-p(c)). -p(c) - p(c) OK OK OK new OK OK new - p(c) - p(c) OK OK
189 writeq(-{}). -{} - {} OK OK - {} OK OK new - {} - '{}' OK OK
190 writeq(-{a}). -{a}³ - {a} OK OK OK new OK OK new - {}(a) ³ - {a} OK OK
191 writeq(-(-a)). - -a. - - a. OK OK OK new OK OK new - - a. - - a new OK OK
192 writeq(-(-(-a))). - - -a. - - - a. OK OK OK new OK OK new - - - a. - - - a new OK OK
216 writeq(-(-(1))). - - (1) - - 1 - - 1 OK new - (- (1)) OK OK new - - 1 OK new - -(1) - -1
215 op(100,yfx,~).
writeq(-(1~2~3)). 		- (1~2~3)³ - 1 ~ 2 ~ 3 - 1~2~3 - (1)~2~3
new 		OK new OK new OK new - 1 ~ 2 ~ 3 - 1 ~ 2 ~ 3 -1~2~3 -1~2~3
248  /**/ writeq(- (1~2)). - (1~2)³ - 1 ~ 2 - 1~2 - (1)~2 OK OK OK new - 1 ~ 2 - 1 ~ 2 -1~2 -1~2
249  /**/ writeq(1~2). 1~2 1 ~ 2 OK OK OK OK OK 1 ~ 2 1 ~ 2 OK OK
278 op(9,xfy,.), writeq(-[1]). -[1] - [1] OK OK OK OK OK new - 1 '.' [] - [1] OK OK
279 op(9,xf,'$VAR'), writeq(- '$VAR'(0)). -A ³ - A OK - (0)'$VAR' - (A) OK OK new - A - (A) OK -0'$VAR'
55 op(1,yf,yf1).
{-1 yf1}={yf1(X)}. 		X = -1. OK OK OK OK OK OK sy._e.(..) OK OK OK
65 compound(+1). succeeds ² OK fails OK new OK OK OK new OK w.op OK OK OK w.op
66 compound(+ 1). succeeds ² OK OK OK new OK OK OK new OK w.op OK OK OK w.op
277 writeq(+1^2). +1^2 ² + 1 ^ 2 1^2 OK OK OK OK + 1 ^ 2 w.op + 1 ^ 2 OK OK w.op
257 writeq([+{a},+[]]). [+{a},+[]] ² ³ [+ {a},+ []] OK OK [+{a},+ []] OK OK new [+ {}(a),+ []] [+ {a},+ []] OK OK w.op
67 op(0,fy,+).
compound(+1). 		syntax err. OK fails OK OK new OK OK new OK OK new OK OK
68 [(:-)|(:-)]=[:-|:-]. succeeds OK OK OK OK OK new OK OK OK OK OK
69 X=[a|b,c]. syntax err. X=[a|(b,c)] OK OK OK OK OK OK OK OK OK
70 op(1000,xfy,','). p._e.(m., o.,',') OK OK OK OK OK OK succeeds OK succeeds OK
71 op(1001,xfy,','). p._e.(m., o.,',') or
p._e.(c., o.,',') 		OK OK OK OK OK OK succeeds OK OK OK
72 op(999,xfy,'|'). p._e.(c., o.,'|') ² succeeds OK OK p._e.(m., o.,'|') OK new OK new succeeds OK new succeeds succeeds
73  /**/ X=[a|b]. X=[a|b]. OK OK OK OK OK OK OK OK X=[a | b] new OK
285  /**/ X=[(a|b)]. syntax err. X=[a '|' b] OK OK OK OK OK OK OK X=[a | b] OK
219  /**/ [a|[]]=[a]. succeeds OK OK OK OK OK OK OK OK fails OK
74  /**/ X=[a|b|c]. syntax err. X=[a|(b|c)] OK OK OK OK OK OK OK X=[a | b | c ] OK
75 var(a:-b). syntax err. OK fails OK OK OK OK OK OK OK OK
76 :- = :- . syntax err. OK OK OK succeeds OK succeeds OK OK succeeds OK
77 - = - . syntax err. OK succeeds OK succeeds OK succeeds OK succeeds succeeds OK
78 * = * . syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK
79 current_op(200,fy,-). succeeds OK OK OK new OK OK OK OK OK new OK OK
80 current_op(200,fy,+). succeeds ² OK OK OK OK OK OK fails OK new OK fails
81 {- - c}={-(-(c))}. succeeds OK OK OK OK new OK OK OK OK new OK OK
82 (- -) = -(-). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK
83 (- - -) = -(-(-)). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK
84 (- - - -) = -(-(-(-))). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK
85 {:- :- c} = {:-(:-,c)}. syntax err. OK OK succeeds succeeds OK succeeds OK OK succeeds OK
86 {- = - 1}={(-(=)) - 1}. syntax err. succeeds fails succeeds succeeds OK succeeds succeeds fails succeeds OK
87 write_canonical((- = - 1)). syntax err. -(-(=),1) =(-,-(1)) -(-(=),1) -(-(=),1) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) OK
88 write_canonical((- = -1)). syntax err. -(-(=),1) =(-,-1) -(-(=),1) -(-(=),1) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) OK
89 write_canonical((-;)). syntax err. OK OK -(;) -(;) OK -(;) -(';') -(';') -(;) OK
90 write_canonical((-;-)). syntax err. ;(-,-) ;(-,-) OK ;(-,-) OK ;(-,-) OK OK ;(-,-) OK
91 write_canonical((:-;-)). syntax err. ;(:-,-) OK OK ;(:-,-) OK ;(:-,-) OK OK ;(:-,-) OK
92 [:- -c] = [(:- -c)]. syntax err. OK succeeds fails fails OK fails OK OK fails OK
93 writeq([a,b|,]). syntax err. OK [a,b|','] OK OK OK OK OK OK OK OK
94 X ={,}. syntax err. OK X = {','}. OK OK OK OK OK OK OK OK
95 {1} = {}(1). succeeds OK OK OK OK new OK OK OK OK new OK OK
96 write_canonical({1}). {}(1) OK OK OK OK new OK OK OK '{}'(1) OK OK
97 '[]'(1) = [ ](X). X = 1 OK OK OK OK new OK OK OK sy._e.(..) OK OK
98 X = [] (1). syntax err. OK OK X = [](1) X = [](1) reg OK OK OK OK X = [](1) OK
99 op(100,yfy,op). do._e.(op._s., yfy) OK OK new OK OK OK OK succ./no eff. OK OK OK
100 '''' = '\''. succeeds OK OK OK new OK OK OK OK OK new OK OK
101 a = '\141\'. succeeds OK OK OK new OK new OK OK OK OK new OK OK
102 a = '\141'. syntax err. OK succeeds OK new OK OK OK OK succeeds waits OK
103 X = '\141\141'. X = a141 OK OK OK new OK new OK OK OK OK new OK OK
104 X = '\9'. syntax err. OK OK new OK new OK new OK OK OK X = '\\9' X = '9' X = '\\9'
105 X = '\N'. syntax err. OK OK new OK new OK new OK OK waits X = '\\N' X = 'N' X = '\\N'
106 X = '\\' . syntax err. X = (\) X = (\) X = (\) X = (\) OK new X = (\) X = (\) X = (\) X = (\) OK
107 X = '\77777777777\'. syntax/repr. err. OK OK new OK new OK new OK OK OK waits OK new X = ÿ.
108 a = '\x61\'. succeeds OK OK OK new OK OK OK OK OK new OK OK
109 atom_codes('\xG\',Cs). syntax err./waits OK waits OK new OK OK new OK waits waits Cs = [] reg waits
110 atom_codes('\xG1\',Cs). syntax err./waits OK waits OK new OK OK new waits waits waits new Cs = [1] waits
111 atom(`). syntax err. succeeds succeeds waits new succeeds OK new waits OK succeeds succeeds waits
112 atom(`+). syntax err. succeeds succeeds waits new succeeds OK new waits OK succeeds succeeds waits
113 X = `a`. syntax err./succ. sy._e.(..) waits X = "a" new sy._e.(..) X = 'a' OK new OK waits waits OK
114 integer(0'\'). succeeds OK OK new OK OK OK OK OK OK OK OK
115 integer(0'''). succeeds OK OK new sy._e.(..) OK OK OK OK OK OK OK
116 0''' = 0'\'. succeeds OK OK new sy._e.(..) OK new OK OK OK OK new OK OK
117 integer(0''). syntax err. OK succeeds succeeds OK new OK new OK OK succeeds succeeds OK
195 op(100,xf,''). succeeds OK OK OK OK OK OK OK OK OK OK
205  /**/ (0 '') = ''(X). X = 0. OK OK OK OK OK OK OK OK OK OK
196  /**/ writeq(0 ''). 0 '' or 0'' OK OK 0'' OK new OK OK OK OK new OK new 0''
197  /**/ writeq(0''). 0 '' or 0'' sy._e.(..) 39 39 sy._e.(..) OK new OK new sy._e.(..) 39 39 sy._e.(..)
118 op(100,xfx,''). succeeds OK OK OK OK OK OK OK OK OK OK
119  /**/ functor(0 ''1, F, A). F = (''), A = 2. OK OK OK OK OK OK OK OK OK OK
120  /**/ functor(0''1, F, A). F = (''), A = 2. sy._e.(..) sy._e.(..) sy._e.(..) F= -1, A=0 OK OK new sy._e.(..) sy._e.(..) sy._e.(..) sy._e.(..)
206 op(100,xf,f).
writeq(0'f'). 		syntax err. OK waits waits 102 OK waits OK 102 OK new waits
207  /**/ writeq(0'f'f'). e.g. 102 f OK OK OK syn. e. OK OK OK waits OK OK
209  /**/ writeq(0'ff). 102 f OK OK OK OK OK OK OK OK OK OK
256  /**/ writeq(0f). 0 f OK OK OK OK OK OK OK OK OK OK
208 op(100,xf,'f ').
writeq(0 'f '). 		0 'f ' OK OK OK OK new OK new OK OK OK OK 0'f '
121 X = 2'1. syntax err. OK X = 1 X = 1 X = 1 OK new waits OK X = 1 X = 1 waits
122 op(100,xfx,'1').
functor(2'1'y, F, A). 		F = ('1'), A = 2. OK waits waits sy._e.(..) OK OK OK sy._e.(..) sy._e.(..) OK
262  /**/ functor(2 '1'y, F, A). F = ('1'), A = 2. OK OK OK OK OK OK OK OK OK OK
123 X =0'\x41\ . X = 65 repr. error OK sy._e.(..) OK new OK OK OK OK new OK OK
124 X =0'\x41\. X = 65 repr. err. waits waits OK new OK OK OK OK new OK OK
125 X =0'\x1\. X = 1 repr. err. waits waits OK new OK OK OK OK new OK OK
127 X is 16'mod'2. X = 0 OK OK new t._e.(..) sy._e.(..) OK OK OK waits OK OK
128 X is 37'mod'2. X = 1 OK OK new sy._e.(..) t._a.(..) OK OK OK sy._e.(..) OK OK
129 X is 0'mod'1. syntax err. waits waits waits OK OK new waits OK waits OK new waits.
130 X is 1'+'1. X = 2 OK OK new t._e.(..) reg sy._e.(..) OK OK OK sy._e.(..) OK OK
212 X is 1'\
+'1. 		X = 2. OK OK sy._e.(..) waits OK OK sy._e.(..) waits OK OK
213 X is 0'\
+'1. 		X = 1. repr. err. waits waits sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) sy._e.(..) waits
259 X = 0'\
+'/*'. %*/1. 		X = 0+1 repr. err. X = 10+'/*'. X = 43 sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) sy._e.(..) sy._e.(..)
214 X is 0'\ waits repr. err. OK OK OK OK new OK new sy._e.(..) OK OK OK
126 X = 0'\
.\ 		waits repr. err. sy._e.(..) OK new OK OK OK new sy._e.(..) OK OK OK
131 op(100,fx,' op'). succeeds OK OK OK OK OK OK OK OK OK OK
132  /**/ writeq(' op' '1'). ' op' '1' OK OK new OK ' op' '1' OK OK OK OK new OK OK
133  /**/ writeq(' op'[]). ' op'[] ' op' [] OK ' op' [] ' op' [] OK OK ' op' [] ' op' [] OK OK
134 op(1,xf,xf1).
writeq({- =xf1}). 		syntax err. {- (=) xf1} { (-)= (xf1)} {- (=)xf1} {-(=)xf1} OK {- ((=)xf1)} {}(- (=) xf1) {(-) = (xf1)} new {- =xf1} OK
137 writeq(- (a*b)). - (a*b) - (a * b) OK new OK OK new OK OK new - (a * b) - (a * b) new OK OK
138 writeq(\ (a*b)). \ (a*b) \ (a * b) OK OK OK new OK OK \ (a * b) \ (a * b) new OK OK
141 current_op(P,xfy,.). fails OK OK P = 999 OK new OK OK OK P = 661 OK OK
142 op(100,xfy,.). succeeds OK OK OK OK new OK OK OK OK OK OK
143  /**/ writeq(1 .2). [1|2] OK OK OK OK new OK OK 1 '.' 2 syn. e. OK OK
144  /**/ writeq([1]). [1] OK OK OK OK OK OK 1 '.' [] OK OK OK
283  /**/ writeq(-[1]). -[1] - [1] OK OK OK OK OK new - 1 '.' [] - [1] OK OK
221  /**/ X = 1.e. X = [1|e]. OK OK OK OK OK OK X = 1 '.' e. OK OK OK
258  /**/ writeq(ok).%
1 = X. 		ok X = 1 OK OK OK X = [writeq(
ok)|1] 		OK OK OK OK OK OK
145 write_canonical('$VAR'(0)). '$VAR'(0) OK OK new OK OK OK OK OK OK OK OK
146 write_term('$VAR'(0),[]). $VAR(0) OK OK OK A OK new OK OK OK new OK OK
244 writeq('$VAR'(0)). A ³ OK OK OK OK OK OK OK OK OK OK
245 writeq('$VAR'(-1)). '$VAR'(-1) OK S_1 _ OK OK OK OK OK new OK OK
246 writeq('$VAR'(-2)). '$VAR'(-2) OK S_2 ? OK OK OK OK OK new OK OK
247 writeq('$VAR'(x)). '$VAR'(x) OK OK x x OK OK new OK OK x OK
289 writeq('$VAR'('A')). '$VAR'('A') OK A A A OK OK OK '$VAR'(A) A OK
147 op(9,fy,fy),op(9,yf,yf).
write_canonical(fy 1 yf). 		fy(yf(1)) OK yf(fy(1)) OK OK OK OK syn. e. OK OK OK
148  /**/ write_canonical(fy yf). syntax err. fy(yf) fy(yf) fy(yf) fy(yf) OK fy(yf) fy(yf) yf(fy) fy(yf) OK
149  /**/ writeq(fy(yf(1))). fy 1 yf OK OK OK OK OK OK fy yf(1) OK OK OK
150  /**/ writeq(yf(fy(1))). (fy 1)yf (fy 1) yf fy 1 yf fy 1 yf OK OK OK yf(fy 1) fy 1 yf reg OK OK
151 op(9,fy,fy),op(9,yfx,yfx).
write_canonical(fy 1 yfx 2). 		fy(yfx(1,2)) OK yfx(fy(1), 2) OK OK OK OK yfx(fy(1), 2) OK OK OK
152  /**/ writeq(fy(yfx(1,2))). fy 1 yfx 2 OK OK OK OK OK OK OK OK OK OK
153  /**/ writeq(yfx(fy(1),2)). (fy 1)yfx 2 (fy 1) yfx 2 fy 1 yfx 2 fy 1 yfx 2 OK OK OK fy 1 yfx 2 fy 1 yfx 2 OK OK
154 op(9,yf,yf),op(9,xfy,xfy).
write_canonical(1 xfy 2 yf). 		xfy(1,yf(2)) OK yf(xfy(1, 2)) OK OK OK OK syn. e. OK OK OK
155  /**/ writeq(xfy(1,yf(2))). 1 xfy 2 yf OK OK OK OK OK OK 1 xfy yf(2) OK OK OK
156  /**/ writeq(yf(xfy(1,2))). (1 xfy 2)yf (1 xfy 2) yf 1 xfy 2 yf 1 xfy 2 yf OK OK OK yf(1 xfy 2) 1 xfy 2 yf OK OK
157 op(0,xfy,:-).
current_op(P,xfx,:-). 		fails OK OK OK p._e.(m., o.,:-) OK OK OK P = 1200 OK OK
158 op(0,xfy,','). p._e.(m., o.,',') OK OK OK OK OK OK succ./no eff. OK OK OK
159 op(9,fy,f),op(9,yf,f).
write_canonical(f f 0). 		f(f(0)) OK OK OK OK OK OK OK syn. e. OK OK
201  /**/ writeq(f(f(0))). e.g. f f 0 OK OK OK 0 f f OK 0 f f OK OK 0 f f OK
202  /**/ write_canonical(f 0 f). f(f(0)) OK OK OK OK OK OK syn. e. OK OK OK
160  /**/ write_canonical(0 f f). f(f(0)) OK OK OK OK OK OK syn. e. OK OK OK
161  /**/ write_canonical(f f). syntax err. f(f) f(f) f(f) f(f) OK f(f) f(f) f(f) f(f) OK
162 op(9,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). 		syntax err. OK OK p(p(1,p), 2) p(p(1,p), 2) OK p(p(1,p), 2) OK OK p(p(1,p), 2) OK
163 op(9,fy,p),op(9,xfy,p).
write_canonical(1 p p p 2). 		p(1, p(p(2))) OK OK OK OK OK OK OK OK OK OK
164 op(7,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). 		p(1, p(p(2))) OK OK OK OK new OK OK OK OK new OK OK
165 atom('.''-''.'). succeeds OK OK OK OK OK OK OK OK OK OK
166 op(0,xfy,'|'). succeeds OK OK OK new p._e.(m., o.,'|') OK new OK OK OK OK OK
167  /**/ writeq((a|b)). syntax err. OK OK OK new a|b OK new a;b OK (a;b) OK OK
168 op(0,xfy,.),op(9,yf,.). succeeds OK OK OK OK new OK OK OK OK OK OK
169  /**/ writeq(.(.)). ('.')'.' ('.') '.' OK OK ('.') '.' new OK OK new '.'('.') ('.') '.' new '.' '.' OK
194 op(0,xfy,.),writeq((.)+(.)). '.'+'.' '.' + '.' OK ('.')+ ('.') OK new OK OK '.' + '.' '.' + '.' OK OK
170 set_prolog_flag(
 double_quotes,chars). 		succeeds OK OK OK OK OK OK OK d._e.(p., d.). OK OK
171  /**/ writeq("a"). [a] ³ OK OK OK OK OK OK OK [97] [97] OK
229  /**/ writeq("\z"). syntax err. OK OK OK new OK OK OK OK [92,112] reg [122] OK
172 X is 10.0** -323, writeq(X). e.g. 1.0e-323. 9.8..e-324 1.0e-323 1.0e-323 new 0.0 9.8..e-324 1.0E-323 1.0E-323 0.0000 1.0e-323 1.0e-323
173 1.0e-323=:=10.0** -323. succeeds re._e.(num.) OK new OK OK OK OK OK OK fails OK
174 -1 = -0x1. succeeds OK OK OK OK OK OK OK OK OK OK
175 T = t(0b1,0o1,0x1). T = t(1,1,1) OK OK OK OK OK OK OK OK OK OK
176 X is 0b1mod 2. X = 1 OK OK OK OK OK OK OK OK OK OK
217 op(1105,xfy,'|'). succeeds OK OK OK p._e.(m., o.,'|') OK OK OK OK OK OK
181  /**/ writeq((a-->b,c|d)). a-->b,c|d² ³ a --> b , c '|' d OK new OK new OK OK OK new syn. e. (a --> b,c;d) a-->b,c | d sy._e.(..)
290  /**/ writeq([(a|b)]). [(a|b)] ³ [(a '|' b)] OK OK OK OK OK syn. e. [(a;b)] [(a | b)] sy._e.(..)
186 X/* /*/=7. X = 7 OK waits OK new OK OK OK OK OK OK OK
187 X/*/*/=7. X = 7 OK waits OK new OK OK OK OK OK OK OK
198 atom($-). OK OK OK OK OK OK OK OK OK OK OK
199 atom(-$). succeeds OK OK OK fails OK OK OK OK OK OK
200 op(900, fy, [$]).
write_canonical($a+b). 		$(+(a,b)) OK OK OK +('$a',b) OK OK OK OK OK OK
224 \ . ex._e.(..) OK OK OK OK OK OK OK OK OK u.((\)/0)
225 char_code(C,0), writeq(C). '\0\' or rep._e. rep._e. '\000\' '' rep._e. rep._e. '\x0\' '\u0000' '' de._e. ''
250 writeq('\0\'). rep._e. or '\0\' sy._e.(..) '\000\' '' ' sy._e.(..) '\x0\' '\u0000' '' d._e. ''
226 write_canonical(_+_). e.g. +(_1,_2) +(_164,
_165) 		+(_,_) +(_,_) +(_2f0,
_314) 		+(_23,
_24) 		+(_430,
_448) 		+(_583,
_657) 		+(_h164,
_h173) 		+(_5692,
_5705) 		+(_905,
_906)
227 write_canonical(B+B). e.g. +(_1,
_1) 		+(_164,
_164) 		+(A,A) +(A,A) +(_338,
_338) 		+(_23,
_23) 		+(_430,
_430) 		+(_583,
_583) 		+(_h164,
_h164) 		+(_5692,
_5692) 		+(_259,
_259)
228 writeq(0'\z). syntax err. OK OK -1 OK OK OK OK OK 122 OK
230 char_code('\^',X). syntax err. OK OK OK OK OK OK OK t._e.(..) X = 94 t._e.(..)
231 writeq(0'\c). syntax err. OK 99 OK OK OK OK OK OK OK OK
232 writeq(0'\ ). syntax err. OK OK 32 OK OK OK OK 92 OK 92
233 writeq(nop (1)). syntax err. OK OK OK OK OK OK OK OK OK OK
234 op(400,fx,f).
writeq(f/*.*/(1,2)). 		f (1,2)³ OK OK OK OK OK OK f (1 , 2) OK new OK OK
235  /**/ writeq(1 = f). syntax err. 1 = (f) 1= (f) 1= (f) 1=(f) OK 1=(f) 1 = (f) 1 = (f) new 1=(f) OK
236 write_canonical(a- - -b). -(a,-(-(b))) OK OK OK OK OK OK OK OK new OK OK
237 op(699,xf,>). p._e.(c.,op,>) OK succeeds succeeds succeeds OK succeeds succeeds OK new succeeds OK
238  /**/ writeq(>(>(a),b)). >(a)>b >(a) > b a> > b a> >b (a>)>b >(a)>b (a>)>b >(a >,b) >(a) > b (a>)>b >(a)>b
239  /**/ write_canonical(a> >b). syntax err. OK syntax err. >(>(a),b) syntax err. OK >(>(a),b) syntax err. OK new >(>(a),b) OK
242  /**/ write_canonical(a> =b). syntax err. OK syntax err. =(>(a),b) syntax err. OK =(>(a),b) =(>(a),b) OK new =(>(a),b) OK
243  /**/ write_canonical((a>,b)). syntax err. OK ','(>(a),b) ','(>(a),b) syntax err. OK ','(>(a),b) ','(>(a),b) OK new ','(>(a),b) OK
240  /**/ write_canonical(a>). syntax err. OK >(a) >(a) syntax err. OK >(a) syntax err. OK new >(a) OK
251 op(9,yfx,[bop,bo,b,op,xor]).
writeq(0bop 2). 		0 bop 2 OK sy._e.(..) 0 op 2 sy._e.(..) OK new OK new sy._e.(..) 0 op 2 OK OK
263  /**/ writeq(0 bop 2). 0 bop 2 OK OK OK OK OK OK OK OK OK OK
252  /**/ writeq(0bo 2). 0 bo 2 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK
253  /**/ writeq(0b 2). 0 b 2 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK
254  /**/ writeq(0op 2). 0 op 2 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK
255  /**/ writeq(0xor 2). 0 xor 2 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK sy._e.(..)
264 writeq('^`'). '^`' ^` ^` ^` OK OK OK OK ^` ^` OK
265 op(9,yf,[b2,o8]). succeeds OK OK OK OK OK OK OK OK OK OK
266  /**/ writeq(0b2). 0 b2 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK
267  /**/ writeq(0o8). 0 o8 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK
268 op(500, xfy, {}). p._e.(c.,o.,{}) ² succ succ. reg OK new OK new OK new OK new succ OK new succ succ
269 writeq('\b\r\f\t\n'). '\b\r\f\t\n' OK OK OK OK OK OK OK '
' 		OK new OK
270 get_char(C). %a C = ' ' C = '%' C = '%' C = '%' C = '%' OK new OK OK C = '%' reg C = '%' OK
271 get_char(C).%a C = '%' C = '\n' + C = '\n' + C = '\n' + waits OK OK OK waits reg C = '\n' + OK
272 writeq(0B1). syntax err. OK OK OK 1 OK OK OK OK OK OK
274 op(20,fx,--),writeq(--(a)). --a OK OK OK OK OK OK -- a -- a OK OK
275 /**/ op(0,fy,--),writeq(--(a)). --(a) OK OK OK --a OK OK OK -- a OK OK
276 writeq(0xamod 2). 10 mod 2 OK OK OK OK OK OK OK OK OK OK
280 writeq(00'+'1). 0+1 0 + 1 waits waits sy._e.(..) OK OK 0 + 1 sy._e.(..) OK OK
281 writeq(00'a). syntax err. OK OK 97 97 OK OK OK 97 OK waits
284 writeq('\^J'). syntax err. OK OK '\t' OK OK OK OK '\\^J' '\n' new '\\^J'
291 Finis (). syntax err. OK OK OK OK OK OK OK OK OK OK

Remarks

/**/requires preceding test without /**/
² including Cor. 2 (from approved DTC2)
³ including/ignoring WDCor.3
° recent finds, will go into WDCor4
XXXlicense expired
*more recent versions are not considered for conformity reasons
+Requires an extra newline as input
w.opRequires extra operator declaration
@@@@@@not yet tested (difficult reproduction)
n/anot applicable (for parser only)
#71 There are two possible errors:
permission_error(modify, operator, ',') due to 8.14.3.3 j
permission_error(create, operator, ',') due to 8.14.3.3 l which applies because Priority 1001 for comma is invalid due to 6.3.4.3.
#28.14.1.1 defines when a syntax error may be produced. There are actually two possibilities: Syntax errors on the token level and on the syntax level. Syntax level errors may only be produced when an end token (6.4.8) is encountered. But syntax errors on the token level have to be identified earlier on since the end token (6.4.8) must be identified in 8.14.1.1 i.
#275In step 8.14.3.1 d it is tested
d) If Op is not currently an operator with the same
operator class (prefix, infix or postfix) as Op_specifier, ...
and in case it is an operator:
e) The operator property of Op with the same class as
Op_specifier is removed, so that Op is no longer an
operator of that class,
Now, will an operator declared as fx be removed with fy or not? Note:
3.162 specifier (of an operator): One of the atoms fx,
fy, xfx, xfy, yfx, xf or yf. A specifier denotes the
class and associativity of an operator (see 6.3.4).
3.31 class (of an operator): The class of an operator
defines whether it is a prefix, infix, or postfix operator
(see 6.3.4).
3.11 associativity (of an operator): Property of being
non-associative, right-associative, or left-associative (see
6.3.4, table 4).
Table 4 — Specifiers for operators
Specifier Class Associativity
fxprefix non-associative
fyprefix right-associative
xfxinfix non-associative
xfyinfix right-associative
yfxinfix left-associative
xf postfix non-associative
yf postfix left-associative

Deleted cases

20: Subsumed by #18
273: Left out

History

2010-11-04: start
2010-11-14: revision 1.1
2010-11-26: revision 1.11
2011-05-25: revision 1.66
Version Control
Validated HTML @ 1.207 log @*** empty log message *** @ text @d155 6 a160 6 224 200 206 207 286 262 d163 1 a163 1 214 d207 1 a207 1 37 d221 1 a221 1 27 d224 1 a224 1 9 d230 1 a230 1 2 d245 1 a245 1 20 d2004 1 a2004 1 OK d3939 15 d4629 1 a4629 1 290 Finis (). @ 1.206 log @*** empty log message *** @ text @d154 11 a164 11 266/285 221 199 204 205 283 259 197 177 212 245 d199 1 a199 1 6 d201 3 a203 3 40 24 20 d207 2 a208 2 36 24 d214 1 a214 1 d259 1 a259 1 yes d1311 16 a1326 2 286 compound(- (1)). succeeds d1339 16 d3383 15 a4612 1 d4614 1 a4614 1 287 Finis (). d4621 1 a4621 1 OK d4623 1 a4623 1 OK d4640 1 @ 1.205 log @/*.*/ for some cases of /**/ where copying was not intended @ text @d154 11 a164 11 266/283 219 197 202 203 281 257 195 175 211 243 d1309 16 d4570 1 a4570 1 286 Finis (). @ 1.204 log @Ciao progress @ text @d949 1 a949 1 //**/ d956 1 a956 1 '//**/' d1355 1 a1355 1 59 integer(- /**/1). d1370 1 a1370 1 60 integer(-/**/1). d1385 1 a1385 1 61 integer('-'/**/1). d1400 1 a1400 1 62 atom(-/**/-). d3202 1 a3202 1 283 /**/ writeq(-[1]). @ 1.203 log @*** empty log message *** @ text @d134 1 a134 1
6.3.18-3* d137 2 a138 2 B
7.8#5 d144 1 a144 1 XSB
3.7
rev.8750 d146 1 a146 1
1.13.0 d163 1 a163 1 200 d178 1 a178 1 d193 1 a193 1 d208 1 a208 1 37 d223 1 a223 1 2 d253 1 a253 1 40 d268 1 a268 1 #73 d283 1 a283 1 #1 d298 1 a298 1 #1 d313 1 a313 1 '
' d328 1 a328 1 waits d358 1 a358 1 waits d388 1 a388 1 ' ' d418 1 a418 1 '
' d508 1 a508 1 '
' d538 1 a538 1 ' ' d553 1 a553 1 '' d568 1 a568 1 '' d598 1 a598 1 '??' d613 1 a613 1 '^[' d628 1 a628 1 '^[' d703 1 a703 1 waits d733 1 a733 1 waits d948 1 a948 1 282 writeq(//**/). d1951 16 a1966 1 X=[(a|b)] d1970 1 d1997 1 a1997 1 X=[(a|b|c)] d2492 1 a2492 1 halts d2522 1 a2522 1 halts d2762 1 a2762 1 waits d2852 1 a2852 1 waits d2957 1 a2957 1 waits d3002 1 a3002 1 waits d4413 1 a4413 1 '

' d4548 1 a4548 1 '
' d4552 1 d4554 1 a4554 1 285 Finis (). @ 1.202 log @*** empty log message *** @ text @d154 1 a154 1 268/283 d199 1 a199 1 4 d289 1 a289 1 #33 d1762 1 a1762 1 -A d3262 1 a3262 1 A d4405 1 a4405 1 C = '%' d4420 1 a4420 1 C = '\n' + @ 1.201 log @*** empty log message *** @ text @d154 1 a154 1 272/283 d162 1 a162 1 176 d229 1 a229 1 7 d237 1 a237 1 13 d814 1 a814 1 [:-,-] d874 1 a874 1 ['.','.'('.','.','.')] d904 1 a904 1 '.'(a,[])³ d1597 1 a1597 1 -[-] d1770 1 a1770 1 - (A) d1837 1 a1837 1 [+{a},+[]] ² d3728 1 a3728 1 [a] d4634 2 a4635 2 20: Subsumed by #18
273: Left out @ 1.200 log @Minor correction of sum @ text @d169 1 a169 1 7 d889 1 a889 1 a:-b,c³ d1822 1 a1822 1 +1^2 ² d1837 1 a1837 1 [+{a},+[]] d2331 1 a2331 1 98 X = [] (1). d4634 2 a4635 1 20: Subsumed by #18 @ 1.199 log @Old fashioned \^ escapes @ text @d154 1 a154 1 275/283 @ 1.198 log @/span error &ct @ text @d154 3 a156 3 274/282 218 196 d158 4 a161 4 202 280 256 194 d208 1 a208 1 36 d247 1 a247 1 34 d252 1 a252 1 36 d254 1 a254 1 14 d4522 16 a4537 1 284 Finis (). d4550 2 @ 1.197 log @XSB 3.7 @ text @d949 1 a949 1 syntax err. d1461 1 a1461 1 - (1)³ d1506 1 a1506 1 - (1^2)³ d1521 1 a1521 1 - (a^2)³ d1537 1 a1537 1 - (a,b)³ @ 1.196 log @SICStus 4.3.3 progress @ text @d144 1 a144 1 XSB
3.6
rev.8466 d154 1 a154 1 274/281 d162 1 a162 1 175 d177 1 a177 1 59 d192 1 a192 1 10 d207 1 a207 1 34 d237 1 a237 1 14 d252 1 a252 1 38 d567 1 a567 1 '' d3060 1 a3060 1 ' op' ('1') reg d3090 1 a3090 1 {- = xf1} d4036 1 a4036 1 fails d4411 1 a4411 1 OK new d4426 1 a4426 1 OK new @ 1.195 log @*** empty log message *** @ text @d142 1 a142 1
4.3.0 d160 1 a160 1 253 d175 1 a175 1 49 d235 1 a235 1 3 d1753 1 a1753 1 - ([1]) d1768 1 a1768 1 - (A) d3193 1 a3193 1 - ([1]) @ 1.194 log @Last change prob. Nov 15. @ text @d1767 1 a1767 1 -A d1771 1 a1771 1 -A @ 1.193 log @*** empty log message *** @ text @d144 1 a144 1 XSB
3.6
rev.8413 d154 11 a164 11 271/275 213 191 199 199 274 250 191 170 194 238 d177 1 a177 1 58 d199 4 a202 4 26 39 23 d206 2 a207 2 21 35 d209 1 a209 1 13 d216 3 a218 3 13 14 23 d222 1 a222 1 20 d229 1 a229 1 4 d233 1 a233 1 5 d235 2 a236 2 0 17 d247 2 a248 2 33 29 d252 1 a252 1 37 d267 1 a267 1 #164 d889 1 a889 1 a:-b,c ³ d904 1 a904 1 '.'(a,[]) 8.14.2.4 2³ d948 15 d1461 1 a1461 1 - (1) d1506 1 a1506 1 - (1^2)³ d1521 1 a1521 1 - (a^2)³ d1537 1 a1537 1 - (a,b) ³ d1642 1 a1642 1 -{a} ³ d1702 1 a1702 1 - (1~2~3) ³ d1717 1 a1717 1 - (1~2) ³ d1746 30 d1860 1 a1860 1 succeeds d3141 1 a3141 1 142 op(400,xfy,.). d3186 15 d3848 1 a3848 1 a-->b,c|d ² ³ d4088 1 a4088 1 f (1,2) ³ a4400 1 a4475 2 d4492 31 a4522 1 278 Finis (). d4551 1 a4551 1 w.opRequires extra operator declaration d4610 1 a4610 1 @ 1.192 log @XSB improvements @ text @d123 1 d154 11 a164 11 270/274 211 190 197 197 272 248 189 168 192 237 d169 1 a169 1 6 d203 1 a203 1 19 d209 1 a209 1 12 d904 1 a904 1 '.'(a,[]) 8.14.2.4 2³ d1754 1 a1754 1 OK w. op d1757 1 a1757 1 OK w. op d1769 1 a1769 1 OK w. op d1772 16 a1787 1 OK w. op d1802 1 a1802 1 OK w. op d2027 1 a2027 1 OK d4435 1 a4435 1 277 Finis (). d4442 1 a4442 1 OK d4444 2 a4445 2 OK OK d4464 1 @ 1.191 log @*** empty log message *** @ text @d143 1 a143 1 XSB
3.5.0
rev.8284 d431 1 a431 1 OK ~ d731 1 a731 1 waits ~ @ 1.190 log @*** empty log message *** @ text @d293 1 a293 1 yes d551 1 a551 1 '' d618 1 a618 1 e.g. '\33\' d731 1 a731 1 waits d4404 16 a4419 1 276 Finis (). @ 1.189 log @XSB progress 2015/03/06 12:58:38 @ text @d156 1 a156 1 194 d171 1 a171 1 55 d201 1 a201 1 26 d576 1 a576 1 '\a' new d2469 1 a2469 1 succeeds d2484 1 a2484 1 succeeds d2499 1 a2499 1 waits d3670 1 a3670 1 [ÿ] @ 1.188 log @*** empty log message *** @ text @d143 1 a143 1 XSB
3.5.0
rev.8268 d161 1 a161 1 159 d176 1 a176 1 47 d191 1 a191 1 6 d206 1 a206 1 42 d221 1 a221 1 22 d236 1 a236 1 15 d251 1 a251 1 36 d431 1 a431 1 OK d626 1 a626 1 '\' d1498 1 a1498 1 - (1 ^ 2) new d1513 1 a1513 1 - (a ^ 2) new d1649 1 a1649 1 - (- a) new d1664 1 a1664 1 - (- (- a)) d1679 1 a1679 1 - (- (1)) new d2009 1 a2009 1 fails d2024 1 a2024 1 fails d2039 1 a2039 1 OK d2054 1 a2054 1 fails d2069 1 a2069 1 OK d2234 1 a2234 1 sy._e.(..) d2459 1 a2459 1 Cs = [] d2804 1 a2804 1 sy._e.(..) d2819 1 a2819 1 waits d2834 1 a2834 1 waits d2999 1 a2999 1 OK d3179 1 a3179 1 $VAR( 0) d3209 1 a3209 1 Z d3224 1 a3224 1 Y d3299 1 a3299 1 fy 1 yf d3389 1 a3389 1 1 xfy 2 yf d3539 1 a3539 1 p(p(1,p), 2) d4050 1 a4050 1 -(-(a,-),b) @ 1.187 log @XSB progress @ text @d143 1 a143 1 XSB
3.5.0
rev.8235 d161 1 a161 1 153 d176 1 a176 1 45 d191 1 a191 1 7 d206 1 a206 1 44 d221 1 a221 1 23 d236 1 a236 1 18 d1468 1 a1468 1 - (1) d1994 1 a1994 1 fails d2601 3 a2603 3 0'' or 0 '' 0 '' 0 '' d2605 6 a2610 6 0 '' new 0 '' 0 '' 0 '' 0 0 '' d2616 1 a2616 1 0'' or 0 '' d2621 2 a2622 2 0 '' new 0 '' new d3442 3 a3444 3 f f 0 f f 0 f f 0 d3446 1 a3446 1 f f 0 d3448 2 a3449 2 f f 0 f f 0 d3451 1 a3451 1 f f 0 d3591 1 a3591 1 168 op(9,yf,.). d3600 1 a3600 1 p.e.(c.,o.,'.') reg d3615 1 a3615 1 '.'(('.')) new d3621 1 a3621 1 194 writeq((.)+(.)). d3625 1 a3625 1 ('.')+('.') d3630 1 a3630 1 ('.') + ('.') d3780 1 a3780 1 (a --> b,c;d) new d4422 1 a4422 1 Remarks: @ 1.186 log @*** empty log message *** @ text @d66 1 d143 1 a143 1 XSB
3.5.0 d153 11 a163 11 268/272 209 188 192 196 270 246 187 127 190 235 d176 1 a176 1 6 d184 1 a184 1 d190 4 a193 4 2 d206 1 a206 1 71 d221 1 a221 1 26 d236 1 a236 1 13 d251 1 a251 1 35 d322 1 a322 1 waits/OK d401 1 a401 1 fails d476 1 a476 1 ab d521 1 a521 1 '\ ' d641 1 a641 1 fails d656 1 a656 1 fails d776 1 a776 1 - - - d791 1 a791 1 (:- :- :-) d806 1 a806 1 * = * d821 1 a821 1 OK d836 1 a836 1 OK d866 1 a866 1 f(';','|',';;') d881 1 a881 1 OK new d896 1 a896 1 (a :- b ',' c) d986 1 a986 1 fails d1001 1 a1001 1 fails d1031 1 a1031 1 waits d1046 1 a1046 1 waits d1108 1 a1108 1 succeeds d1138 1 a1138 1 succeeds d1273 1 a1273 1 OK d1453 1 a1453 1 -1 d1468 1 a1468 1 -1 d1483 1 a1483 1 --1 d1498 1 a1498 1 -(1 ^ 2) d1513 1 a1513 1 -(a ^ 2) d1529 1 a1529 1 -(a ',' b) d1544 1 a1544 1 -(1 * 2) d1559 1 a1559 1 OK d1574 1 a1574 1 -- d1589 1 a1589 1 OK d1604 1 a1604 1 OK d1619 1 a1619 1 -'{}' d1634 1 a1634 1 OK d1649 1 a1649 1 -(-a) d1664 1 a1664 1 -(-(-a)) d1679 1 a1679 1 -(-1) d1694 1 a1694 1 -1 ~ 2 ~ 3 d1709 1 a1709 1 -1 ~ 2 d1784 1 a1784 1 OK d1874 1 a1874 1 succeeds d2309 1 a2309 1 waits d2324 1 a2324 1 fails d2354 1 a2354 1 X = aa d2414 1 a2414 1 X = ... d2429 1 a2429 1 fails d2444 1 a2444 1 Cs = [] d2549 1 a2549 1 fails d3044 1 a3044 1 -(a * b) d3059 1 a3059 1 \(a * b) d3584 1 a3584 1 (a ';' b) d3600 1 a3600 1 OK d3615 1 a3615 1 '.'. d3630 1 a3630 1 '.' + '.' d3780 1 a3780 1 (a --> b ',' c ';' d) d4020 1 a4020 1 f (1 ',' 2) d4035 1 a4035 1 1 = f d4065 1 a4065 1 succeeds d4080 1 a4080 1 a> > b d4095 1 a4095 1 syntax err. d4110 1 a4110 1 syntax err. d4125 1 a4125 1 syntax err. d4140 1 a4140 1 syntax err. d4305 1 a4305 1 succ d4320 1 a4320 1 '

' d4336 1 a4336 1 C = '%' d4351 1 a4351 1 waits d4372 2 a4373 2 273 Finis (). syntax err. d4379 16 a4394 1 OK d4396 1 a4396 1 OK d4403 14 d4435 1 a4435 1 #71 d4442 50 d4494 2 d4502 1 a4502 4 8.14.1.1 defines when a syntax error may be produced. There are actually two possibilities: Syntax errors on the token level and on the syntax level. Syntax level errors may only be produced when an end token (6.4.8) is encountered. d4536 12 @ 1.185 log @SICStus and GNU progress @ text @d134 1 a134 1
6.3.4 d145 1 a145 1 Prolog IV
1.4.2 d152 4 a155 4 267/271 208 187 186 d157 6 a162 6 269 245 186 126 189 234 d170 1 a170 1 50 d185 1 a185 1 8 d200 1 a200 1 31 d215 1 a215 1 13 d245 2 a246 2 34 28 d260 1 a260 1 #39 d642 1 a642 1 ty._e.(ch.,..) d657 1 a657 1 ty._e.(ch.,..) d980 1 a980 1 waits reg d995 1 a995 1 waits reg d1025 1 a1025 1 waits reg d1040 1 a1040 1 waits reg d1207 1 a1207 1 OK d1752 1 a1752 1 OK with op d1755 1 a1755 1 OK with op d1767 1 a1767 1 OK with op d1770 1 a1770 1 OK with op d1785 1 a1785 1 OK with op d2303 1 a2303 1 waits reg d2453 1 a2453 1 Cs = [1] reg d2843 1 a2843 1 ty._e.(..) d2888 1 a2888 1 ty._e.(..) reg d2963 1 a2963 1 OK new d3871 1 a3871 1 u._c.((\)/0) d3961 1 a3961 1 ty._e.(..) d4356 16 a4371 1 272 Finis (). @ 1.184 log @Layout only @ text @d138 1 a138 1
1.4.4-g d140 1 a140 1
4.3beta2 d157 2 a158 2 268 244 d172 2 a173 2 43 48 d202 1 a202 1 1 d248 1 a248 1 27 d1476 1 a1476 1 - -1 d2501 1 a2501 1 X = 'a' d4332 1 a4332 1 C = '%' @ 1.183 log @*** empty log message *** @ text @d141 1 a141 1 MINERVA
2.4 d1835 1 a1835 1 p._e.(m.,o.,',') d1850 1 a1850 1 p._e.(m.,o.,',') or
p._e.(c.,o.,',') d1865 1 a1865 1 p._e.(c.,o.,'|') ² d1869 1 a1869 1 p._e.(m.,o.,'|') d2285 1 a2285 1 do._e.(op._s.,yfy) d3144 1 a3144 1 X =
[writeq(ok)|1] d3307 1 a3307 1 yfx(fy(1),2) d3312 1 a3312 1 yfx(fy(1),2) d3352 1 a3352 1 yf(xfy(1,2)) d3399 1 a3399 1 p._e.(m.,o.,:-) d3410 1 a3410 1 p._e.(m.,o.,',') d3503 2 a3504 2 p(p(1,p),2) p(p(1,p),2) d3506 1 a3506 1 p(p(1,p),2) d3509 1 a3509 1 p(p(1,p),2) d3515 1 a3515 1 p(1,p(p(2))) d3530 1 a3530 1 p(1,p(p(2))) d3538 1 a3538 1 p(p(1,p),2) d3564 1 a3564 1 p._e.(m.,o.,'|') d3644 1 a3644 1 d._e.(p.,d.). d3760 1 a3760 1 p._e.(m.,o.,'|') @ 1.182 log @IF correction @ text @d4010 1 a4010 1 234 op(400,fx,f).
writeq(f/**/(1,2)). @ 1.181 log @XSB improvements @ text @d198 1 a198 1 25 d4237 1 a4237 1 @@@@@@ @ 1.180 log @*** empty log message *** @ text @d142 1 a142 1 XSB
3.3.1 d160 1 a160 1 128 d175 1 a175 1 1 d190 1 a190 1 d204 2 a205 2 20 73 d220 1 a220 1 26 d235 1 a235 1 14 d249 2 a250 2 21 30 d490 1 a490 1 '\ ' d505 1 a505 1 '\
' d550 1 a550 1 '' d565 1 a565 1 '\' d580 1 a580 1 '\ca' d595 1 a595 1 '\d' d610 1 a610 1 '\e' d625 1 a625 1 '' d670 1 a670 1 '\u1' d685 1 a685 1 OK d1678 1 a1678 1 -(-1) d2413 1 a2413 1 X = ... d2803 1 a2803 1 fails d2908 1 a2908 1 sy._e.(..) d3674 1 a3674 1 OK d3883 1 a3883 1 '\u0000' @ 1.179 log @#270, #271 @ text @d152 1 a152 1 265/269 d157 3 a159 3 267 242 184 d162 1 a162 1 232 d198 5 a202 5 23 37 29 17 0 d204 3 a206 3 22 71 34 a4323 17 270 Finis (). syntax err. OK OK OK OK OK OK OK OK OK OK Tentative new cases d4326 1 a4326 1 t270 get_char(C). %a d4333 2 a4334 2 C = ' ' C = ' ' d4337 1 a4337 1 C = ' ' d4341 1 a4341 1 t271 get_char(C).%a d4347 3 a4349 3 C = '%' C = '%' C = '%' d4352 16 a4367 1 C = '%' d4387 1 @ 1.178 log @P4 @ text @d159 1 a159 1 183 d204 1 a204 1 21 d1865 1 a1865 1 p._e.(c., o.,'|') ² d3144 1 a3144 1 X = [writeq(ok)|1] d3907 1 a3907 1 +(_164,_165) d3910 7 a3916 7 +(_2f0,_314) +(_23,_24) +(_430,_448) +(_583,_657) +(_h164,_h173) +(_5692,_5705) +(_905,_906) d3921 2 a3922 2 e.g. +(_1,_1) +(_164,_164) d3925 7 a3931 7 +(_338,_338) +(_23,_23) +(_430,_430) +(_583,_583) +(_h164,_h164) +(_5692,_5692) +(_259,_259) d4310 2 a4311 2 269 writeq('\a\b\r\f\t\n'). '\a\b\r\f\t\n' d4318 1 a4318 1 '\u0007\b\r\f\t\n' d4337 33 @ 1.177 log @Remark added + many @ text @d162 1 a162 1 229 d222 1 a222 1 12 d1770 1 a1770 1 sy._e.(..) d1785 1 a1785 1 sy._e.(..) d3000 1 a3000 1 sy._e.(..) d3015 1 a3015 1 sy._e.(..) d4318 1 a4318 1 '\u0007\b\r\f\t\n' d4351 1 a4351 1 ³ including/ignoring yet to be written DTC3 @ 1.176 log @m @ text @d132 1 a132 1
6.3.18-3 d158 3 a160 3 241 184 130 d162 1 a162 1 228 d200 1 a200 1 30 d205 1 a205 1 70 d207 1 a207 1 10 d214 3 a216 3 12 12 22 d219 2 a220 2 26 25 d222 1 a222 1 14 d237 1 a237 1 3 d1695 1 a1695 1 - ~(~(1,2),3) d1710 1 a1710 1 sy._e.(..) d1725 1 a1725 1 sy._e.(..) d3026 1 a3026 1 {-(=xf1)} d4250 16 a4265 1 265 op(9,yf,[b2,o8]).
writeq(0b2). d4353 3 @ 1.175 log @Fix SICStus @ text @d3186 9 a3194 9 A A A A A A A A A @ 1.174 log @*** empty log message *** @ text @d169 1 a169 1 28 d173 1 a173 1 47 d248 1 a248 1 28 d623 1 a623 1 '\x1B\' new @ 1.173 log @count @ text @d747 1 a747 1 X = 92. @@@@@@ @ 1.172 log @Prolog IV @ text @d250 1 a250 1 29 @ 1.171 log @YAP @ text @d145 1 d162 1 d177 1 d180 1 a180 1 d182 2 a183 2 d187 6 a192 5 d207 1 d222 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 d687 1 d702 1 d717 1 d732 1 d745 1 a745 1 X = 92. d747 1 d762 1 d777 1 d792 1 d807 1 d822 1 d837 1 d852 1 d867 1 d882 1 d897 1 d912 1 d927 1 d942 1 d957 1 d972 1 d987 1 d1002 1 d1017 1 d1032 1 a1034 2 d1047 1 d1064 1 d1079 1 d1094 1 d1109 1 d1124 1 d1139 1 d1154 1 d1169 1 d1184 1 d1199 1 d1214 1 d1229 1 d1244 1 d1259 1 d1274 1 d1289 1 d1304 1 d1319 1 d1334 1 d1349 1 d1364 1 d1379 1 d1394 1 d1409 1 d1424 1 d1439 1 d1454 1 d1469 1 d1484 1 d1499 1 d1514 1 d1530 1 d1545 1 d1560 1 d1575 1 d1590 1 d1605 1 d1620 1 d1635 1 d1650 1 d1665 1 d1680 1 d1695 1 d1710 1 d1725 1 d1740 1 d1755 1 d1770 1 d1785 1 d1800 1 d1815 1 d1830 1 d1845 1 d1860 1 d1875 1 d1890 1 d1905 1 d1920 1 d1935 1 d1950 1 d1965 1 d1980 1 d1995 1 d2010 1 d2025 1 d2040 1 d2055 1 d2070 1 d2085 1 d2100 1 d2115 1 d2130 1 d2145 1 d2160 1 d2175 1 d2190 1 d2205 1 d2220 1 d2235 1 d2250 1 d2265 1 d2280 1 d2295 1 d2310 1 d2325 1 d2340 1 d2355 1 d2370 1 d2385 1 d2400 1 d2415 1 d2430 1 d2445 1 d2460 1 d2475 1 d2490 1 d2505 1 d2520 1 d2535 1 d2550 1 d2565 1 d2580 1 d2595 1 d2610 1 d2625 1 d2640 1 d2655 1 d2670 1 d2685 1 d2700 1 d2715 1 d2730 1 d2745 1 d2760 1 d2775 1 d2790 1 d2805 1 d2820 1 d2835 1 d2850 1 d2865 1 d2880 1 d2895 1 d2910 1 d2925 1 d2940 1 d2955 1 d2970 1 d2985 1 d3000 1 d3015 1 d3030 1 d3045 1 d3060 1 d3075 1 d3090 1 d3105 1 d3120 1 d3135 1 d3150 1 d3165 1 d3180 1 d3195 1 d3210 1 d3225 1 d3240 1 d3255 1 d3270 1 d3285 1 d3300 1 d3315 1 d3330 1 d3345 1 d3360 1 d3375 1 d3390 1 d3405 1 d3420 1 d3435 1 d3450 1 d3465 1 d3480 1 d3495 1 d3510 1 d3525 1 d3540 1 d3555 1 d3570 1 d3585 1 d3601 1 d3616 1 d3631 1 d3646 1 d3661 1 d3676 1 d3691 1 d3706 1 d3721 1 d3736 1 d3751 1 d3766 1 d3781 1 d3796 1 d3811 1 d3826 1 d3841 1 d3856 1 d3871 1 d3886 1 d3901 1 d3916 1 d3931 1 d3946 1 d3961 1 d3976 1 d3991 1 d4006 1 d4021 1 d4036 1 d4051 1 d4066 1 d4081 1 d4096 1 d4111 1 d4126 1 d4141 1 d4156 1 d4171 1 d4186 1 d4201 1 d4216 1 d4231 1 d4246 1 d4261 1 d4276 1 d4291 1 d4306 1 d4321 1 @ 1.170 log @*** empty log message *** @ text @d154 1 a154 1 178 d168 1 a168 1 38 d182 1 a182 1 7 d196 1 a196 1 32 d210 1 a210 1 13 d238 1 a238 1 38 d406 1 a406 1 sy._e.(..) d448 1 a448 1 ab d462 1 a462 1 ' ' d476 1 a476 1 ' \n' d490 1 a490 1 '\t' d546 1 a546 1 c d560 1 a560 1 '\177' d574 1 a574 1 OK new d588 1 a588 1 OK new d714 1 a714 1 X = 46. d2217 1 a2217 1 X = '9' d2231 1 a2231 1 X = 'N' d2287 1 a2287 1 Cs = [256] d2301 1 a2301 1 OK new d2777 1 a2777 1 X = -1 reg @ 1.169 log @*** empty log message *** @ text @d154 1 a154 1 180 d224 1 a224 1 5 d1584 1 a1584 1 - (1~2~3) or
- (1)~2~3 d1587 4 a1590 4 - (1)~2~3
new - (1~2~3)
new - (1~2~3)
new - (1~2~3)
new d1598 1 a1598 1 - (1~2) or - (1)~2 d1601 3 a1603 3 - (1)~2 - (1~2) - (1~2) d1606 1 a1606 1 -1 ~ 2 d3649 1 a3649 1 sy._e.(..) @ 1.168 log @*** empty log message *** @ text @d283 1 a283 1 #247 d3755 1 a3755 1 f (1,2) @ 1.167 log @*** empty log message *** @ text @d129 1 a129 1 13211-1:1995
*: Cor. 2 d140 1 a140 1
4.3beta1 d152 4 a155 4 209 189 179 197 d157 4 a160 4 239 185 131 190 d168 1 a168 1 35 d171 1 a171 1 44 d182 1 a182 1 10 d185 1 a185 1 d196 1 a196 1 36 d199 1 a199 1 1 d222 9 a230 9 1 2 3 4 0 1? 16 13 3 d238 2 a239 2 39 29 d574 1 a574 1 '\033' reg d588 1 a588 1 '\033 reg d837 1 a837 1 a:-b,c ** d851 1 a851 1 '.'(a,[]) 8.14.2.4 2. d1401 1 a1401 1 - (1^2) or - (1)^2 d1404 4 a1407 4 - (1)^2 new - (1^2) new - (1^2) new - (1^2) new d1415 8 a1422 8 -a^2 - a ^ 2 OK OK OK OK - (a^2) - a ^ 2 d1424 1 a1424 1 OK d1430 1 a1430 1 - (a,b) ** d1528 1 a1528 1 -{a} ** d1535 1 a1535 1 - {}(a) ** d1640 1 a1640 1 succeeds * d1654 1 a1654 1 succeeds * d1752 1 a1752 1 p._e.(c., o.,'|') * d1878 1 a1878 1 succeeds * d2273 1 a2273 1 fails reg d2773 1 a2773 1 126 X = 0'\
. d3032 1 a3032 1 x d3531 1 a3531 1 a-->b,c|d * ** d4007 1 a4007 1 p._e.(c.,o.,{}) * d4058 2 a4059 2 * including Cor. 2 (from approved DTC2) ** including/ignoring yet to be written DTC3 a4062 1 4.1 allegedly fixed in SICStus 4.1. But present in 4.2 @ 1.166 log @GNU progress @ text @d1423 1 a1423 1 -(a ^ 2) d4131 2 @ 1.165 log @New read/1 category @ text @d138 1 a138 1
1.4.4 d156 1 a156 1 256 d170 1 a170 1 33 d184 1 a184 1 3 d198 1 a198 1 1 d212 1 a212 1 10 d254 2 a255 2 #251 OK new d2737 1 a2737 1 sy._e.(..) reg d2751 1 a2751 1 sy._e.(..) reg d2765 1 a2765 1 sy._e.(..) reg d2779 1 a2779 1 sy._e.(..) d3537 1 a3537 1 OK new d3886 1 a3886 1 0 op 2 d3914 1 a3914 1 sy._e.(..) d3928 1 a3928 1 sy._e.(..) d3942 1 a3942 1 sy._e.(..) d3956 1 a3956 1 sy._e.(..) d3984 1 a3984 1 sy._e.(..) d3992 1 a3992 1 267  /**/ writeq(0o8). d3998 1 a3998 1 sy._e.(..) @ 1.164 log @*** empty log message *** @ text @d248 14 @ 1.163 log @4.3beta1 @ text @d93 2 a94 1 documents, number_chars/2) d140 1 a140 1
4.3beta1 @ 1.162 log @*** empty log message *** @ text @d139 1 a139 1
3.12.5iso d156 1 a156 1 200 d170 1 a170 1 d197 2 a198 2 1 13 d212 1 a212 1 13 d226 1 a226 1 18 d240 1 a240 1 25 d254 1 a254 1 #18 d268 1 a268 1 #27 d548 1 a548 1 '\d' d562 1 a562 1 '\e' d576 1 a576 1 '\e' d730 1 a730 1 (:-):- :- d744 1 a744 1 * = * 4.1 d1350 1 a1350 1 -(1) d1378 1 a1378 1 -(-1) d1392 1 a1392 1 -(1^2) d1406 1 a1406 1 -(a^2) d1421 1 a1421 1 -((a,b)) d1435 1 a1435 1 -(1*2) d1449 1 a1449 1 -(a) d1463 1 a1463 1 -(-) d1477 1 a1477 1 -([-]) d1491 1 a1491 1 -(p(c)) d1505 1 a1505 1 -({}) d1519 1 a1519 1 -({a}) d1533 1 a1533 1 -(-(a)) d1547 1 a1547 1 -(-(-(a))) d1561 1 a1561 1 -(-(1)) d1575 1 a1575 1 -(1~2~3) d1589 1 a1589 1 -(1~2) d1631 1 a1631 1 fails d1645 1 a1645 1 fails d1659 1 a1659 1 [+({a}),+([])] d1673 1 a1673 1 fails d1743 1 a1743 1 succeeds d2443 1 a2443 1 sy._e.(..) d2485 1 a2485 1 sy._e.(..) d2723 1 a2723 1 sy._e.(..) d2737 1 a2737 1 sy._e.(..) d2751 1 a2751 1 sy._e.(..) d2765 1 a2765 1 sy._e.(..) d2835 1 a2835 1 -(a*b) d3368 1 a3368 1 '.' '.' d3522 1 a3522 1 a-->b,c;d d3872 1 a3872 1 sy._e.(..) d3900 1 a3900 1 sy._e.(..) d3914 1 a3914 1 sy._e.(..) d3928 1 a3928 1 sy._e.(..) d3942 1 a3942 1 sy._e.(..) d3970 1 a3970 1 sy._e.(..) d3984 1 a3984 1 sy._e.(..) d3998 1 a3998 1 succ @ 1.161 log @Correction of 3 cases restrictions -> good @ text @d183 1 a183 1 4 d631 1 a631 1 OK reg? @ 1.160 log @New case YAP correction @ text @d155 1 a155 1 253 d183 1 a183 1 7 d211 1 a211 1 13 d2456 1 a2456 1 p._e.(c.,o.,'') reg d2470 1 a2470 1 sy._e.(..) reg d2484 1 a2484 1 sy._e.(..) reg @ 1.159 log @Renumbering @ text @d150 7 a156 7 264/268 208 188 177 196 252 199 d181 1 a181 1 11 d199 3 a201 3 20 69 33 d1866 1 a1866 1 fails reg d4004 13 a4016 1 d4019 1 a4019 1 269 Finis (). d4090 3 d4103 1 a4103 1 XSB fail d4105 1 a4105 18 TODO: | ?- write_canonical(-X+ - -Y). -(+(-(_h168),-),_h190) X = _h168 Y = _h190 - -X- -X=X-X, writeq(yup),fail. writeq("\a\b\t\n\v\f\r"). TODO (Jan Burse): GNU Prolog: ?- op(200,yfx,++). yes ?- Y =3D -Z++T++R, write_canonical(Y). -(++(++(_24,_25),_29)) d4107 1 a4107 1 SWI-Prolog: d4109 1 a4109 4 ?- op(200,yfx,++). true. ?- Y =3D -Z++T++R, write_canonical(Y). ++(++(-(_),_),_) d4111 5 a4116 6 -->

@ 1.158 log @Removed spaces in #181 - Per Mildner @ text @d150 1 a150 1 263/267 a3962 14 265 op(500, xfy, {}). p._e.(c.,o.,{}) * succ succ. reg OK new OK new OK new succ succ succ succ d3991 17 a4007 1 268 Finis (). @ 1.157 log @2 suggestions by Per Mildner 1 reg @ text @d3516 1 a3516 1 a --> b, c | d * ** d3518 4 a3521 4 a-->b,c|d new a-->b,c|d new a-->b,c|d a-->b,c|d @ 1.156 log @#126 corrected, Per Mildner @ text @d150 2 a151 2 260/264 206 d153 3 a155 3 176 195 251 d159 1 a159 1 188 d164 1 a164 1 5 d167 3 a169 3 34 61 32 d180 1 a180 1 d193 2 a194 2 22 36 d198 4 a201 4 12 19 68 32 d208 7 a214 7 10 11 20 11 11 24 23 d3963 43 a4005 1 265 Finis (). d4008 1 a4008 1 OK d4018 3 d4114 3 a4116 2 265 op(500, xfy, {}). permission_error(create, operator, {}). @ 1.155 log @*** empty log message *** @ text @d152 1 a152 1 189 d154 4 a157 4 194 252 200 186 d166 1 a166 1 29 d195 1 a195 1 35 d208 1 a208 1 9 d211 3 a213 3 10 10 23 d2759 1 a2759 1 syntax err. d2761 8 a2768 8 OK new X = -1 reg waits OK OK OK waits waits @ 1.154 log @*** empty log message *** @ text @d131 1 a131 1
6.3.0-54 d4069 2 a4070 7 244 writeq('$VAR'(-1)). 245 writeq('$VAR'(-2)). 246 writeq('$VAR'(x)). 247 writeq('\0\'). 248 writeq(- (1~2)). 249 writeq(1~2). pp: - ~(1,2) @ 1.153 log @Test case from Michael Hanus @ text @d150 1 a150 1 259/263 d154 4 a157 4 193 251 199 185 d194 2 a195 2 35 34 d200 2 a201 2 67 31 @ 1.152 log @IF/Prolog updates @ text @d3949 15 a3963 1 264 Finis (). @ 1.151 log @B & YAP updates @ text @d151 1 a151 1 192+ @@@@ d193 1 a193 1 21 d207 1 a207 1 14 d1401 1 a1401 1 @@@@@@ d1584 1 a1584 1 @@@@@@ d1598 1 a1598 1 @@@@@@ d1654 1 a1654 1 @@@@@@ d2536 1 a2536 1 @@@@@@ d2732 1 a2732 1 @@@@@@ d2984 1 a2984 1 @@@@@@ d2998 1 a2998 1 @@@@@@ d3012 1 a3012 1 @@@@@@ d3629 1 a3629 1 @@@@@@ d3867 1 a3867 1 @@@@@@ d3881 1 a3881 1 @@@@@@ d3895 1 a3895 1 @@@@@@ d3909 1 a3909 1 @@@@@@ d3921 3 a3923 3 254  /**/ writeq(0ol 2). 0 ol 2 @@@@@@ d3937 1 a3937 1 @@@@@@ @ 1.150 log @GNU changes recent regressions @ text @d133 1 a133 1
6.3.2 d135 1 a135 1
7.5#9 d150 4 a153 4 257/261 191+ @@@@@@ 187 176 d155 5 a159 5 249 197 183 129 186 d167 1 a167 1 36 d181 2 a182 2 9 d195 1 a195 1 30 d209 1 a209 1 12 d237 2 a238 2 41 28 d261 1 a261 1 writeq/1 OK d267 1 a267 1 yes d317 14 d500 1 a500 1 e.g. '\a' or '\7\' d514 1 a514 1 e.g. '\a' or '\7\' d545 1 a545 1 '\177' d559 1 a559 1 '\033\' new d570 1 a570 1 e.g. '\33\' or '\x1b\' d1401 1 a1401 1 @@@@@@ d1584 1 a1584 1 @@@@@@ d1598 1 a1598 1 @@@@@@ d1654 1 a1654 1 @@@@@@ d1866 1 a1866 1 OK new d2114 1 a2114 1 98 X = [] (1). d2119 1 a2119 1 OK d2536 1 a2536 1 @@@@@@ a2546 2 a2560 1 d2590 14 d2732 1 a2732 1 @@@@@@ d2734 1 a2734 1 sy._e.(..) d2819 1 a2819 1 {-((=)xf1)} d2984 1 a2984 1 @@@@@@ d2998 1 a2998 1 @@@@@@ d3012 1 a3012 1 @@@@@@ d3164 1 a3164 1 157 op(0,xfy,:-),
current_op(P,xfx,:-). d3207 1 a3207 1 e.g. f f 0 or 0 f f d3629 1 a3629 1 @@@@@@ d3660 1 a3660 1 +(_2f0,_2f0) d3867 1 a3867 1 @@@@@@ d3879 14 d3895 1 a3895 1 @@@@@@ d3909 1 a3909 1 @@@@@@ d3923 1 a3923 1 @@@@@@ d3937 1 a3937 1 @@@@@@ d3949 1 a3949 15 261 )
'
syntax err. OK OK OK OK waits OK OK OK OK 262 Finis (). d3953 2 a3954 2 OK OK @ 1.149 log @*** empty log message *** @ text @d137 1 a137 1
1.4.0 d150 10 a159 10 254/258 189+ @@@@@@ 184 173 190 252 194 180 126 183 d166 1 a166 1 30 d168 2 a169 2 63 34 d176 14 d194 1 a194 1 34 d209 7 a215 7 11 19 4 9 22 22 1 d559 1 a559 1 '\033 reg d617 1 a617 1 OK d1022 1 a1022 1 F = (.), A = 2. d2428 1 a2428 1 OK new d2442 1 a2442 1 OK d2456 1 a2456 1 OK d2470 1 a2470 1 OK new d2697 1 a2697 1 OK new d2711 1 a2711 1 sy._e.(..) d2725 1 a2725 1 OK d3622 1 a3622 1 +(_17,_18) d3636 1 a3636 1 +(_17,_17) d3853 1 d3867 1 d3881 1 d3895 1 d3910 1 a3910 1 261 Finis (). d3916 15 a3930 1 OK @ 1.148 log @*** empty log message *** @ text @d150 10 a159 10 239/243 187 177 167 183 243 188 172 119 170 d180 8 a187 8 31 25 14 0 11 18 63 29 d194 7 a200 7 4 7 14 0 4 17 18 d212 2 a213 2 16 15 d225 3 a227 3 0 24 20 d1371 15 d1556 1 a1556 1 @@@@@@ d1570 1 a1570 1 @@@@@@ d1626 1 a1626 1 @@@@@@ d2508 1 a2508 1 @@@@@@ d2691 14 d2887 1 a2887 1 255  /**/ writeq(ok).%
1 = X. d2945 1 a2945 1 @@@@@@ d2959 1 a2959 1 @@@@@@ d2973 1 a2973 1 @@@@@@ d3590 1 a3590 1 @@@@@@ d3828 1 a3828 1 @@@@@@ d3841 1 a3841 1 @@@@@@ d3854 1 a3854 1 @@@@@@ d3867 1 a3867 1 @@@@@@ d3880 1 a3880 1 @@@@@@ d3892 1 a3892 1 258 Finis (). d3895 1 a3895 1 OK d3897 1 a3897 1 OK @ 1.147 log @New ugly cases, discussion with Per Mildner @ text @d1539 1 a1539 1 248  /**/ writeq(- (1~2)). d1548 1 a1548 1 @@@@@@ d1562 1 a1562 1 @@@@@@ d1609 14 d2282 1 a2282 1 succeeds d2287 2 a2288 2 X = 'a' X = 'a' d2478 1 a2478 1 e.g. 102 f d2491 16 d2858 1 a2858 1 255  /&&/ writeq(ok).%
1 = X. d2903 2 a2904 2 A A d2909 1 a2909 1 @@@@@@ d2923 1 a2923 1 @@@@@@ d2937 1 a2937 1 @@@@@@ d2951 1 a2951 1 @@@@@@ d3568 1 a3568 1 '' @@@@ d3797 1 a3797 1 251 op(9,yfx,[bop,bo,b,ol,xor]).
writeq(0bop 2). d3801 1 a3801 1 OK d3803 1 a3803 1 OK d3806 1 a3806 1 @@@@@@ d3819 1 a3819 1 @@@@@@ d3832 1 a3832 1 @@@@@@ d3845 1 a3845 1 @@@@@@ d3858 1 a3858 1 @@@@@@ d3863 1 a3863 1 256 Finis (). @ 1.146 log @After going through prolog.parser @ text @d808 1 a808 1 '.'(a,[]) 8.14.2.4 ex2 d1526 1 a1526 1 - (1~2~3) or - (1)~2~3 d1529 3 a1531 3 - (1)~2~3 new - (1~2~3) new - (1~2~3) new d1652 1 a1652 1 p._e.(m.,op.,',') d1666 1 a1666 1 p._e.(m.,op.,',') or
p._e.(c.,op.,',') d1680 1 a1680 1 p._e.(c., op.,'|') * d1684 1 a1684 1 p._e.(m.,op.,'|') d2072 1 a2072 1 do._e.(op._sp.,yfy) d2777 1 a2777 1 OK new d2828 14 d3071 1 a3071 1 p._e.(m.,op.,:-) d3081 1 a3081 1 p._e.(m.,op.,',') d3539 1 a3539 1 ._e. d3767 4 a3770 4 251 op(400,yfx,bop).
writeq(0bop 2). OK d3772 1 a3772 1 OK d3774 42 a3815 3 OK OK OK d3819 10 a3828 11 251 Finis (). syntax err. OK OK OK OK OK OK OK OK d3833 1 a3833 1 251 Finis (). @ 1.145 log @Jan Burse: #240 fixed @ text @d1539 28 d2856 56 d3515 14 d3753 29 a3781 1 244 Finis (). d3806 1 d3870 24 @ 1.144 log @Back to business @ text @d3641 1 a3641 1 240  /**/ write_canonical((a>). @ 1.143 log @Bigupdate (Achtung! Nicht die echte Fassung) @ text @d157 1 a157 1 134 d185 1 a185 1 16 d199 1 a199 1 10 d213 1 a213 1 12 d227 1 a227 1 16 d437 1 a437 1 XXX d521 1 a521 1 XXX d661 1 a661 1 XXX d675 1 a675 1 XXX d689 1 a689 1 XXX d703 1 a703 1 XXX d843 1 a843 1 XXX d1113 1 a1113 1 XXX d1127 1 a1127 1 XXX d1393 1 a1393 1 XXX d1491 1 a1491 1 XXX d1505 1 a1505 1 XXX d1519 1 a1519 1 XXX d1533 1 a1533 1 XXX d1687 1 a1687 1 XXX d2317 1 a2317 1 XXX d2331 1 a2331 1 XXX d2345 1 a2345 1 XXX d2359 1 a2359 1 XXX d2415 1 a2415 1 XXX d2429 1 a2429 1 XXX d2443 1 a2443 1 XXX d2457 1 a2457 1 XXX d2598 1 a2598 1 XXX d2612 1 a2612 1 XXX d2626 1 a2626 1 XXX d2794 1 a2794 1 XXX d3018 1 a3018 1 XXX d3032 1 a3032 1 XXX d3060 1 a3060 1 XXX d3187 1 a3187 1 XXX d3229 1 a3229 1 XXX d3313 1 a3313 1 XXX d3369 1 a3369 1 XXX d3383 1 a3383 1 XXX d3397 1 a3397 1 XXX d3411 1 a3411 1 XXX d3425 1 a3425 1 XXX d3439 1 a3439 1 XXX d3453 1 a3453 1 XXX d3467 1 a3467 1 XXX d3481 1 a3481 1 XXX d3495 1 a3495 1 XXX d3509 1 a3509 1 XXX d3523 1 a3523 1 XXX d3537 1 a3537 1 XXX d3551 1 a3551 1 XXX d3565 1 a3565 1 XXX d3579 1 a3579 1 XXX d3593 1 a3593 1 XXX d3607 1 a3607 1 XXX d3621 1 a3621 1 XXX d3635 1 a3635 1 XXX d3649 1 a3649 1 XXX d3663 1 a3663 1 XXX @ 1.142 log @color corr. @ text @d72 1 d76 1 d124 1 d126 5 a130 4 #
 Query 13211-1:1995
*: Cor. 2 IF
V5.1B SWI d132 1 a132 1 YAP d134 1 a134 1 B d136 1 a136 1 GNU d138 1 a138 1 SICStus d140 3 a142 3 MINERVA
2.4 XSB
3.3.1 Ciao d145 2 d150 7 a156 7 231/235 179 173 162 181 236 184 d158 2 a159 2 118 165 d184 1 a184 1 10 d186 2 a187 2 62 28 d194 3 a196 3 2 7 10 d200 1 a200 1 14 d222 3 a224 3 28 39 27 d226 1 a226 1 22 d228 2 a229 2 28 39 d437 1 a437 1 XXX d513 14 d661 1 a661 1 XXX d675 1 a675 1 XXX d689 1 a689 1 XXX d703 1 a703 1 XXX d765 1 a765 1 31 writeq(f(;,'|',';;')). d793 1 a793 1 33 writeq((a :- b,c)). d843 1 a843 1 XXX d1113 1 a1113 1 XXX d1127 1 a1127 1 XXX d1393 1 a1393 1 XXX d1491 1 a1491 1 XXX d1505 1 a1505 1 XXX d1519 1 a1519 1 XXX d1533 1 a1533 1 XXX d1687 1 a1687 1 XXX d2317 1 a2317 1 XXX d2331 1 a2331 1 XXX d2345 1 a2345 1 XXX d2359 1 a2359 1 XXX d2415 1 a2415 1 XXX d2429 1 a2429 1 XXX d2443 1 a2443 1 XXX d2457 1 a2457 1 XXX d2598 1 a2598 1 XXX d2612 1 a2612 1 XXX d2626 1 a2626 1 XXX d2794 1 a2794 1 XXX d3018 1 a3018 1 XXX d3032 1 a3032 1 XXX d3060 1 a3060 1 XXX d3187 1 a3187 1 XXX d3229 1 a3229 1 XXX d3313 1 a3313 1 XXX d3369 1 a3369 1 XXX d3383 1 a3383 1 XXX d3397 1 a3397 1 XXX d3411 1 a3411 1 XXX d3425 1 a3425 1 XXX d3439 1 a3439 1 XXX d3453 1 a3453 1 XXX d3467 1 a3467 1 XXX d3481 1 a3481 1 XXX d3495 1 a3495 1 XXX d3509 1 a3509 1 XXX d3523 1 a3523 1 XXX d3537 1 a3537 1 XXX d3551 1 a3551 1 XXX d3559 1 a3559 1 @@@@@@ d3565 1 a3565 1 XXX d3573 1 a3573 1 @@@@@@ d3579 1 a3579 1 XXX d3587 1 a3587 1 @@@@@@ d3593 1 a3593 1 XXX d3601 1 a3601 1 @@@@@@ d3607 1 a3607 1 XXX d3613 15 a3627 1 240  /**/ write_canonical(a>). d3629 15 a3643 1 @@@@@@ d3649 1 a3649 1 XXX d3655 1 a3655 1 241 Finis (). d3663 1 a3663 1 XXX d3742 1 @ 1.141 log @infix/postix operators Jan Burse @ text @d3530 1 a3530 1 1=(f) @ 1.140 log @XSB difference. Original example from Graham Thwaites on comp.lang.prolog @ text @d3539 1 a3539 1 @@@@@@ d3551 57 a3607 1 237 Finis (). d3610 1 a3610 1 OK d3612 1 a3612 1 OK @ 1.139 log @*** empty log message *** @ text @d64 2 a65 1 .codx { background: #f0f2f9 } d124 1 a124 1 13211-1:1995
*: Cor. 2 d146 5 a150 5 172 161 180 235 183 d153 1 a153 1 164 d180 1 a180 1 61 d3536 13 d3551 1 a3551 1 236 Finis (). @ 1.138 log @*** empty log message *** @ text @d144 1 a144 1 178 d214 1 a214 1 19 d3510 1 a3510 1 @@@@@@ d3524 1 a3524 1 @@@@@@ @ 1.137 log @New more precise cases - Jan Burse @ text @d126 1 a126 1
6.1.9-14 d145 1 a145 1 171 d159 1 a159 1 29 d173 1 a173 1 32 d2950 1 a2950 1 P = 1200 @ 1.136 log @*** empty log message *** @ text @d143 7 a149 7 227/231 176 168 159 177 231 179 d151 2 a152 2 117 161 d179 1 a179 1 60 d207 1 a207 1 12 d215 3 a217 3 27 37 26 d221 2 a222 2 27 38 d3480 15 a3494 1 232 Finis (). d3507 13 d3521 28 @ 1.135 log @YAP regression and further cases @ text @d143 7 a149 7 223/227 174 167 157 175 229 177 d151 2 a152 2 116 160 d215 1 a215 1 26 d221 2 a222 2 26 37 d3452 1 a3452 1 230 Finis (). d3461 28 @ 1.134 log @SWI added new @ text @d144 6 a149 6 172 165 164 173 227 175 d174 1 a174 1 17 d188 1 a188 1 8 d215 2 a216 2 24 35 d222 1 a222 1 35 d524 1 a524 1 '\033\' new d664 1 a664 1 OK d678 1 a678 1 OK d692 1 a692 1 OK new d734 1 a734 1 OK d744 1 a744 1 31 writeq(f(;,'|',';;')). d772 1 a772 1 33 writeq((a :- b,c)). d790 1 a790 1 OK new d860 1 a860 1 OK d874 1 a874 1 OK d902 1 a902 1 OK d918 1 a918 1 OK d2040 1 a2040 1 OK d2152 1 a2152 1 OK new d2559 1 a2559 1 sy._e.(..) d2615 1 a2615 1 X = -1 d2671 1 a2671 1 {-(=)xf1} d3200 14 d3218 1 a3218 1 9.8..e-324 d3438 15 a3452 1 228 Finis (). @ 1.133 log @SWI progress @ text @d411 1 a411 1 OK d425 1 a425 1 OK d439 1 a439 1 OK d551 1 a551 1 OK d649 1 a649 1 OK d2095 1 a2095 1 OK d2109 1 a2109 1 OK d2614 1 a2614 1 OK @ 1.132 log @*** empty log message *** @ text @d126 1 a126 1
6.1.3 d145 1 a145 1 157 d159 1 a159 1 21 d215 1 a215 1 34 d411 1 a411 1 ' ' d425 1 a425 1 ' \n' d439 1 a439 1 '\t' d551 1 a551 1 C = 100 d649 1 a649 1 X = 46. d2095 1 a2095 1 X = '9' d2109 1 a2109 1 X = 'N' d2614 1 a2614 1 X = 32 @ 1.131 log @SWI progress @ text @d143 2 a144 2 221/225 170 d147 3 a149 3 171 225 173 d151 2 a152 2 114 158 d201 2 a202 2 0 1 d229 2 a230 2 yes yes d3396 29 a3424 1 226 Finis (). d3427 1 a3427 1 OK d3429 1 a3429 1 OK d3437 2 d3505 9 @ 1.130 log @Clarification for , @ text @d145 1 a145 1 153 d159 1 a159 1 17 d173 1 a173 1 33 d201 1 a201 1 3 d1353 1 a1353 1 -(a,b) d1367 1 a1367 1 -(1*2) d1395 1 a1395 1 -(-) d2684 1 a2684 1 -(a*b) @ 1.129 log @SWI update - thanks to Jan Burse @ text @d1617 1 a1617 1 p._e.(m.,op.,',') d3422 7 @ 1.128 log @YAP, MINERVA @ text @d126 1 a126 1
6.1.2 d145 1 a145 1 155 d173 1 a173 1 31 d1297 1 a1297 1 -(1) d1325 1 a1325 1 -(-1) d1353 1 a1353 1 OK d1395 1 a1395 1 OK d2684 1 a2684 1 OK @ 1.127 log @YAP progress @ text @d178 1 a178 1 18 d206 1 a206 1 10 d1326 1 a1326 1 OK new d2745 1 a2745 1 1 '.' 2 d2759 1 a2759 1 1 '.' [] @ 1.126 log @SWI progress @ text @d146 1 a146 1 160 d160 1 a160 1 30 d174 1 a174 1 19 d202 1 a202 1 3 d244 1 a244 1 #135 d1326 1 a1326 1 --1 d1339 1 a1339 1 - 1^2 new d1354 1 a1354 1 OK d1396 1 a1396 1 -(-) d3105 1 a3105 1 p._e.(c.,o.,'|') d3119 1 a3119 1 a '|' b d3288 1 a3288 1 a-->b,c '|' d @ 1.125 log @wording correct -> OK @ text @d126 1 a126 1
5.11.20 d145 1 a145 1 154 d159 1 a159 1 16 d201 1 a201 1 4 d3287 1 a3287 1 a-->b,c'|'d @ 1.124 log @YAP! @ text @d226 1 a226 1 write_canonical/1 correct d240 1 a240 1 writeq/1 correct @ 1.123 log @Prior announcement on comp.lang.prolog @ text @d146 1 a146 1 157 d160 1 a160 1 27 d174 1 a174 1 20 d202 1 a202 1 5 d1298 1 a1298 1 -(1) d1326 1 a1326 1 OK d1340 3 a1342 3 -1^2 OK new OK new d1494 1 a1494 1 - -(1) d1505 1 a1505 1 - (1~2~3) d1508 3 a1510 3 -1~2~3 OK new OK new d2615 1 a2615 1 waits d3417 1 a3417 1 * including approved DTC2 @ 1.122 log @*** empty log message *** @ text @d123 1 a123 1 13211-1:1995
*: DTC2 d143 2 a144 2 214/218 169 d148 2 a149 2 230 172 d151 1 a151 1 113 d158 1 a158 1 d160 1 a160 1 26 d163 2 a164 2 d166 1 a166 1 d172 1 a172 1 20 d174 4 a177 4 21 13 0 9 d179 2 a180 2 56 25 d189 2 a190 2 9 0 d204 1 a204 1 0 d218 1 a218 1 0 d227 10 a236 10 yes #18 yes yes #172 yes #18 #18 #1, #172 #1 d241 10 a250 10 #33 #135 #156 #135 #18 yes #27 #135 #1 #1 d1326 1 a1326 1 OK d1337 1 a1337 1 - (1^2) d3205 1 a3205 1 0.0 d3209 1 a3209 1 0.0000 d3389 1 a3389 1 '\x0' @ 1.121 log @*** empty log message *** @ text @d228 1 a228 1 #17 d230 1 a230 1 #17 d233 2 a234 2 #17 #17 d3382 15 a3396 1 225 Finis (). @ 1.120 log @*** empty log message *** @ text @d146 1 a146 1 155 d160 1 a160 1 24 d174 1 a174 1 27 d202 1 a202 1 3 d216 1 a216 1 34 d510 1 a510 1 '\033' d524 1 a524 1 '\033' d1298 1 a1298 1 -1 d1494 1 a1494 1 - -1 d2152 1 a2152 1 fails @ 1.119 log @*** empty log message *** @ text @d144 6 a149 6 164 147 152 166 218 167 d151 2 a152 2 109 154 d226 14 a253 14 write_canonical/1 correct yes #17 yes #17 #172 yes #17 #17 #1, #172 #1 @ 1.118 log @*** empty log message *** @ text @d128 1 a128 1
6.3.1 d240 14 d3368 2 a3369 2 224 Finis (). syntax err. d3381 14 @ 1.117 log @Further YAP progress @ text @d158 1 a158 1 d163 2 a164 2 d166 1 a166 1 @ 1.116 log @YAP progress @ text @d160 1 a160 1 21 d3288 1 a3288 1 waits d3302 1 a3302 1 waits @ 1.115 log @writeq summary @ text @d128 1 a128 1
6.2.0 d146 1 a146 1 137 d160 1 a160 1 10 d174 1 a174 1 32 d188 1 a188 1 6 d216 1 a216 1 40 d342 1 a342 1 waits d356 1 a356 1 waits d468 1 a468 1 '\a\a' d496 1 a496 1 '\033' d510 1 a510 1 waits d552 1 a552 1 waits d566 1 a566 1 waits d608 1 a608 1 ex._e.(..) d1256 1 a1256 1 sy._e.(..) d1270 1 a1270 1 sy._e.(..) d2040 1 a2040 1 waits d2054 1 a2054 1 succeeds d2068 1 a2068 1 X = aa d2124 1 a2124 1 X = ... d2138 1 a2138 1 waits d2166 1 a2166 1 waits d2208 1 a2208 1 sy._e.(..) d2236 1 a2236 1 waits d2250 1 a2250 1 waits d2489 1 a2489 1 X = 16 d2503 1 a2503 1 waits d2517 1 a2517 1 waits d2545 1 a2545 1 waits d2559 1 a2559 1 waits d3288 1 a3288 1 OK d3302 1 a3302 1 syn. e. @ 1.114 log @*** empty log message *** @ text @d226 14 d661 3 a663 3 ((:-):-(:-)) ((:-) :- (:-)) ((:-):- (:-)) d667 1 a667 1 ((:-):- :-) d670 1 a670 1 ((:-):- :-) d3413 15 @ 1.113 log @Corr. @ text @d198 1 a198 1 syntax deviations @ 1.112 log @Corr. @ text @d641 1 a641 1 - - - @ 1.111 log @*** empty log message *** @ text @d646 1 a646 1 223 writeq(((:-):-(:-))). @ 1.110 log @*** empty log message *** @ text @d632 28 d667 1 a667 1 * = * 4.1 d3340 1 a3340 1 222 Finis (). d3365 1 a3365 1 4.1 reported to be fixed in SICStus 4.1 @ 1.109 log @*** empty log message *** @ text @d888 1 a888 2 42 op(1,xf,xf1).
1xf1 = xf1(1). d986 1 a986 2 49 op(9,xf,e9).
1e9 = e9(1). d1000 1 a1000 2 50 op(9,xf,e).
1e-9 = -(e(1),9). d1056 1 a1056 2 52 op(9,xfy,e).
1.2e 3 = e(X,Y). d2401 1 a2401 2 122 op(100,xfx,'1').
functor(2'1'y, F, A). d2709 14 d3312 1 a3312 1 221 Finis (). @ 1.108 log @Clarification for /**/ @ text @d95 1 a95 1 For queries marked /**/ the preceding query which does not contain d222 1 a222 1 35 d1045 14 d3303 1 a3303 1 220 Finis (). @ 1.107 log @#219 for Jekejeke @ text @d93 4 a96 1 sent as input to read(X),X. d175 1 a175 1 12 d189 1 a189 1 10 d2467 1 a2467 1 t._a.(..) d3309 1 d3311 1 a3311 1 ** including/ignoring yet to be written DTC3 @ 1.106 log @Bug found during Jekejeke testing @ text @d1589 14 d3286 1 a3286 1 219 Finis (). @ 1.105 log @*** empty log message *** @ text @d871 1 a871 1 41 '\\' = (\). d880 1 a880 1 syn. e. @ 1.104 log @*** empty log message *** @ text @d127 1 a127 1
7.5#3_1 d144 1 a144 1 165 d158 1 a158 1 62 d173 2 a174 2 0 0 d187 1 a187 1 0 d200 2 a201 2 5 0 d215 1 a215 1 0 d1776 1 a1776 1 =(-,-(1)) d3024 1 a3024 1 a '|' b d3193 1 a3193 1 a-->b,c '|' d @ 1.103 log @*** empty log message *** @ text @d140 1 a140 1 216/218 d144 1 a144 1 166 d148 1 a148 1 110 d169 1 a169 1 19 d172 1 a172 1 11 d174 4 a177 4 8 17 47 21 d196 1 a196 1 2 d211 1 a211 1 20 d216 4 a219 4 23 17 34 39 d288 2 a289 2 ' ' ' ' d316 2 a317 2 '
' '
' d386 1 a386 1 '\ ' d401 1 a401 1 '
' d414 1 a414 1 '\ ' d470 1 a470 1 '\ca' d477 1 a477 1 '\e' d482 4 a485 4 '\e' '\u001b' '\e' '^[' d714 1 a714 1 a:-b,c d923 1 a923 1 succeeds d951 1 a951 1 succeeds d1500 1 a1500 1 OK (with fx) d1566 1 a1566 1 p._e.(m.,op.,'|') d2522 1 a2522 1 sy._.e(..) d3024 1 a3024 1 a | b d3189 1 a3189 1 a --> b, c | d * @ 1.102 log @*** empty log message *** @ text @d176 1 a176 1 46 d218 1 a218 1 35 d540 1 a540 1 '\u1' @ 1.101 log @New case @ text @d66 4 a69 3 .badm { background: #ffe4e4 } /* misinterpretation */ .badr { background: #ffe4e4 } /* rejection */ .badx { background: #ffe4e4 } /* extension */ d100 1 a100 2 incompatible between systems. For this reason, they are flagged red. d138 1 a138 1 d140 5 a144 5 217/218 163 143 134 167 d146 4 a149 4 166 148 107 153 d152 1 a152 1 d167 6 a172 6 misinterpretations 1 15 29 18 35.. d174 2 a175 2 21 22 d177 1 a177 1 16 d181 1 a181 1 rejections d184 3 a186 3 3 20 19.. d190 16 a205 2 23 6 d209 1 a209 1 extensions d211 4 a214 4 25 38 43 27.. d216 4 a219 4 24 22 38 42 d232 2 a233 2 '
' '
' d281 4 a284 4 '\t' '\t' '\t' '\t' d287 3 a289 3 '\t' ' ' ' ' d295 4 a298 4 succeeds succeeds succeeds succeeds d301 3 a303 3 succeeds fails succeeds d310 3 a312 3 '\n' '\n' '\n' d316 2 a317 2 '
' '
' d325 1 a325 1 waits d329 1 a329 1 sy._e.(..) d339 1 a339 1 waits d343 1 a343 1 sy._e.(..) d357 1 a357 1 sy._e.(..) d366 2 a367 2 ab ab d371 2 a372 2 sy._e.(..) ab d380 2 a381 2 ' ' ' ' d386 2 a387 2 '\ ' '' d394 2 a395 2 ' \n' ' \n' d400 2 a401 2 '\
' '
' d408 2 a409 2 '\t' '\t' d414 2 a415 2 '\ ' '' d428 2 a429 2 ' ' ' ' d441 3 a443 3 '\u0007' '' '' d451 1 a451 1 '\a\a' d455 3 a457 3 '\u0007' '\' '' d464 2 a465 2 a c d470 2 a471 2 '\ca' a d477 3 a479 3 '\e' '\033\' '\033' d482 4 a485 4 '\e' '\u001b' '\e' '^[' d491 1 a491 1 '\e' d493 2 a494 2 waits '^[' d496 4 a499 4 '\e' '\u001b' '' '^[' d505 3 a507 3 C = 27 C = 27 C = 27 d510 4 a513 4 C = 27 C = 27 fails C = 27 d520 2 a521 2 C = 100 C = 127 d524 1 a524 1 C = 127 d526 2 a527 2 fails C = 127 d535 1 a535 1 waits d540 2 a541 2 '\u1' u1 d549 1 a549 1 waits d591 1 a591 1 ex._e.(..) d595 1 a595 1 ex._e.(..) d618 2 a619 2 X = 46. X = 46. d624 2 a625 2 X = 92. X = 46. d636 1 a636 1 * = * 4.1 d638 2 a639 2 * = * * = * d651 1 a651 1 [(:-),(-)] d665 1 a665 1 f((*)) d693 2 a694 2 f((';'),'|',';;') f(';','|',';;') d722 1 a722 1 (a :- b ',' c) d735 2 a736 2 [a] [a] d757 1 a757 1 waits d799 1 a799 1 syn. e. d806 1 a806 1 fails d820 1 a820 1 fails d827 1 a827 1 syn. e. d841 1 a841 1 syn. e. d848 1 a848 1 waits d857 1 a857 1 syn. e. d864 1 a864 1 waits d880 1 a880 1 syn. e. d923 1 a923 1 succeeds d937 1 a937 1 sy._e.(...) d946 1 a946 1 fails d951 1 a951 1 succeeds d958 3 a960 3 succeeds succeeds succeeds d964 1 a964 1 succeeds d972 1 a972 1 succeeds d987 3 a989 3 fails fails fails d993 1 a993 1 fails d1002 3 a1004 3 fails fails fails d1008 1 a1008 1 fails d1016 1 a1016 1 fails d1019 1 a1019 1 sy._e.(..) d1023 1 a1023 1 sy._e.(..) d1030 1 a1030 1 1 d1045 1 a1045 1 sy._e.(..) d1048 1 a1048 1 sy._e.(..) d1052 1 a1052 1 sy._e.(..) d1088 1 a1088 1 fails d1101 2 a1102 2 fails fails d1115 2 a1116 2 fails fails d1130 1 a1130 1 fails d1143 1 a1143 1 succeeds d1157 2 a1158 2 fails fails d1171 1 a1171 1 fails d1201 1 a1201 1 sy._e.(..) d1214 2 a1215 2 sy._e.(..) sy._e.(..) d1227 3 a1229 3 - 1 -(1) -1 d1232 4 a1235 4 -(1) - 1 -1 -(1) d1248 1 a1248 1 -1 d1256 1 a1256 1 -(-1) d1258 1 a1258 1 - (-1) d1260 1 a1260 1 -(-1) d1262 2 a1263 2 --1 -(-1) d1269 3 a1271 3 - 1 ^ 2 - 1^2 new -1^2 d1274 4 a1277 4 -(1^2) - 1 ^ 2 -(1 ^ 2) -1^2 d1282 1 a1282 1 - (a,b) d1288 1 a1288 1 -((a,b)) d1290 1 a1290 1 -(a ',' b) d1298 1 a1298 1 -(1*2) d1300 1 a1300 1 - ( (1*2)) d1302 1 a1302 1 -(1*2) d1304 1 a1304 1 -(1 * 2) d1316 1 a1316 1 -(a) d1327 2 a1328 2 -(-) -(-) d1330 1 a1330 1 -(-) d1332 1 a1332 1 -- d1344 2 a1345 2 -([-]) - [(-)] d1358 1 a1358 1 -(p(c)) d1372 1 a1372 1 -({}) d1374 1 a1374 1 -'{}' d1380 1 a1380 1 -{a} ** d1386 1 a1386 1 -({a}) d1400 1 a1400 1 -(-(a)) d1402 1 a1402 1 -(-a) d1414 1 a1414 1 -(-(-(a))) d1416 1 a1416 1 -(-(-a)) d1426 1 a1426 1 - (- (1)) d1428 4 a1431 4 -(-(1)) XXX -(-1) - -(1) d1437 3 a1439 3 - 1 ~ 2 ~ 3 - 1~2~3 -1~2~3 d1441 2 a1442 2 - (1~2~3) -(1~2~3) d1444 2 a1445 2 -1 ~ 2 ~ 3 -1~2~3 d1457 1 a1457 1 sy._e.(..) d1466 1 a1466 1 fails d1470 1 a1470 1 fails d1484 1 a1484 1 fails d1494 1 a1494 1 fails d1498 1 a1498 1 fails d1521 1 a1521 1 X=[a|(b,c)] d1541 1 a1541 1 succeeds d1543 1 a1543 1 succeeds d1555 1 a1555 1 succeeds d1563 1 a1563 1 succeeds d1568 4 a1571 4 succeeds succeeds succeeds succeeds d1585 1 a1585 1 X=[(a|b)] d1591 1 a1591 1 X=[a|(b|c)] d1599 1 a1599 1 X=[(a|b|c)] d1606 1 a1606 1 fails d1622 1 a1622 1 succeeds d1624 1 a1624 1 succeeds d1627 1 a1627 1 succeeds d1634 1 a1634 1 succeeds d1636 1 a1636 1 succeeds d1638 1 a1638 1 succeeds d1640 2 a1641 2 succeeds succeeds d1647 9 a1655 9 succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds d1668 1 a1668 1 fails d1681 2 a1682 2 fails fails d1696 1 a1696 1 fails d1703 4 a1706 4 succeeds succeeds succeeds succeeds d1708 2 a1709 2 succeeds succeeds d1711 1 a1711 1 succeeds d1717 9 a1725 9 succeeds succeeds succeeds succeeds OK succeeds succeeds fails succeeds d1731 4 a1734 4 succeeds succeeds succeeds succeeds d1736 2 a1737 2 succeeds succeeds d1739 1 a1739 1 succeeds d1747 2 a1748 2 succeeds succeeds d1750 1 a1750 1 succeeds d1753 1 a1753 1 succeeds d1759 9 a1767 9 succeeds fails succeeds succeeds OK succeeds succeeds fails succeeds d1773 9 a1781 9 -(-(=),1) =(-,-(1)) -(-(=),1) =(-,-(1)) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) d1787 9 a1795 9 -(-(=),1) =(-,-1) -(-(=),1) -(-(=),1) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) d1803 2 a1804 2 -(;) -((';')) d1806 4 a1809 4 -(;) -(';') -(';') -(;) d1815 2 a1816 2 ;(-,-) ;(-,-) d1818 1 a1818 1 ;(-,-) d1820 1 a1820 1 ;(-,-) d1823 1 a1823 1 ;(-,-) d1829 1 a1829 1 ;(:-,-) d1832 1 a1832 1 ;(:-,-) d1834 1 a1834 1 ;(:-,-) d1837 1 a1837 1 ;(:-,-) d1844 3 a1846 3 succeeds fails fails d1848 1 a1848 1 fails d1851 1 a1851 1 fails d1858 1 a1858 1 [a,b|','] d1872 1 a1872 1 X = {','}. d1892 1 a1892 1 sy._e.(..) d1906 1 a1906 1 '{}'(1) d1920 1 a1920 1 sy._e.(..) d1929 1 a1929 1 X = [](1) d1935 1 a1935 1 X = [](1) d1947 1 a1947 1 succ./no eff. d1962 1 a1962 1 waits d1971 1 a1971 1 waits d1976 1 a1976 1 fails d1984 2 a1985 2 succeeds succeeds d1990 2 a1991 2 succeeds waits d1999 1 a1999 1 X = aa d2004 1 a2004 1 X = aa d2012 2 a2013 2 X = '9' X = '9' d2018 2 a2019 2 X = '\\9' X = '9' d2026 2 a2027 2 X = 'N' X = 'N' d2032 2 a2033 2 X = '\\N' X = 'N' d2039 4 a2042 4 X = (\) X = (\) X = (\) X = (\) d2044 4 a2047 4 X = (\) X = (\) X = (\) X = (\) d2055 1 a2055 1 X = ... d2060 2 a2061 2 X = ... halts d2069 1 a2069 1 waits d2074 1 a2074 1 fails d2083 1 a2083 1 Cs = [256] d2088 1 a2088 1 Cs = [] d2102 2 a2103 2 Cs = [] Cs = [1] d2109 4 a2112 4 succeeds succeeds succeeds succeeds d2116 2 a2117 2 succeeds succeeds d2123 4 a2126 4 succeeds succeeds succeeds succeeds d2130 2 a2131 2 succeeds succeeds d2137 4 a2140 4 sy._e.(..) waits sy._e.(..) sy._e.(..) d2144 2 a2145 2 waits waits d2167 1 a2167 1 waits d2181 1 a2181 1 waits d2186 1 a2186 1 fails d2194 2 a2195 2 succeeds succeeds d2200 2 a2201 2 succeeds succeeds d2242 1 a2242 1 0 d2249 4 a2252 4 sy._e.(..) 39 39 sy._e.(..) d2254 1 a2254 1 sy._e.(..) d2256 2 a2257 2 39 39 d2291 4 a2294 4 sy._e.(..) sy._e.(..) sy._e.(..) F= -1, A=0 d2296 4 a2299 4 sy._e.(..) sy._e.(..) sy._e.(..) sy._e.(..) d2308 1 a2308 1 102 d2312 1 a2312 1 102 d2322 1 a2322 1 syn. e. d2326 1 a2326 1 waits d2363 3 a2365 3 X = 1 X = 1 X = 1 d2369 2 a2370 2 X = 1 X = 1 d2378 3 a2380 3 waits waits sy._e.(..) d2384 2 a2385 2 sy._e.(..) waits d2391 1 a2391 1 repr. error d2393 1 a2393 1 sy._e.(..) d2398 1 a2398 1 fails d2405 3 a2407 3 repr. err. waits waits d2412 1 a2412 1 waits d2419 3 a2421 3 repr. err. waits X = 16 d2426 1 a2426 1 waits d2435 2 a2436 2 waits sy._e.(..) d2440 1 a2440 1 waits d2449 2 a2450 2 waits t._a.(..) d2454 1 a2454 1 sy._e.(..) d2477 2 a2478 2 waits sy._e.(..) d2482 1 a2482 1 sy._e.(..) d2491 2 a2492 2 waits waits d2496 1 a2496 1 sy._e.(..) d2503 4 a2506 4 repr. err. waits waits sy._e.(..) d2508 1 a2508 1 sy._e.(..) d2510 2 a2511 2 sy._e.(..) waits d2517 1 a2517 1 repr. err. d2522 1 a2522 1 sy._.e(..) d2532 1 a2532 1 X = 32 d2534 1 a2534 1 waits d2538 1 a2538 1 waits d2587 9 a2595 9 {- (=) xf1} { (-)= (xf1)} {-(=)xf1} {-((=)xf1)} OK {-(=xf1)} {}(- (=) xf1) {- = xf1} {- =xf1} d2606 1 a2606 1 -(a*b) d2608 1 a2608 1 -(a * b) d2622 1 a2622 1 \(a * b) d2631 1 a2631 1 P = 999 d2636 1 a2636 1 P = 661 d2663 2 a2664 2 1 '.' 2 syn. e. d2677 2 a2678 2 1 '.' [] syn. e. d2702 1 a2702 1 A d2714 1 a2714 1 yf(fy(1)) d2719 1 a2719 1 syn. e. d2727 9 a2735 9 fy(yf) fy(yf) fy(yf) fy(yf) OK fy(yf) fy(yf) yf(fy) fy(yf) d2747 1 a2747 1 fy yf(1) d2756 2 a2757 2 fy 1 yf fy 1 yf d2761 2 a2762 2 yf(fy 1) fy 1 yf d2770 1 a2770 1 yfx(fy(1),2) d2775 1 a2775 1 yfx(fy(1),2) d2798 2 a2799 2 fy 1 yfx 2 fy 1 yfx 2 d2803 2 a2804 2 fy 1 yfx 2 fy 1 yfx 2 d2812 1 a2812 1 yf(xfy(1,2)) d2817 1 a2817 1 syn. e. d2831 1 a2831 1 1 xfy yf(2) d2840 2 a2841 2 1 xfy 2 yf 1 xfy 2 yf d2845 2 a2846 2 yf(1 xfy 2) 1 xfy 2 yf d2854 1 a2854 1 P = 1200 d2856 1 a2856 1 p._e.(m.,op.,:-) d2860 1 a2860 1 P = 1200 d2873 1 a2873 1 succ./no eff. d2888 1 a2888 1 syn. e. d2929 1 a2929 1 syn. e. d2937 4 a2940 4 f(f) f(f) f(f) f(f) d2942 1 a2942 1 OK d2944 2 a2945 2 f(f) f(f) d2953 2 a2954 2 p(p(1,p),2) p(p(1,p),2) d2956 1 a2956 1 p(p(1,p),2) d2959 1 a2959 1 p(p(1,p),2) d2986 1 a2986 1 p(p(1,p),2) d3009 2 a3010 2 p._e.(c.,o.,'|') p._e.(m.,o.,'|') d3023 2 a3024 2 a '|' b a | b d3026 1 a3026 1 a;b d3028 1 a3028 1 (a ';' b) d3055 4 a3058 4 '.' '.' '.'('.') '.'. '.' '.' d3066 1 a3066 1 ('.')+('.') d3085 1 a3085 1 d._e.(p.,d.). d3099 2 a3100 2 [97] [97] d3120 1 a3120 1 re._e.(num.) d3128 1 a3128 1 fails d3175 1 a3175 1 syntax err. d3179 1 a3179 1 p._e.(m.,o.,'|') d3190 4 a3193 4 a --> b , c '|' d a-->b,c'|'d a-->b,c '|' d a-->b,c '|' d d3195 3 a3197 3 a-->b,c;d syn. e. (a --> b ',' c ';' d) d3205 1 a3205 1 waits d3219 2 a3220 2 waits syn. e. d3249 1 a3249 1 fails d3263 1 a3263 1 +('$a',b) @ 1.100 log @HTML-thing @ text @d140 2 a141 2 216/217 162 d143 1 a143 1 133 d145 1 a145 1 217 d149 1 a149 1 152 d1281 14 d3258 1 a3258 1 218 Finis (). d3263 1 a3263 1 OK @ 1.99 log @B-Prolog 7.5#3_1 @ text @d1398 1 a1398 1 - (- (1)) @ 1.98 log @C @ text @d127 1 a127 1
7.5#3 d144 1 a144 1 166 d158 1 a158 1 61 d1244 1 a1244 1 OK new d1258 1 a1258 1 -1^2 d1398 1 a1398 1 -- (1) d1412 1 a1412 1 -1~2~3 @ 1.97 log @HTML bug @ text @d140 1 a140 1 215/216 d145 1 a145 1 216 d149 1 a149 1 151 d3146 15 a3160 1 181 op(1105,xfy,'|').
writeq((a-->b,c|d)). d3165 1 a3165 1 p._e.(m.,o.,'|') d3244 1 a3244 1 217 Finis (). @ 1.96 log @New case for (-)/1! @ text @d66 3 a68 3 .badm { background: #ffe4e4 } .badr { background: #ffe4e4 } .badx { background: #ffe4e4 } @ 1.95 log @B-Prolog 7.5#3 @ text @d66 3 d140 1 a140 1 214/215 d145 1 a145 1 215 d169 4 a172 4 14 28 17 34.. d174 1 a174 1 20 d176 2 a177 2 45 15 d1393 14 d3230 1 a3230 1 216 Finis (). @ 1.94 log @B-Prolog 7.5#2.2 @ text @d124 1 a124 1
7.5#2.2.. d141 1 a141 1 164 d155 1 a155 1 59 d1213 1 a1213 1 -1 d1250 1 a1250 1 183 writeq(-(1^2)). d1451 1 a1451 1 succeeds d3218 1 a3218 1 OK @ 1.93 log @*** empty log message *** @ text @d124 1 a124 1
7.5#2.1.. d141 1 a141 1 154 d155 1 a155 1 49 d1213 1 a1213 1 -(1) d1241 1 a1241 1 -(-1) d1250 1 a1250 1 183 writeq(-(1^2)). d1255 1 a1255 1 -(1^2) d1269 1 a1269 1 -((a,b)) d1283 1 a1283 1 -(a) d1311 1 a1311 1 -([-]) d1325 1 a1325 1 -(p(c)) d1339 1 a1339 1 -({}) d1353 1 a1353 1 -({a}) d1367 1 a1367 1 -(-(a)) d1381 1 a1381 1 -(-(-(a))) d1395 1 a1395 1 -(1~2~3) d2559 1 a2559 1 -(a*b) @ 1.92 log @*** empty log message *** @ text @d3008 1 a3008 1 OK new @ 1.91 log @B-Prolog 7.5#2.1 @ text @d617 1 a617 1 OK new @ 1.90 log @B-Prolog 7.5#2.0 @ text @d124 1 a124 1
7.5#2.0.. d141 1 a141 1 153 d155 1 a155 1 48 d617 1 a617 1 * = * @ 1.89 log @7.5#2 @ text @d124 1 a124 1
7.5#2.. d141 1 a141 1 149 d155 1 a155 1 45 d631 1 a631 1 [(:-),-] d673 1 a673 1 f((';'),('|'),';;') d1731 1 a1731 1 -(-(=),1) d1773 1 a1773 1 ';'(-,-) d1787 1 a1787 1 ';'((:-),-) d2573 1 a2573 1 '\\' (a*b) @ 1.88 log @*** empty log message *** @ text @d124 1 a124 1
7.5 d141 1 a141 1 133 d155 1 a155 1 29 d169 1 a169 1 34 d183 1 a183 1 19 d197 1 a197 1 27 d617 1 a617 1 OK new d631 1 a631 1 OK d673 1 a673 1 OK new d687 1 a687 1 [.,.(.,.,.)] d715 1 a715 1 .(a,[]) d743 1 a743 1 '//*' d771 1 a771 1 '*/' d780 1 a780 1 38 "\'\`\"" = "'`""". d794 1 a794 1 179 "\'\"" = "'""". d916 1 a916 1 pe._e.(...) d930 1 a930 1 fails d1339 1 a1339 1 -('{}') d1647 1 a1647 1 fails d1661 1 a1661 1 OK d1675 1 a1675 1 fails d1689 1 a1689 1 OK d1717 1 a1717 1 fails d1731 1 a1731 1 =(-,-1) d1745 1 a1745 1 =(-,-1) d1759 1 a1759 1 OK d1773 1 a1773 1 ;(-,-) d1787 1 a1787 1 ;(:-,-) d1843 1 a1843 1 sy._e.(..) d1857 1 a1857 1 '{}'(1) d1871 1 a1871 1 sy._e.(..) d1983 1 a1983 1 X = '\n' d2193 1 a2193 1 0 d2249 1 a2249 1 F=991, A=0 d2305 1 a2305 1 0'f ' d2489 1 a2489 1 OK new d2517 1 a2517 1 op'1' d2531 1 a2531 1 op[] d2545 1 a2545 1 {(-)=xf1} d2573 1 a2573 1 OK d2587 1 a2587 1 P = 661 d2601 1 a2601 1 p._e.(m.,op.,.) d2937 1 a2937 1 p(p(1,p),2) d2994 1 a2994 1 p._e.(m.,o.,.) d3008 1 a3008 1 .(.) d3022 1 a3022 1 (.)+(.) d3218 1 a3218 1 OK @ 1.87 log @After discussions with Neng-Fa @ text @d89 1 a89 1 sent as input to read/1. @ 1.86 log @GNU-Prolog progress @ text @d137 1 a137 1 213/214 d142 1 a142 1 214 d156 1 a156 1 33 d166 4 a169 4 13 27 16 33 d171 1 a171 1 19 d173 2 a174 2 44 14 d1390 14 d3213 1 a3213 1 215 Finis (). @ 1.85 log @GNU: prefection totale ! @ text @d156 1 a156 1 31 d590 1 a590 1 waits d2406 1 a2406 1 waits @ 1.84 log @Cor. 2 improvements @ text @d142 1 a142 1 213 d156 1 a156 1 30 d184 1 a184 1 1 d2448 1 a2448 1 waits @ 1.83 log @IF-Prolog update @ text @d151 1 a151 1 6 d1531 1 a1531 1 syntax err. * @ 1.82 log @New error @ text @d138 1 a138 1 161 d180 1 a180 1 12 d2346 1 a2346 1 repr. error d2360 1 a2360 1 repr. error d2430 1 a2430 1 @@@@@@ d2444 1 a2444 1 @@@@@@ d2458 1 a2458 1 @@@@@@ d2472 1 a2472 1 repr. error @ 1.81 log @2 more @ text @d137 1 a137 1 210/211 d139 5 a143 5 141 132 132 211 165 d145 2 a146 2 106 149 d181 5 a185 5 2 18 17 0 2 d187 2 a188 2 21 5 a2371 14 126 X = 0'\
. syntax err. repr. error X = 32 waits OK new OK OK OK waits waits d2428 56 d3199 1 a3199 1 212 Finis (). @ 1.80 log @GNU Prolog output @ text @d137 7 a143 7 208/209 159 140 131 130 209 163 d146 1 a146 1 148 d195 2 a196 2 37 42 d201 2 a202 2 36 41 d584 28 d3157 1 a3157 1 210 Finis (). @ 1.79 log @GNU-Prolog : gradus ad parnassum! @ text @d116 1 a116 1 #
  Query d2152 1 a2152 1 0'' @ 1.78 log @Layout @ text @d137 1 a137 1 209 d142 1 a142 1 205 d156 1 a156 1 26 d170 1 a170 1 2 d184 1 a184 1 1 d198 1 a198 1 1 d2110 1 a2110 1 succeeds d2166 1 a2166 1 39 d2208 1 a2208 1 sy._e.(..) d2264 1 a2264 1 0'f ' @ 1.77 log @*** empty log message *** @ text @d15 7 a33 1 valign: top d68 2 d113 1 a113 2

d116 1 a116 1 @ 1.59 log @m SICStus 4 remark @ text @d2834 41 d2915 1 a2915 1 @ 1.57 log @B's official release @ text @d505 1 a505 1 d2604 1 a2604 1 d2681 29 d2737 1 d2739 1 a2739 1 d2625 14 d2665 1 d2667 1 a2667 1 d1016 1 a1016 1 d1026 14 @ 1.25 log @*** empty log message *** @ text @d2414 1 a2414 1 --> d2620 1 @ 1.23 log @*** empty log message *** @ text @d105 1 a105 1 --> a2555 1 d2566 1 a2566 1 d1037 14 d1053 1 a1053 1
# Query @ 1.76 log @*** empty log message *** @ text @d103 1 a103 1 (6.5) contains the ASCII characters. d130 10 a139 10 206 156 137 128 127 202 160 145 103 145 d2996 42 a3148 24

Undisputed cases

Query 13211-1:1995
*: DTC2
174 -1 = -0x1. succeeds
175 T = t(0b1,0o1,0x1). T = t(1,1,1)
176 X is 0b1mod 2. X = 1
d3184 1 a3184 1
Validated HTML @ 1.75 log @*** empty log message *** @ text @d102 3 d962 1 a962 2 		51 op(9,xf,e).
1.0e- 9 = -(e(1.0),9). @ 1.74 log @New case @ text @d127 7 a133 7 		205 155 136 127 126 201 159 d135 2 a136 2 102 144 d2222 1 a2222 1 102 f d2235 14 d3078 1 a3078 1 209 Finis (). @ 1.73 log @*** empty log message *** @ text @d127 3 a129 3 204 154 135 d133 1 a133 1 158 d135 2 a136 2 101 143 d159 2 a160 2 32 1 d2235 15 d3064 1 a3064 1 208 Finis (). @ 1.72 log @Once again a case! @ text @d127 2 a128 2 203 153 d130 1 a130 1 126 d132 2 a133 2 200 157 d136 1 a136 1 142 d173 1 a173 1 16 d177 1 a177 1 20 @ 1.71 log @New exciting case by Daniel Diaz ! @ text @d2221 14 d3049 1 a3049 1 207 Finis (). @ 1.70 log @GNU-Prolog progress @ text @d127 4 a130 4 202 152 134 125 d132 2 a133 2 199 156 d136 1 a136 1 141 d187 1 a187 1 26 d191 1 a191 1 35 d2207 14 d3035 1 a3035 1 206 Finis (). @ 1.69 log @Update @ text @d117 2 a118 1 SICStus
3.12.5iso d132 1 a132 1 		197 d146 1 a146 1 24 d188 1 a188 1 3 d258 1 a258 1 '\t' d272 1 a272 1 succeeds d2101 1 a2101 1 succeeds @ 1.68 log @Links to log files and archives @ text @d126 7 a132 7 201 151 133 124 125 196 155 d134 2 a135 2 100 140 @ 1.67 log @GNU correction, new '' case @ text @d109 8 a116 4 SWI
5.11.20 		YAP
6.2.0 		B
7.5 		GNU
1.4.0 d120 2 a121 1 		Ciao
1.13.0 @ 1.66 log @Counter update @ text @d140 1 a140 1 		25 d1143 1 a1143 1 OK new d2117 14 d3015 1 a3015 1 205 Finis (). @ 1.65 log @Float case by Jan Burse @ text @d120 2 a121 2 conformance up to #203 200 d123 5 a127 5 132 123 124 195 154 d129 2 a130 2 99 139 d150 1 a150 1 12 d969 1 a969 1 e.g., 1 e @ 1.64 log @New ugly case @ text @d119 70 d695 1 a695 1 /** a720 2 d968 14 d2805 1 a2805 1 syntax err. d3001 1 a3001 1 204 Finis (). @ 1.63 log @Progress in SWI @ text @d624 14 d2919 1 a2919 1 203 Finis (). @ 1.62 log @*** empty log message *** @ text @d109 1 a109 1 SWI
5.11.19 d2375 1 a2375 1 		A @ 1.61 log @New format @ text @d2568 2 a2569 2 159 op(9,fy,f),op(9,yf,f).
write_canonical(f f 1). 		f(f(1)) d2582 30 a2611 2 160  /**/ write_canonical(1 f f). f(f(1)) d2868 1 a2868 1 OK d2882 1 a2882 1 fails d2896 1 a2896 1 +('$a',b) d2905 1 a2905 1 201 Finis (). d2907 6 a2912 6 d2914 2 a2915 2 @ 1.60 log @$ @ text @d106 1 a106 1 Query d120 1 a120 1 writeq('\n'). d134 1 a134 1 ' d148 1 a148 1 ) d162 1 a162 1 . d176 1 a176 1 writeq(' '). % horiz. tab d190 1 a190 1 0'\t=0' . % horiz. tab d204 1 a204 1 writeq('
'). d218 1 a218 1 		writeq('\
'). % "\\\n" d232 1 a232 1 		writeq('\
a'). % "\\\na" d246 1 a246 1 		writeq('a\
b'). % "a\\\nb" d260 1 a260 1 		writeq('a\
 b'). % "a\\\n b" d274 1 a274 1 		writeq('\ '). d288 1 a288 1 writeq('\
'). % "\\ \n" d302 1 a302 1 		writeq('\ '). % "\\\t" d316 1 a316 1 writeq('\t'). d330 1 a330 1 writeq('\a'). d344 1 a344 1 writeq('\7\'). d358 1 a358 1 writeq('\ca'). d372 1 a372 1 writeq('\e'). d386 1 a386 1 writeq('\033\'). d400 1 a400 1 char_code('\e',C). d414 1 a414 1 char_code('\d',C). d428 1 a428 1 writeq('\u1'). d442 1 a442 1 X = 0'\u1. d456 1 a456 1 writeq(' d470 1 a470 1 writeq(. d484 1 a484 1 '\
''. d498 1 a498 1 		writeq((*)=(*)). d512 1 a512 1 writeq([:-,-]). d526 1 a526 1 writeq(f(*)). d540 1 a540 1 writeq(a*(b+c)). d554 1 a554 1 writeq(f(;,'|',';;')). d568 1 a568 1 writeq([.,.(.,.,.)]). d582 1 a582 1 writeq((a :- b,c)). d596 1 a596 1 write_canonical([a]). d610 1 a610 1 writeq('/*'). d624 1 a624 1 writeq('/**'). d640 1 a640 1 writeq('*/'). d654 1 a654 1 "\'\`\"" = "'`""". d668 1 a668 1 "\'\"" = "'""". d682 1 a682 1 "\`" = "`". d696 1 a696 1 '\'\`\"' = '''`"'. d712 1 a712 1 writeq('\'\`\"\"'). d728 1 a728 1 '\\' = (\). d742 1 a742 1 op(1,xf,xf1).
d757 1 a757 1 		X = 0X1. d771 1 a771 1 float(.0). d785 1 a785 1 op(100,xfx,.).
functor(3 .2,F,A). d799 1 a799 1 		float(- .0). d813 1 a813 1 float(1E9). d827 1 a827 1 integer(1e). d841 1 a841 1 op(9,xf,e9).
d856 1 a856 1 		op(9,xf,e).
d871 1 a871 1 		op(9,xf,e).
d886 1 a886 1 		op(9,xfy,e).
d901 1 a901 1 		writeq(1.0e100). d915 1 a915 1 float(1.0ee9). d929 1 a929 1 integer(- 1). d943 1 a943 1 integer('-'1). d957 1 a957 1 integer('-' 1). d971 1 a971 1 integer(- /**/1). d985 1 a985 1 integer(-/**/1). d999 1 a999 1 integer('-'/**/1). d1013 1 a1013 1 atom(-/**/-). d1027 1 a1027 1 op(0,fy,-). d1041 1 a1041 1  /**/ integer(-1). d1055 1 a1055 1  /**/ integer(- 1). d1069 1 a1069 1 writeq(-(1)). d1083 1 a1083 1 op(0,fy,-),writeq(-(1)). d1097 1 a1097 1 writeq(-(-1)). d1111 1 a1111 1 writeq(-(1^2)). d1125 1 a1125 1 writeq(-((a,b))). d1139 1 a1139 1 writeq(-a). d1153 1 a1153 1 writeq(-(-)). d1167 1 a1167 1 writeq(-[-]). d1181 1 a1181 1 writeq(-p(c)). d1195 1 a1195 1 writeq(-{}). d1209 1 a1209 1 writeq(-{a}). d1223 1 a1223 1 writeq(-(-a)). d1237 1 a1237 1 writeq(-(-(-a))). d1251 1 a1251 1 op(1,yf,yf1).
{-1 yf1}={yf1(X)}. d1265 1 a1265 1 		compound(+1). d1279 1 a1279 1 compound(+ 1). d1293 1 a1293 1 op(0,fy,+).
compound(+1). d1307 1 a1307 1 		[(:-)|(:-)]=[:-|:-]. d1321 1 a1321 1 X=[a|b,c]. d1335 1 a1335 1 op(1000,xfy,','). d1349 1 a1349 1 op(1001,xfy,','). d1363 1 a1363 1 op(999,xfy,'|'). d1377 1 a1377 1  /**/ X=[a|b]. d1391 1 a1391 1  /**/ X=[a|b|c]. d1405 1 a1405 1 var(a:-b). d1419 1 a1419 1 :- = :- . d1433 1 a1433 1 - = - . d1447 1 a1447 1 * = * . d1461 1 a1461 1 current_op(200,fy,-). d1475 1 a1475 1 current_op(200,fy,+). d1489 1 a1489 1 {- - c}={-(-(c))}. d1503 1 a1503 1 (- -) = -(-). d1517 1 a1517 1 (- - -) = -(-(-)). d1531 1 a1531 1 (- - - -) = -(-(-(-))). d1545 1 a1545 1 {:- :- c} = {:-(:-,c)}. d1559 1 a1559 1 {- = - 1}={(-(=)) - 1}. d1573 1 a1573 1 write_canonical((- = - 1)). d1587 1 a1587 1 write_canonical((- = -1)). d1601 1 a1601 1 write_canonical((-;)). d1615 1 a1615 1 write_canonical((-;-)). d1629 1 a1629 1 write_canonical((:-;-)). d1643 1 a1643 1 [:- -c] = [(:- -c)]. d1657 1 a1657 1 writeq([a,b|,]). d1671 1 a1671 1 X ={,}. d1685 1 a1685 1 {1} = {}(1). d1699 1 a1699 1 write_canonical({1}). d1713 1 a1713 1 '[]'(1) = [ ](X). d1727 1 a1727 1 X = [] (1). d1741 1 a1741 1 op(100,yfy,op). d1755 1 a1755 1 '''' = '\''. d1769 1 a1769 1 a = '\141\'. d1783 1 a1783 1 a = '\141'. d1797 1 a1797 1 X = '\141\141'. d1811 1 a1811 1 X = '\9'. d1825 1 a1825 1 X = '\N'. d1839 1 a1839 1 X = '\\' . d1853 1 a1853 1 X = '\77777777777\'. d1867 1 a1867 1 a = '\x61\'. d1881 1 a1881 1 atom_codes('\xG\',Cs). d1895 1 a1895 1 atom_codes('\xG1\',Cs). d1909 1 a1909 1 atom(`). d1923 1 a1923 1 atom(`+). d1937 1 a1937 1 X = `a`. d1951 1 a1951 1 integer(0'\'). d1965 1 a1965 1 integer(0'''). d1979 1 a1979 1 0''' = 0'\'. d1993 1 a1993 1 integer(0''). d2007 1 a2007 1 op(100,xf,''). d2021 1 a2021 1  /**/ writeq(0 ''). d2035 1 a2035 1  /**/ writeq(0''). d2049 1 a2049 1 op(100,xfx,''). d2063 1 a2063 1  /**/ functor(0 ''1, F, A). d2077 1 a2077 1  /**/ functor(0''1, F, A). d2091 1 a2091 1 X = 2'1. d2105 1 a2105 1 op(100,xfx,'1').
d2120 1 a2120 1 		X =0'\x41\ . d2134 1 a2134 1 X =0'\x41\. d2148 1 a2148 1 X =0'\x1\. d2162 1 a2162 1 X = 0'\
. d2176 1 a2176 1 		X is 16'mod'2. d2190 1 a2190 1 X is 37'mod'2. d2204 1 a2204 1 X is 0'mod'1. d2218 1 a2218 1 X is 1'+'1. d2232 1 a2232 1 op(100,fx,' op'). d2246 1 a2246 1  /**/ writeq(' op' '1'). d2260 1 a2260 1  /**/ writeq(' op'[]). d2274 1 a2274 1 op(1,xf,xf1).
writeq({- =xf1}). d2288 1 a2288 1 		writeq(- (a*b)). d2302 1 a2302 1 writeq(\ (a*b)). d2316 1 a2316 1 current_op(P,xfy,.). d2330 1 a2330 1 op(400,xfy,.). d2344 1 a2344 1  /**/ writeq(1 .2). d2358 1 a2358 1  /**/ writeq([1]). d2372 1 a2372 1 write_canonical('$VAR'(0)). d2386 1 a2386 1 write_term('$VAR'(0),[]). d2400 1 a2400 1 op(9,fy,fy),op(9,yf,yf).
write_canonical(fy 1 yf). d2414 1 a2414 1 		 /**/ write_canonical(fy yf). d2428 1 a2428 1  /**/ writeq(fy(yf(1))). d2442 1 a2442 1  /**/ writeq(yf(fy(1))). d2456 1 a2456 1 op(9,fy,fy),op(9,yfx,yfx).
write_canonical(fy 1 yfx 2). d2470 1 a2470 1 		 /**/ writeq(fy(yfx(1,2))). d2484 1 a2484 1  /**/ writeq(yfx(fy(1),2)). d2498 1 a2498 1 op(9,yf,yf),op(9,xfy,xfy).
write_canonical(1 xfy 2 yf). d2512 1 a2512 1 		 /**/ writeq(xfy(1,yf(2))). d2526 1 a2526 1  /**/ writeq(yf(xfy(1,2))). d2540 1 a2540 1 op(0,xfy,:-),
current_op(P,xfx,:-). d2554 1 a2554 1 		op(0,xfy,','). d2568 1 a2568 1 op(9,fy,f),op(9,yf,f).
write_canonical(f f 1). d2582 1 a2582 1 		 /**/ write_canonical(1 f f). d2596 1 a2596 1  /**/ write_canonical(f f). d2610 1 a2610 1 op(9,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). d2624 1 a2624 1 		op(9,fy,p),op(9,xfy,p).
write_canonical(1 p p p 2). d2638 1 a2638 1 		op(7,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). d2652 1 a2652 1 		atom('.''-''.'). d2666 1 a2666 1 op(0,xfy,'|'). d2680 1 a2680 1  /**/ writeq((a|b)). d2695 1 a2695 1 op(9,yf,.). d2709 1 a2709 1  /**/ writeq(.(.)). d2723 1 a2723 1 writeq((.)+(.)). d2737 1 a2737 1 set_prolog_flag(
 double_quotes,chars). d2751 1 a2751 1 		 /**/ writeq("a"). d2765 1 a2765 1 X is 10.0** -323, writeq(X). d2779 1 a2779 1 1.0e-323=:=10.0** -323. d2793 1 a2793 1 op(1105,xfy,'|').
writeq((a-->b,c|d)). d2807 1 a2807 1 		X/* /*/=7. d2821 1 a2821 1 X/*/*/=7. d2835 1 a2835 1 atom($-). d2849 1 a2849 1 atom(-$). d2863 1 a2863 1 op(900, fy, [$]).
write_canonical($a+b). d2876 14 d2912 1 a2912 1 		-1 = -0x1. d2917 1 a2917 1 T = t(0b1,0o1,0x1). d2922 1 a2922 1 X is 0b1mod 2. a2925 18
Sampleonly XXX
Sampleonly d2920 1 a2920 1 d2929 1 @ 1.58 log @SICStus 4 remark @ text @d85 1 a85 1 In all cases where a syntax errors is required, an implementation may d505 1 a505 1 * = * 4 d2846 1 a2846 1
4 reported to be fixed in SICStus 4
* = * d2846 1 @ 1.56 log @HTML-validation @ text @d111 1 a111 1 B
7.5b3.1 @ 1.55 log @Very ugly case @ text @d77 2 a78 1 (see also number_chars/2) d296 1 a296 1 		XXX d391 1 a391 1 '' d597 1 a597 1 '.'(a,[]) 8.14.2.4 ex2 d1231 1 a1231 1 XXX d1245 1 a1245 1 XXX d2008 1 a2008 1 OK d2015 1 a2015 1 XXX d2021 15 a2035 1  /**/ writeq(0''). d2043 1 a2043 1 XXX a2048 14  /**/ writeq(0 ''). 0'' or 0 '' 0 '' 0 '' 0'' 0 0'' 0 '' XXX 0 0 ''
XXX d2731 1 a2731 1 XXX d2881 1 a2881 1 XXX @ 1.54 log @GNU-Prolog progress @ text @d2006 42 d2872 1 a2872 1 Sampleonly d2877 1 a2877 1 d2899 14 d2914 2 d2917 1 @ 1.53 log @B @ text @d934 1 a934 1 fails d962 1 a962 1 fails d976 1 a976 1 fails d1004 1 a1004 1 fails d1060 1 a1060 1 sy._e.(..) d1074 1 a1074 1 - 1 d1116 1 a1116 1 - 1^2 d2349 1 a2349 1 A @ 1.52 log @B-Prolog progress, new case @ text @d2685 1 a2685 1 . + . @ 1.51 log @*** empty log message *** @ text @d502 1 a502 1 * = * d2679 13 d2830 1 a2830 1 Sampleonly d2833 1 a2833 1 d2835 1 a2835 1 @ 1.50 log @m @ text @d108 1 a108 1 SWI
5.11.14 @ 1.49 log @B-Prolog progress @ text @a2131 1 d2742 1 a2742 1 		p.e.(m.,o.,'|') @ 1.48 log @*** empty log message *** @ text @d1367 1 a1367 1 succeeds @ 1.47 log @correction @ text @d2251 1 a2251 1 -(a*b) d2555 5 a2559 5 f(f(1)) OK OK OK OK d2561 4 a2564 4 OK syn. e. OK OK @ 1.46 log @B-Prolog progress @ text @d460 1 a460 1 OK @ 1.45 log @*** empty log message *** @ text @d110 1 a110 1 B
7.4#3 d222 1 a222 1 		'\n' d236 1 a236 1 '\na' d250 1 a250 1 'a\na' d264 1 a264 1 'a\n b' d278 1 a278 1 ' ' d292 1 a292 1 ' \n' d306 1 a306 1 '\t' d362 1 a362 1 ca d376 1 a376 1 '^[' d390 1 a390 1 char = 27 '^[' d404 1 a404 1 C = 27 d418 1 a418 1 C = 127 d432 1 a432 1 u1 d502 1 a502 1 '*' = '*' d530 1 a530 1 f('*') d558 1 a558 1 f(';','|',';;') d572 1 a572 1 OK d600 1 a600 1 OK d775 1 a775 1 succeeds d803 1 a803 1 succeeds d1073 1 a1073 1 '-'(1) d1087 1 a1087 1 '-'(1) d1101 1 a1101 1 '-'(-1) d1115 1 a1115 1 '-'(1^2) d1129 1 a1129 1 '-'((a,b)) d1143 1 a1143 1 '-'(a) d1157 1 a1157 1 '-'('-') d1171 1 a1171 1 '-'(['-']) d1185 1 a1185 1 '-'(p(c)) d1199 1 a1199 1 '-'('{}') d1213 1 a1213 1 '-'({a}) d1227 1 a1227 1 '-'('-'(a)) d1241 1 a1241 1 '-'('-'('-'(a))) d1577 1 a1577 1 =('-',-1) d1591 1 a1591 1 =('-',-1) d1619 1 a1619 1 ';'('-','-') d1633 1 a1633 1 ';'(':-','-') d1773 1 a1773 1 char = 97 d1801 1 a1801 1 char = 97 d1815 1 a1815 1 X = '9' d1983 1 a1983 1 fails d1997 1 a1997 1 succeeds d2039 1 a2039 1 sy._e.(..) d2082 1 a2082 1 sy._e.(..) d2096 1 a2096 1 sy._e.(..) d2110 1 a2110 1 sy._e.(..) d2124 1 a2124 1 X = 92 d2153 1 a2153 1 sy._e.(..) d2237 1 a2237 1 {('-')=xf1} d2251 1 a2251 1 '-'(a*b) d2307 1 a2307 1 syn. e. d2629 1 a2629 1 OK d2643 1 a2643 1 a|b d2672 1 a2672 1 '.'('.') d2743 1 a2743 1 a-->b,c|d @ 1.44 log @*** empty log message *** @ text @d217 1 a217 1 writeq('\
'). d231 1 a231 1 		writeq('\
a'). d245 1 a245 1 		writeq('a\
b'). d259 1 a259 1 		writeq('a\
 b'). d287 15 a301 1 		writeq('\ '). % horiz. tab d2818 1 a2818 1 Sampleonly d2826 1 a2826 1 @ 1.43 log @*** empty log message *** @ text @d191 1 a191 1 @@@@@@ @ 1.42 log @*** empty log message *** @ text @d114 1 a114 1 XSB
3.2 d1208 28 d2770 8 a2777 2 Remarks: * including DTC2. ** including/ignoring yet to be written DTC3. d2804 1 a2804 1 		Sampleonly d2813 1 a2813 1 @ 1.41 log @Corrections @ text @d1077 1 a1077 1 OK * d1180 28 d1223 1 a1223 1 succeeds * d1237 1 a1237 1 succeeds * d1321 1 a1321 1 p._e.(c., op.,'|') * d1349 1 a1349 1 syntax err. * d1433 1 a1433 1 succeeds * d2597 1 a2597 1 syntax err. * d2742 3 d2770 1 a2770 1 Sampleonly d2775 1 a2775 1 @ 1.40 log @B-Prolog progress @ text @d2162 1 a2162 1  /**/ writeq({- =xf1}). d2227 1 a2227 1 P = 661 @ 1.39 log @B-Prolog progress @ text @d862 1 a862 1 halts d877 1 a877 1 halts d1787 1 a1787 1 X = '9' @ 1.38 log @m @ text @d905 1 a905 1 halts @ 1.37 log @GNU Prolog progress! @ text @d905 1 a905 1 halt d2742 1 a2742 1 @ 1.36 log @IF: neutral case (so difficult to reproduce) @ text @d2560 1 a2560 1 p._e.(c.,o.,'|') d2574 1 a2574 1 a|b @ 1.35 log @YAP progress @ text @d191 1 a191 1 @@@@@@ @ 1.34 log @*** empty log message *** @ text @d585 1 a585 1 [a] d599 1 a599 1 /* (again) d613 1 a613 1 /** (again) @ 1.33 log @(incorrect) change in SWI @ text @d107 9 a115 9 IF
V5.1B 		SWI
5.11.14 		YAP
6.2.0 		B
7.4#3 		GNU
1.4.0 		SICStus
3.12.5iso 		MINERVA
2.4 		XSB
3.2 		Ciao
1.13.0 d1110 70 a2203 28 		writeq(-((a,b))). - (a,b) - (a , b) OK OK '-'((a,b)) OK -((a,b)) - (a , b) -(a ',' b) OK
writeq(-a). -a - a OK OK '-'(a) OK -(a) - a OK OK
Sampleonly @ 1.32 log @Up to - discussion with Richard O'Keefe @ text @d1099 1 a1099 1 -1^2 @ 1.31 log @*** empty log message *** @ text @d655 1 a655 1 syn. e. d1054 56 a2105 28 writeq(-(1)). - (1) - 1 -(1) -1 '-'(1) - 1 -(1) - 1 -1 -(1)
op(0,fy,-),writeq(-(1)). -(1) OK OK OK '-'(1) OK OK OK OK * OK
Sampleonly d2680 1 d2685 1 a2685 1 Subsumed by #18 d2690 1 a2690 1 actually two possibilities: Syntax errors on the token Lavena and on d2692 1 a2692 1 end token (6.4.8) i s encountered. @ 1.30 log @Cases for IF @ text @d376 1 a376 1 '^[' a398 14 writeq('\033\'). syntax err. C = '\e' C = '\033\' waits char = 27 '\x1b\' '\e' '\u001b' '' '
sy._e.(..) d1018 1 a1018 1 OK new d2639 6 d2648 3 a2650 1 end token (6.4.8) is encountered. @ 1.29 log @#20 label as bad case - to be resolved @ text @d653 1 a653 1 "\'\`\"" = "'`""". d655 1 a655 1 @@@@@@ d667 28 d697 1 a697 1 @@@@@@ d713 1 a713 1 @@@@@@ d1026 15 a1040 1 op(0,fy,-).
integer(-1). a2636 1 d2638 1 a2638 1 		Sampleonly @ 1.28 log @#18 more general, reported 2011-04-04 @ text @d399 1 a399 1 writeq('\033\'). @ 1.27 log @Reorder: Move #55 at the end of - @ text @d372 1 a372 1 '\033\' or '\x1b\' @ 1.26 log @#163 corrected, reported 2011-04-03 was same line as #162, but should have been xfy @ text @a899 14 op(1,yf,yf1).
{-1 yf1}={yf1(X)}. 		X = -1. OK OK OK OK OK OK sy._e.(..) OK OK
op(9,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). @ 1.24 log @Case numbering introduced @ text @d175 1 a175 1 		writeq(' '). /* horiz. tab */ d189 14 d287 1 a287 1 writeq('\ '). /* horiz. tab */ d596 1 a596 1 '.'(a,[]) 8.14.2.4 ex2 d1794 1 d2595 15 d2618 1 a2618 18
Query d119 1 a119 1 writeq('\n'). d133 1 a133 1 ' d147 1 a147 1 ) d161 1 a161 1 . d175 1 a175 1 writeq(' '). /* horiz. tab */ d189 1 a189 1 writeq('
'). d203 1 a203 1 		writeq('\
'). d217 1 a217 1 		writeq('\
a'). d231 1 a231 1 		writeq('a\
b'). d245 1 a245 1 		writeq('a\
 b'). d259 1 a259 1 		writeq('\ '). d273 1 a273 1 writeq('\ '). /* horiz. tab */ d287 1 a287 1 writeq('\t'). d301 1 a301 1 writeq('\a'). d315 1 a315 1 writeq('\7\'). d329 1 a329 1 writeq('\ca'). d343 1 a343 1 writeq('\e'). d357 1 a357 1 writeq('\033\'). d371 1 a371 1 char_code('\e',C). d385 1 a385 1 writeq('\033\'). d399 1 a399 1 char_code('\d',C). d413 1 a413 1 writeq('\u1'). d427 1 a427 1 X = 0'\u1. d441 1 a441 1 writeq(' d455 1 a455 1 writeq(. d469 1 a469 1 '\
''. d483 1 a483 1 		writeq((*)=(*)). d497 1 a497 1 writeq([:-,-]). d511 1 a511 1 writeq(f(*)). d525 1 a525 1 writeq(a*(b+c)). d539 1 a539 1 writeq(f(;,'|',';;')). d553 1 a553 1 writeq([.,.(.,.,.)]). d567 1 a567 1 writeq((a :- b,c)). d581 1 a581 1 write_canonical([a]). d595 1 a595 1 writeq('/*'). d609 1 a609 1 writeq('/**'). d622 1 a622 1 d625 1 a625 1 writeq('*/'). d638 45 d685 15 a699 1 op(1,xf,xf1).
d714 1 a714 1 		X = 0X1. d728 1 a728 1 float(.0). d742 1 a742 1 op(100,xfx,.).
functor(3 .2,F,A). d756 1 a756 1 		float(- .0). d770 1 a770 1 float(1E9). d784 1 a784 1 integer(1e). d798 1 a798 1 op(9,xf,e9).
d813 1 a813 1 		op(9,xf,e).
d828 1 a828 1 		op(9,xf,e).
d843 1 a843 1 		op(9,xfy,e).
d858 1 a858 1 		writeq(1.0e100). d872 1 a872 1 float(1.0ee9). d886 1 a886 1 op(1,yf,yf1).
{-1 yf1}={yf1(X)}. d900 1 a900 1 		integer(- 1). d914 1 a914 1 integer('-'1). d928 1 a928 1 integer('-' 1). d942 1 a942 1 integer(- /**/1). d956 1 a956 1 integer(-/**/1). d970 1 a970 1 integer('-'/**/1). d984 1 a984 1 atom(-/**/-). d998 1 a998 1 op(0,fy,-).
integer(-1). d1012 1 a1012 1 		 /**/ integer(- 1). d1026 1 a1026 1 compound(+1). d1040 1 a1040 1 compound(+ 1). d1054 1 a1054 1 op(0,fy,+).
compound(+1). d1068 1 a1068 1 		[(:-)|(:-)]=[:-|:-]. d1082 1 a1082 1 X=[a|b,c]. d1096 1 a1096 1 op(1000,xfy,','). d1110 1 a1110 1 op(1001,xfy,','). d1124 1 a1124 1 op(999,xfy,'|'). d1138 1 a1138 1  /**/ X=[a|b]. d1152 1 a1152 1  /**/ X=[a|b|c]. d1166 1 a1166 1 var(a:-b). d1180 1 a1180 1 :- = :- . d1194 1 a1194 1 - = - . d1208 1 a1208 1 * = * . d1222 1 a1222 1 current_op(200,fy,-). d1236 1 a1236 1 current_op(200,fy,+). d1250 1 a1250 1 {- - c}={-(-(c))}. d1264 1 a1264 1 (- -) = -(-). d1278 1 a1278 1 (- - -) = -(-(-)). d1292 1 a1292 1 (- - - -) = -(-(-(-))). d1306 1 a1306 1 {:- :- c} = {:-(:-,c)}. d1320 1 a1320 1 {- = - 1}={(-(=)) - 1}. d1334 1 a1334 1 write_canonical((- = - 1)). d1348 1 a1348 1 write_canonical((- = -1)). d1362 1 a1362 1 write_canonical((-;)). d1376 1 a1376 1 write_canonical((-;-)). d1390 1 a1390 1 write_canonical((:-;-)). d1404 1 a1404 1 [:- -c] = [(:- -c)]. d1418 1 a1418 1 writeq([a,b|,]). d1432 1 a1432 1 X ={,}. d1446 1 a1446 1 {1} = {}(1). d1460 1 a1460 1 write_canonical({1}). d1474 1 a1474 1 '[]'(1) = [ ](X). d1488 1 a1488 1 X = [] (1). d1502 1 a1502 1 op(100,yfy,op). d1516 1 a1516 1 '''' = '\''. d1530 1 a1530 1 a = '\141\'. d1544 1 a1544 1 a = '\141'. d1558 1 a1558 1 X = '\141\141'. d1572 1 a1572 1 X = '\9'. d1586 1 a1586 1 X = '\N'. d1600 1 a1600 1 X = '\\' . d1614 1 a1614 1 X = '\77777777777\'. d1628 1 a1628 1 a = '\x61\'. d1642 1 a1642 1 atom_codes('\xG\',Cs). d1656 1 a1656 1 atom_codes('\xG1\',Cs). d1670 1 a1670 1 atom(`). d1684 1 a1684 1 atom(`+). d1698 1 a1698 1 X = `a`. d1712 1 a1712 1 integer(0'\'). d1726 1 a1726 1 integer(0'''). d1740 1 a1740 1 0''' = 0'\'. d1754 1 a1754 1 integer(0''). d1768 1 a1768 1 op(100,xfx,''). d1781 1 a1781 1  /**/ functor(0 ''1, F, A). d1795 1 a1795 1  /**/ functor(0''1, F, A). d1809 1 a1809 1 X = 2'1. d1823 1 a1823 1 op(100,xfx,'1').
d1838 1 a1838 1 		X =0'\x41\ . d1852 1 a1852 1 X =0'\x41\. d1866 1 a1866 1 X =0'\x1\. d1880 1 a1880 1 X = 0'\
. d1882 1 a1882 1 		@@@@@@ d1895 1 a1895 1 X is 16'mod'2. d1909 1 a1909 1 X is 37'mod'2. d1923 1 a1923 1 X is 0'mod'1. d1937 1 a1937 1 X is 1'+'1. d1951 1 a1951 1 op(100,fx,' op'). d1965 1 a1965 1  /**/ writeq(' op' '1'). d1979 1 a1979 1  /**/ writeq(' op'[]). d1993 1 a1993 1  /**/ writeq({- =xf1}). d2007 1 a2007 1 writeq(-(1)). d2021 1 a2021 1 op(0,fy,-),writeq(-(1)). d2035 1 a2035 1 writeq(- (a*b)). d2049 1 a2049 1 writeq(\ (a*b)). d2063 1 a2063 1 writeq(-((a,b))). d2077 1 a2077 1 writeq(-a). d2091 1 a2091 1 current_op(P,xfy,.). d2105 1 a2105 1 op(400,xfy,.). d2119 1 a2119 1  /**/ writeq(1 .2). d2133 1 a2133 1  /**/ writeq([1]). d2147 1 a2147 1 write_canonical('$VAR'(0)). d2161 1 a2161 1 write_term('$VAR'(0),[]). d2175 1 a2175 1 op(9,fy,fy),op(9,yf,yf).
write_canonical(fy 1 yf). d2189 1 a2189 1 		 /**/ write_canonical(fy yf). d2203 1 a2203 1  /**/ writeq(fy(yf(1))). d2217 1 a2217 1  /**/ writeq(yf(fy(1))). d2231 1 a2231 1 op(9,fy,fy),op(9,yfx,yfx).
write_canonical(fy 1 yfx 2). d2245 1 a2245 1 		 /**/ writeq(fy(yfx(1,2))). d2259 1 a2259 1  /**/ writeq(yfx(fy(1),2)). d2273 1 a2273 1 op(9,yf,yf),op(9,xfy,xfy).
write_canonical(1 xfy 2 yf). d2287 1 a2287 1 		 /**/ writeq(xfy(1,yf(2))). d2301 1 a2301 1  /**/ writeq(yf(xfy(1,2))). d2315 1 a2315 1 op(0,xfy,:-),
current_op(P,xfx,:-). d2329 1 a2329 1 		op(0,xfy,','). d2343 1 a2343 1 op(9,fy,f),op(9,yf,f).
write_canonical(f f 1). d2357 1 a2357 1 		 /**/ write_canonical(1 f f). d2371 1 a2371 1  /**/ write_canonical(f f). d2385 1 a2385 1 op(9,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). d2399 1 a2399 1 		op(9,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). d2413 1 a2413 1 		op(7,fy,p),op(9,yfx,p).
write_canonical(1 p p p 2). d2427 1 a2427 1 		atom('.''-''.'). d2441 1 a2441 1 op(0,xfy,'|'). d2455 1 a2455 1  /**/ writeq((a|b)). d2470 1 a2470 1 op(9,yf,.). d2484 1 a2484 1  /**/ writeq(.(.)). d2499 1 a2499 1 set_prolog_flag(
 double_quotes,chars). d2513 1 a2513 1 		 /**/ writeq("a"). d2527 1 a2527 1 X is 10.0** -323, writeq(X). d2541 1 a2541 1 1.0e-323=:=10.0** -323. a2553 18
-1 = -0x1. d2571 1 a2571 1 T = t(0b1,0o1,0x1). d2576 1 a2576 1 X is 0b1mod 2. d2588 20 @ 1.22 log @*** empty log message *** @ text @d413 1 a413 1 writeq('\u1',C). d1909 1 a1909 1 OK @ 1.21 log @*** empty log message *** @ text @d472 1 a472 1 OK new d788 1 a788 1 sy._e.(..) d841 1 a841 1 integer('-'1). d843 1 a843 1 fails d847 1 a847 1 OK d855 1 a855 1 integer(- 1). d857 1 a857 1 OK d861 1 a861 1 fails d1556 1 a1556 1 syntax err. d1821 15 d1839 1 a1839 1 OK new d1909 1 a1909 1 ' op''1' d2547 1 @ 1.20 log @*** empty log message *** @ text @d2076 1 a2076 1 OK new d2087 4 a2090 4 write_term(
 '1'+'$VAR'(0),[]). 		1+$VAR(0) 1 + $VAR(0) 1+ $VAR(0) d2092 2 a2093 2 1+B 1+B d2095 2 a2096 2 1 + $VAR(0) 1 + $VAR( 0) d2382 1 a2382 1 syntax err. @ 1.19 log @*** empty log message *** @ text @d108 1 a108 1 SWI
5.11.7 d427 14 d1877 2 a1878 2 		op(100,fx,' op').
writeq(' op' '1'). 		' op' '1' d1880 1 a1880 1 ' op''1' d1882 1 a1882 1 op'1' d1891 2 a1892 2 op(100,fx,' op'). succeeds d1894 1 a1894 1 OK d1896 1 a1896 1 OK d2076 1 a2076 1 A d2087 14 d2470 1 a2470 1 sy._e.(fl._u.) d2498 3 @ 1.18 log @*** empty log message *** @ text @d413 14 @ 1.17 log @*** empty log message *** @ text @d84 1 a84 1 In all cases where a syntax errors is required, an impementation may d180 1 a180 1 ' ' d287 14 d925 1 a925 1  /*op*/ integer(- 1). d1051 1 a1051 1  /*op*/ X=[a|b]. d1065 1 a1065 1  /*op*/ X=[a|b|c]. d1079 14 d1694 1 a1694 1  /*op*/ functor(0 ''1, F, A). d1708 1 a1708 1  /*op*/ functor(0''1, F, A). d1714 1 a1714 1 waits d1877 1 a1877 1  /*op*/ writeq(' op'[]). d1891 1 a1891 1  /*op*/ writeq({- =xf1}). d2017 1 a2017 1  /*op*/ writeq(1 .2). d2031 1 a2031 1  /*op*/ writeq([1]). d2073 1 a2073 1  /*op*/ write_canonical(fy yf). d2087 1 a2087 1  /*op*/ writeq(fy(yf(1))). d2101 1 a2101 1  /*op*/ writeq(yf(fy(1))). d2129 1 a2129 1  /*op*/ writeq(fy(yfx(1,2))). d2143 1 a2143 1  /*op*/ writeq(yfx(fy(1),2)). d2171 1 a2171 1  /*op*/ writeq(xfy(1,yf(2))). d2185 1 a2185 1  /*op*/ writeq(yf(xfy(1,2))). d2241 1 a2241 1  /*op*/ write_canonical(1 f f). d2255 1 a2255 1  /*op*/ write_canonical(f f). d2339 15 d2368 1 a2368 1  /*op*/ writeq(.(.)). d2383 1 a2383 1 set_prolog_flag(double_quotes,chars). d2410 28 d2483 1 a2483 1 actually two possibilities: Syntax errors on the token leven and on @ 1.16 log @*** empty log message *** @ text @d2367 2 d2383 1 @ 1.15 log @*** empty log message *** @ text @d175 1 a175 1 writeq(' '). /* horiz. tab ch. */ d259 28 d371 14 a398 14 writeq('\ '). syntax err. OK ' ' ' ' ' ' OK OK OK '\ ' ''
X=[a|'|'(b,c)] d1061 1 a1061 1 X=['|'(a,'|'(b,c))] d1653 14 a1666 2 op(100,xfx,'').
functor(0 ''1, F, A). d1680 1 a1680 2 		op(100,xfx,'').
functor(0''1, F, A). d1835 15 a1849 1 		op(100,fx,' op').
writeq(' op'[]). d1863 1 a1863 1 		op(1,xf,xf1).
writeq({- =xf1}). d1960 1 d1974 1 d1988 1 d2002 1 d2016 1 d2030 1 d2044 1 d2058 1 d2072 1 d2086 1 d2100 1 d2114 1 d2128 1 d2142 1 d2156 1 d2170 1 d2184 1 d2198 1 d2212 1 d2226 1 d2240 1 d2254 1 d2268 1 d2282 1 d2296 1 d2310 1 d2324 1 d2329 1 a2329 1 		OK d2338 44 @ 1.14 log @*** empty log message *** @ text @d175 14 d273 14 d771 1 a771 1 op(0,fy,-).
integer(-1). d773 3 a775 3 		OK OK sy._e.(..) d777 1 a777 1 OK new d783 1 d799 1 a799 1 op(0,fy,-).
integer(- 1). d801 3 a803 3 		OK sy._e.(..) sy._e.(..) d805 1 a805 1 sy._e.(..) d841 14 d869 28 d968 1 a968 1 per._e.(
modify, op.,',') d982 1 a982 1 		per._e.(
modify, op.,',') d996 1 a996 1 		per._e.(
create, op.,'|') * d1009 2 a1010 2 		op(999,xfy,'|').
X=[a|b|c]. 		idem,
then syntax err. * d1353 1 a1353 1 		succ./no eff. d1684 28 d1796 1 a1796 1 op(1,xf,xf1).
writeq({- = xf1}). d1911 1 a1911 1 		per._e.(mod.,op.,.) d1919 1 a1919 1 /* op */ writeq(1 .2). d1932 1 a1932 1 /* op */ writeq([1]). d1945 194 d2140 38 d2179 51 a2229 1
d2231 12 d2244 1 @ 1.13 log @*** empty log message *** @ text @d5 1 a5 1 Towards conformity assessment d112 1 a112 1 SICStus
3.12.5-iso d148 10 a157 10 syntax err. OK waits waits waits/OK waits waits waits waits waits d197 1 a197 1 syn._e.(..) d211 1 a211 1 syn._e.(..) d225 1 a225 1 syn._e.(..) d239 1 a239 1 syn._e.(..) a482 14 writeq(-((a,b))). - (a,b) - (a , b) OK OK '-'((a,b)) OK -((a,b)) - (a , b) -(a ',' b) OK d484 1 a484 1 '.'(a,[]) 8.14.2.4 ex.2 d540 1 d546 1 a546 1 OK new d590 1 a590 1 perm._e.(...) d594 1 a594 1 syn._e.(...) d681 1 a681 1 syn.e.(..) d689 2 a690 2 syn._e.(..) syn._e.(..) d696 1 a696 1 syn._e.(..) d737 1 a737 1 syn._e.(..) d747 1 a747 1 syn._e.(..) d749 1 a749 1 OK new d773 2 a774 2 syn._e.(..) syn._e.(..) d776 1 a776 1 syn._e.(..) d874 1 a874 1 OK new d896 28 d925 1 a925 1 permission_error(
create, operator,'|') * d1078 14 d1223 1 a1223 1 syn._e.(..) d1227 1 a1227 1 syn._e.(..) d1233 1 a1233 1 succeeds d1251 1 a1251 1 syn._e.(..) d1255 1 a1255 1 syn._e.(..) d1275 1 a1275 1 domain_e.(op._sp.,yfy) d1472 1 a1472 1 syn._e.(..) d1474 2 a1475 2 syn._e.(..) syn._e.(..) d1478 1 a1478 1 syn._e.(..) d1558 4 a1561 4 syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) d1563 4 a1566 4 syn._e.(..) syn._e.(..) syn._e.(..) syn._e.(..) d1590 1 a1590 1 syn._e.(..) d1594 1 a1594 1 syn._e.(..) d1603 2 a1604 2 syn._e.(..) syn._e.(..) d1618 1 a1618 1 syn._e.(..) d1632 1 a1632 1 syn._e.(..) d1636 1 a1636 1 syn._e.(..) d1660 1 a1660 1 syn._e.(..) d1664 1 a1664 1 syn._e.(..) d1696 152 d1876 5 @ 1.12 log @*** empty log message *** @ text @d133 42 d687 1 a687 1 fails a726 1 a880 14 . syntax err. OK OK OK OK OK new OK OK OK OK d1161 14 d1203 14 a1453 2 d1639 28 @ 1.11 log @*** empty log message *** @ text @d155 1 a155 1 syn._e.(...) d169 1 a169 1 syn._e.(...) d183 1 a183 1 syn._e.(...) d197 1 a197 1 syn._e.(...) d288 1 a288 1 syntax err, d422 1 a422 1 waits d441 14 d517 1 a517 1 OK new d528 1 a528 1 X = 0X1. d542 42 d598 14 d627 30 d660 2 a661 2 syn._e.(...) syn._e.(...) d667 1 a667 1 syn._e.(...) a670 2 d709 1 a709 1 syn._e.(...) d719 1 a719 1 syn._e.(...) d721 1 a721 1 OK new d745 2 a746 2 syn._e.(...) syn._e.(...) d748 1 a748 1 syn._e.(...) d860 1 a860 1 OK new d897 1 a897 1 idem,
then syntax err. d994 14 d1017 15 a1031 1 succeeds d1050 70 d1153 1 a1153 1 syn._e.(...) d1157 1 a1157 1 syn._e.(...) d1167 1 a1167 1 syn._e.(...) d1171 1 a1171 1 syn._e.(...) d1388 1 a1388 1 syn._e.(...) d1390 2 a1391 2 syn._e.(...) syn._e.(...) d1394 1 a1394 1 syn._e.(...) d1450 1 a1450 1 OK new d1476 4 a1479 4 syn._err(...) syn._err(...) syn._err(...) syn._err(...) d1481 33 a1513 4 syn._err(...) syn._err(...) syn._err(...) syn._err(...) d1521 2 a1522 2 syn._e.(...) syn._e.(...) d1536 1 a1536 1 syn._e.(...) d1550 1 a1550 1 syn._e.(...) d1554 1 a1554 1 syn._e.(...) d1578 1 a1578 1 syn._e.(...) d1582 1 a1582 1 syn._e.(...) a1585 16 X = 2'1. syntax err. OK X = 1 X = 1 X = 1 OK new waits OK X = 1 X = 1 @ 1.10 log @*** empty log message *** @ text @d150 1 a150 1 OK d155 1 a155 1 syn._e(...) d169 1 a169 1 syn._e(...) d183 1 a183 1 syn._e(...) d197 1 a197 1 syn._e(...) d203 14 d231 56 d332 2 a333 2 fails ex._e(..) d337 1 a337 1 ex._e(..) d459 1 a459 1 OK new d473 1 a473 1 OK new d560 2 a561 2 syn._e(...) syn._e(...) d567 1 a567 1 syn._e(...) d575 1 a575 1 1.0e+100 ac al. a1132 2 d1223 1 a1223 1 waits d1237 1 a1237 1 waits d1262 30 d1296 2 a1297 2 syn._e(...) syn._e(...) d1311 1 a1311 1 syn._e(...) d1325 1 a1325 1 syn._e(...) d1329 1 a1329 1 syn._e(...) d1334 14 d1353 1 a1353 1 syn._e(...) d1357 1 a1357 1 syn._e(...) d1376 1 @ 1.9 log @Now waits @ text @d150 1 a150 1 waits d203 28 d477 1 a477 1 fails d1039 1 a1039 1 readfail @ 1.8 log @*** empty log message *** @ text @d79 3 d98 1 a98 2

  • hangs, if the system does not react, but only sending EOF or some character sequence will cause read/1 to return. d150 2 a151 2 hangs hangs d165 1 a165 1 hangs d175 28 d206 2 a207 2 hangs hangs d209 2 a210 2 OK new hangs d212 2 a213 2 hangs hangs d223 1 a223 1 OK new d231 14 d324 1 a324 1 hangs d433 2 a434 2 succeeds !p succeeds!! d650 1 a650 1 OK new d904 1 a904 1 succ./no effect d919 1 a919 1 hangs d928 1 a928 1 hangs d948 1 a948 1 hangs d988 1 a988 1 hangs d1000 1 a1000 1 OK new d1026 1 a1026 1 hangs d1039 1 a1039 1 syntax err./hangs d1041 1 a1041 1 hangs d1044 1 a1044 1 OK new d1046 1 a1046 1 hangs d1053 1 a1053 1 syntax err./hangs d1055 2 a1056 2 hangs hangs d1058 3 a1060 3 OK new hangs hangs d1072 2 a1073 2 OK new hangs d1086 2 a1087 2 OK new hangs d1097 1 a1097 1 hangs d1103 2 a1104 2 hangs hangs d1113 1 a1113 1 OK new d1127 2 a1128 2 hangs hangs d1141 2 a1142 2 hangs hangs d1184 1 a1184 1 hangs d1189 1 a1189 1 hangs d1198 1 a1198 1 hangs d1212 1 a1212 1 hangs d1224 1 a1224 1 OK0 d1228 2 a1229 2 OK new hangs @ 1.7 log @YAP progress! @ text @d110 1 a110 1 SICStus
    3.12.5 d161 1 a161 1 OK@@@@ d167 1 a167 1 @@@@@@ d179 1 a179 1 hangs d193 1 a193 1 hangs d243 14 d271 14 d405 1 a405 1 OK d1028 1 a1028 1 hangs d1042 1 a1042 1 hangs d1139 1 a1139 1 hangs d1153 15 a1167 1 hangs d1177 15 @ 1.6 log @*** empty log message *** @ text @d159 14 d205 1 a205 1 * = * !p d289 1 a289 1 /* !p d303 1 a303 1 /** !p d344 1 a344 1 X = 0X1. d348 1 a348 1 X = 1 !p d362 1 a362 1 succeeds !p d408 1 a408 1 1e+100 d534 1 a534 1 fails !p d548 1 a548 1 fails !p @ 1.5 log @Daniel Diaz! @ text @d84 14 a97 1 incompatible between systems. d136 42 d182 2 a183 2 '
    ' '
    ' d319 1 a319 1 syn._e.(...) d1008 16 d1093 28 d1123 2 d1136 11 @ 1.4 log @Undisputed cases @ text @d236 1 a236 1 /** d252 16 a267 1 '*/' d281 1 a281 1 X = 1 d292 1 a292 1 succeeds d303 47 d384 1 a384 1 syn._e.(...) d465 1 a465 1 fails d479 1 a479 1 fails d509 1 a509 1 hangs d523 1 a523 1 syn._e.(...) d551 1 a551 1 succeeds d741 14 d859 1 a859 1 hangs d894 2 d903 1 a903 1 hangs d917 1 a917 1 hangs d1001 1 a1001 1 succeeds d1008 13 a1020 5 d1025 6 d1035 1 @ 1.3 log @SICStus entry removed (was 3.12.5 in noniso mode...) @ text @d930 6 d937 7 @ 1.2 log @YAP @ text @d203 1 a203 1 '.'(a,[]) 8.14.2.4 2nd ex a301 15 -1 = -0x1. succeeds OK OK OK OK OK syn._e.(...) OK OK OK @ 1.1 log @Initial revision @ text @d136 1 a136 1 * = * (p) d204 2 a205 2 '.'(a,[]) '.'(a,[]) d207 3 a209 3 '.'(a,[]) '.'(a,[]) '.'(a,[]) d212 1 a212 1 '.'(a,[]) d220 1 a220 1 /* d229 14 d264 1 a264 1 X = 1 (p) d278 1 a278 1 succeeds d455 13 a467 1 @