head 1.282; access; symbols; locks ulrich:1.282; strict; comment @# @; 1.282 date 2024.10.08.15.55.15; author ulrich; state Exp; branches; next 1.281; 1.281 date 2024.09.04.16.17.00; author ulrich; state Exp; branches; next 1.280; 1.280 date 2024.06.06.09.30.41; author ulrich; state Exp; branches; next 1.279; 1.279 date 2024.06.03.12.07.25; author ulrich; state Exp; branches; next 1.278; 1.278 date 2024.05.14.17.25.31; author ulrich; state Exp; branches; next 1.277; 1.277 date 2024.05.14.17.19.25; author ulrich; state Exp; branches; next 1.276; 1.276 date 2024.05.06.15.10.18; author ulrich; state Exp; branches; next 1.275; 1.275 date 2024.05.06.14.44.33; author ulrich; state Exp; branches; next 1.274; 1.274 date 2024.03.11.06.47.13; author ulrich; state Exp; branches; next 1.273; 1.273 date 2024.02.14.08.21.23; author ulrich; state Exp; branches; next 1.272; 1.272 date 2024.02.09.09.35.49; author ulrich; state Exp; branches; next 1.271; 1.271 date 2024.02.09.09.32.07; author ulrich; state Exp; branches; next 1.270; 1.270 date 2024.01.05.07.14.07; author ulrich; state Exp; branches; next 1.269; 1.269 date 2024.01.04.12.13.31; author ulrich; state Exp; branches; next 1.268; 1.268 date 2024.01.04.08.26.36; author ulrich; state Exp; branches; next 1.267; 1.267 date 2023.12.07.08.49.02; author ulrich; state Exp; branches; next 1.266; 1.266 date 2023.12.06.03.53.31; author ulrich; state Exp; branches; next 1.265; 1.265 date 2023.12.04.18.26.48; author ulrich; state Exp; branches; next 1.264; 1.264 date 2023.11.30.12.34.47; author ulrich; state Exp; branches; next 1.263; 1.263 date 2023.11.28.11.00.00; author ulrich; state Exp; branches; next 1.262; 1.262 date 2023.11.21.19.55.46; author ulrich; state Exp; branches; next 1.261; 1.261 date 2023.11.21.19.54.10; author ulrich; state Exp; branches; next 1.260; 1.260 date 2023.11.20.08.41.01; author ulrich; state Exp; branches; next 1.259; 1.259 date 2023.11.13.20.34.41; author ulrich; state Exp; branches; next 1.258; 1.258 date 2023.11.13.20.27.47; author ulrich; state Exp; branches; next 1.257; 1.257 date 2023.11.13.20.19.54; author ulrich; state Exp; branches; next 1.256; 1.256 date 2023.11.13.18.53.43; author ulrich; state Exp; branches; next 1.255; 1.255 date 2023.08.30.08.49.57; author ulrich; state Exp; branches; next 1.254; 1.254 date 2023.08.30.08.08.51; author ulrich; state Exp; branches; next 1.253; 1.253 date 2023.08.18.06.38.35; author ulrich; state Exp; branches; next 1.252; 1.252 date 2023.07.25.08.46.10; author ulrich; state Exp; branches; next 1.251; 1.251 date 2023.07.25.08.19.08; author ulrich; state Exp; branches; next 1.250; 1.250 date 2023.07.24.15.22.59; author ulrich; state Exp; branches; next 1.249; 1.249 date 2023.07.21.09.18.35; author ulrich; state Exp; branches; next 1.248; 1.248 date 2023.07.21.09.08.25; author ulrich; state Exp; branches; next 1.247; 1.247 date 2023.07.21.09.05.27; author ulrich; state Exp; branches; next 1.246; 1.246 date 2023.07.21.09.02.48; author ulrich; state Exp; branches; next 1.245; 1.245 date 2023.07.21.08.49.34; author ulrich; state Exp; branches; next 1.244; 1.244 date 2023.07.20.18.44.53; author ulrich; state Exp; branches; next 1.243; 1.243 date 2023.07.03.06.55.00; author ulrich; state Exp; branches; next 1.242; 1.242 date 2023.07.01.05.56.19; author ulrich; state Exp; branches; next 1.241; 1.241 date 2023.06.29.20.51.56; author ulrich; state Exp; branches; next 1.240; 1.240 date 2023.06.29.20.50.42; author ulrich; state Exp; branches; next 1.239; 1.239 date 2023.06.11.11.15.38; author ulrich; state Exp; branches; next 1.238; 1.238 date 2023.06.04.05.55.34; author ulrich; state Exp; branches; next 1.237; 1.237 date 2023.06.04.05.48.41; author ulrich; state Exp; branches; next 1.236; 1.236 date 2023.06.04.05.47.10; author ulrich; state Exp; branches; next 1.235; 1.235 date 2023.05.14.08.48.53; author ulrich; state Exp; branches; next 1.234; 1.234 date 2023.05.07.11.22.44; author ulrich; state Exp; branches; next 1.233; 1.233 date 2023.05.07.11.19.43; author ulrich; state Exp; branches; next 1.232; 1.232 date 2022.05.25.19.22.30; author ulrich; state Exp; branches; next 1.231; 1.231 date 2022.05.25.12.47.32; author ulrich; state Exp; branches; next 1.230; 1.230 date 2022.05.25.06.03.17; author ulrich; state Exp; branches; next 1.229; 1.229 date 2022.01.10.19.12.37; author ulrich; state Exp; branches; next 1.228; 1.228 date 2022.01.09.11.59.06; author ulrich; state Exp; branches; next 1.227; 1.227 date 2021.08.23.09.08.23; author ulrich; state Exp; branches; next 1.226; 1.226 date 2020.08.01.16.47.02; author ulrich; state Exp; branches; next 1.225; 1.225 date 2020.08.01.16.36.59; author ulrich; state Exp; branches; next 1.224; 1.224 date 2020.03.24.23.30.49; author ulrich; state Exp; branches; next 1.223; 1.223 date 2019.05.24.14.20.03; author ulrich; state Exp; branches; next 1.222; 1.222 date 2019.05.09.12.53.16; author ulrich; state Exp; branches; next 1.221; 1.221 date 2019.05.09.12.49.08; author ulrich; state Exp; branches; next 1.220; 1.220 date 2019.04.28.09.18.09; author ulrich; state Exp; branches; next 1.219; 1.219 date 2019.04.08.11.26.01; author ulrich; state Exp; branches; next 1.218; 1.218 date 2019.04.06.21.49.08; author ulrich; state Exp; branches; next 1.217; 1.217 date 2019.04.05.14.22.07; author ulrich; state Exp; branches; next 1.216; 1.216 date 2018.06.04.08.49.33; author ulrich; state Exp; branches; next 1.215; 1.215 date 2018.06.04.08.44.59; author ulrich; state Exp; branches; next 1.214; 1.214 date 2018.05.31.18.18.53; author ulrich; state Exp; branches; next 1.213; 1.213 date 2018.05.26.14.49.15; author ulrich; state Exp; branches; next 1.212; 1.212 date 2018.01.15.14.53.14; author ulrich; state Exp; branches; next 1.211; 1.211 date 2017.10.30.20.02.45; author ulrich; state Exp; branches; next 1.210; 1.210 date 2017.08.08.13.32.39; author ulrich; state Exp; branches; next 1.209; 1.209 date 2017.08.07.09.30.46; author ulrich; state Exp; branches; next 1.208; 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.282 log @html fix @ text @ Conformity testing I; Syntax

Works for ISO/IEC JTC1 SC22 WG17
Conformity Testing 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(G_0),G_0. or read(G_0),G_0, read(H_0),H_0. The comment /**/ is replaced by the last preceding entry not containing /**/ .

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, ³: Cor.3 		IF
V5.1B 		SWI
6.3.18-3* 		YAP
7.4.0 		B
7.8#5 		GNU
1.4.5 		SICStus
4.9β3 		Minerva
2.4 		XSB
5.0.0 		Ciao
1.20.0 		IV
1.4.2 		ECLiPSe
7.0#42 -L iso
** 		Scryer
0.9.4
#QueryCodexIFSWIYAPBGNUSICStusMinervaXSBCiaoIVECLiPSeScryer
number of conforming queries 329/332 265 238 244 249 328 305 233 203 250 279 329 332
recent improvements 8+16 28 60 62 44 53 67 21 new 2
recent regressions 1 4 1 20 2
misinterpretations 1 27 43 27 23 0 0 26 44 28 18 1 0
rejections 2 15 13 15 23 0 0 29 24 4 12 0 0
write syntax deviations 0 4 4 8 6 2 0 22 17 5 3 0 0
extensions 21 34 38 31 2 27 22 44 44 20 2 0
read/1 canonical syntax OK yes #203 yes yes yes yes yes yes #329 yes #35 yes yes
read/1 syntax OK #286 #203 #56 #49 #111 yes yes new #151 #251 #197 #35 yes yes
write_canonical/1 OK yes #18 #227 #227 #172 yes yes new #18 #1, #34, #330 yes new yes yes yes
writeq/1 OK yes ³ #135 #156 #150 #18 #260 yes new #135 #1, #183 223 #135 #332 yes
1 writeq('\n'). '\n' OK OK OK OK OK OK OK '
' 		OK new OK OK OK
2 ' syntax err. OK waits waits waits OK waits OK waits OK new waits OK OK
3 ) waits sy._e.(..) OK OK OK OK OK OK OK OK OK sy._e.(..) OK
261 )
'
syntax err. OK waits waits waits waits waits OK waits OK new waits OK OK
4 . syntax err. OK OK OK OK OK new OK OK OK OK OK OK OK
5 writeq(' '). % horiz. tab syntax err. '\t' '\t' '\t' '\t' OK new OK '\t' ' ' '\t' new '\t' OK OK
177 0'\t=0' . % horiz. tab syntax err. succeeds succeeds succeeds succeeds OK new OK succeeds succeeds new succeeds succeeds OK OK
6 writeq('
'). 		syntax err. OK '\n' OK '\n' OK OK OK '
' 		OK new OK OK OK
7 writeq('\
'). % "\\\n" 		'' OK OK new err reg OK new OK OK sy._e.(..) OK OK OK OK OK
8 writeq('\
a'). % "\\\na" 		a OK OK OK new OK new OK OK sy._e.(..) OK OK OK OK OK
9 writeq('a\
b'). % "a\\\nb" 		ab OK OK OK OK new OK OK sy._e.(..) OK OK 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 OK OK
11 writeq('\ '). syntax err. OK OK new OK new OK new OK OK OK '\\ ' new '' '\\ ' OK OK
193 writeq('\
'). % "\\ \n" 		syntax err. OK OK new OK new OK new OK OK OK '\\
' 		OK new OK OK OK
12 writeq('\ '). % "\\\t" syntax err. OK OK new OK new OK new OK OK OK '\\ ' '' '\\\t' OK OK
13 writeq('\t'). '\t' OK OK OK OK OK OK OK ' ' OK new OK OK OK
14 writeq('\a'). e.g. '\a' OK OK OK OK OK OK '\u0007' '^G' OK new OK OK OK
15 writeq('\7\'). e.g. '\a' OK OK OK new OK OK OK '\u0007' '^G' OK new OK OK OK
16 writeq('\ca'). syntax err. OK a a new OK new OK OK OK '\\ca' new a '\\ca' OK OK
241 writeq('\d'). syntax err. OK OK '\177\' new OK OK '\x7F\' new OK '\\d' new '\177\' new '\\d' OK OK
17 writeq('\e'). syntax err. '\e' '\033\' '\033\' new OK new OK '\x1B\' new '\u001b' '\\e' new '\033\' new '\\e' OK OK
18 writeq('\033\'). e.g. '\33\' or repr. err. '\e' '\033\' '\033\' new '^[' '\x1b\' '\x1B\' new '\u001b' '^[' '\033\' '\x1b\' '\33\' '\x1b\'
301 writeq('\0\'). e.g. '\0\' or repr. err. syn. e. '\000\' '' ' err. '\x0\' '\u0000' '' '' '' '\0\' '\x0\'
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.,..) OK OK
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.,..) OK OK
22 writeq('\u1'). syntax err. OK OK OK new OK new OK OK OK '' new '\001\' '\\u1' OK OK
312 writeq('\u0021'). syntax err. OK ! ! OK OK OK ! ! ! '\\u0021' OK OK
313 put_code(0'\u0021). syntax err. OK ! ! OK OK waits ! ! ! OK OK OK
314 writeq("\u0021"). syntax err. OK [33] [33] OK OK OK [!] [33] [33] '\\u0021' OK OK
315 writeq('\x21\'). ! OK OK OK OK OK OK OK OK new OK OK OK OK
316 writeq('\x0021\'). ! OK OK OK OK OK OK OK OK new OK OK OK OK
23 X = 0'\u1. syntax err. OK OK new OK new OK OK OK OK X = 1 reg X = 1 reg OK OK OK
24 writeq(' syntax err. OK waits waits waits OK new waits OK waits OK new waits OK OK
25 writeq(. syntax err. OK OK OK OK OK new OK OK OK OK OK OK OK
26 '\
''. 		syntax err. OK waits waits new waits OK waits ex._e.(..) waits OK new waits OK OK
210 X = 0'\. syntax err. OK waits waits OK OK new OK OK X = 92. waits X = 92. OK OK
211 X = 0'\. . syntax err. OK OK new OK new OK OK OK OK X = 92. X = 46. OK OK OK
222 writeq((-)-(-)). (-)-(-) (-) - (-) (-)- (-) (-)- (-) OK OK OK (-) - (-) (-) - (-) new OK OK OK OK
223 writeq(((:-):-(:-))). (:-):-(:-) (:-) :- (:-) (:-):- (:-) (:-):- (:-) OK OK OK new (:-) :- (:-) ((:-) :- (:-)) new (:-):- :- OK OK OK
27 writeq((*)=(*)). (*)=(*) (*) = (*) (*)= (*) (*)= (*) new OK new OK OK new (*) = (*) (*) = (*) new * = * OK OK OK
28 writeq([:-,-]). [:-,-] ³ OK OK OK OK new OK OK [(:-),(-)] [(:-),(-)] reg OK OK OK OK
29 writeq(f(*)). f(*) OK OK OK OK new OK OK f((*)) f((*)) reg OK OK 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 OK OK
31 writeq(f(;,'|',';;')). f(;,'|',';;') OK OK OK OK new OK OK f((';'),'|',';;') f((';'),'|',';;') OK OK OK OK
32 writeq([.,.(.,.,.)]). ['.','.'('.','.','.')] ³ OK OK OK OK new OK OK OK [('.'),'.'(('.'),
('.'),('.'))] reg 		OK OK 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 OK OK
34 write_canonical([a]). '.'(a,[])³ OK OK '.'(a, []) new OK new OK OK [a] [a] OK .(a,[]) OK OK
35 writeq('/*'). '/*' OK OK OK new OK OK OK OK OK OK sy._e.(..) OK OK
203 writeq(//*). //* waits OK OK OK new OK OK '//*' OK OK OK OK OK
282 writeq(//*.*/). //*.*/ / OK OK OK OK OK '//*.*/' OK OK OK OK OK
36 writeq('/**'). '/**' OK OK OK new OK OK new OK OK OK OK sy._e.(..) OK OK
37 writeq('*/'). */ OK OK OK OK new OK new OK OK OK OK OK OK OK
38 "\'\`\"" = "'`""". % " succeeds syn. e. OK OK new OK OK OK OK OK new OK OK OK OK
179 "\'\"" = "'""". % " succeeds OK OK OK new OK OK OK OK OK new OK OK OK OK
178 "\`" = "`". succeeds syn. e. OK OK OK OK OK OK OK OK OK OK OK
39 '\'\`\"' = '''`"'. succeeds syn. e. OK OK new OK OK OK OK OK new OK OK OK OK
40 writeq('\'\`\"\"'). e.g. '\'`""' syn. e. OK OK new OK '''`""' OK '\'`\"\"' '''`""' new '''`""' OK OK OK
41 ('\\') = (\). succeeds OK OK 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 OK OK
43 X = 0X1. syntax err. OK OK OK new OK OK new OK OK OK OK OK OK OK
44 float(.0). syntax err. OK OK OK OK new OK OK OK succeeds OK OK 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 OK OK
46 float(- .0). syntax err. OK OK fails OK new OK OK OK succeeds OK OK OK OK
47 float(1E9). syntax err. succeeds succeeds succeeds OK OK OK succeeds succeeds reg OK OK OK OK
48 integer(1e). syntax err. succeeds OK OK 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 fails reg OK OK OK OK
50 op(9,xf,e).
1e-9 = -(e(1),9). 		succeeds fails fails fails OK OK OK fails fails reg OK 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 OK OK
204  /**/ writeq(1e). e.g. 1 e 1 OK 1.0 OK OK OK OK sy._e.(..) reg 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 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 OK OK
53 writeq(1.0e100). e.g. 1.0e+100 OK OK new OK new OK OK OK OK OK new OK OK OK OK
54 float(1.0ee9). syntax err. OK OK OK OK new OK OK OK OK OK OK OK OK
286 (- (1)) = -(1). succeeds° OK OK OK OK OK OK OK OK OK OK OK OK
287 (- -1) = -(-1). succeeds° OK OK 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 OK OK
56 integer(- 1). succeeds OK fails OK OK OK new OK OK OK OK OK OK OK
57 integer('-'1). succeeds fails fails OK OK OK OK OK OK OK OK OK OK
58 integer('-' 1). succeeds fails fails OK OK OK new OK OK OK OK OK OK OK
59 integer(- /*.*/1). succeeds OK fails OK OK OK new OK OK OK OK OK OK OK
60 integer(-/*.*/1). syntax err. succeeds OK OK OK OK OK OK OK OK OK OK OK
61 integer('-'/*.*/1). succeeds fails fails OK OK OK new OK OK OK OK OK OK OK
62 atom(-/*.*/-). succeeds fails OK OK OK OK OK OK OK OK OK OK OK
63 op(0,fy,-). succeeds OK OK 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.(..) OK OK
64  /**/ integer(- 1). succeeds OK sy._e.(..) OK new OK OK new OK OK OK OK sy._e.(..) OK OK
136  /**/ writeq(-(1)). -(1) OK OK OK OK new OK OK OK OK new OK OK OK OK
328  /**/ writeq([-]). [-] OK OK OK OK OK OK [(-)] [(-)] OK OK OK OK new
135 writeq(-(1)). - (1)³ - 1 - 1 OK new OK new OK new OK new - 1 OK new -(1) -1 OK OK
182 writeq(-(-1)). - -1 OK OK OK new - (-1) OK OK new OK - (-1) new -(-1) OK OK 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 OK OK
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 OK OK
139 writeq(-((a,b))). - (a,b)³ - (a , b) OK new OK new OK new OK OK new - (a , b) OK new OK OK 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 OK OK
140 writeq(-a). -a - a OK OK OK new OK OK new - a - a OK OK OK OK
184 writeq(-(-)). - (-) OK OK new OK new -(-) OK OK new OK OK new OK OK OK OK
185 writeq(-[-]). -[-] ³ - [-] OK OK OK new OK OK new - [(-)] - [(-)] reg OK OK OK OK
188 writeq(-p(c)). -p(c) - p(c) OK OK OK new OK OK new - p(c) - p(c) OK OK OK OK
189 writeq(-{}). -{} - {} OK OK - {} OK OK new - {} - '{}' OK OK OK OK
190 writeq(-{a}). -{a}³ - {a} OK OK OK new OK OK new - {}(a) ³ - {a} OK OK OK OK
191 writeq(-(-a)). - -a - - a OK OK OK new OK OK new - - a - - a new OK OK OK OK
192 writeq(-(-(-a))). - - -a - - - a OK OK OK new OK OK new - - - a - - - a new OK OK OK OK
216 writeq(-(-(1))). - - (1) - - 1 - - 1 OK new - (- (1)) OK OK new - - 1 OK new - -(1) - -1 OK OK
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 OK OK
248  /**/ writeq(- (1~2)). - (1~2)³ - 1 ~ 2 - 1~2 - (1)~2 OK OK OK new - 1 ~ 2 - 1 ~ 2 -1~2 -1~2 OK OK
249  /**/ writeq(1~2). 1~2 1 ~ 2 OK OK OK OK OK 1 ~ 2 1 ~ 2 OK OK OK OK
278 op(9,xfy,.), writeq(-[1]). -[1] - [1] OK OK OK OK OK new - 1 '.' [] - [1] OK OK OK OK
279 op(9,xf,'$VAR'), writeq(- '$VAR'(0)). -A ³ - A OK - (0)'$VAR' - (A) OK OK new - A - A new OK -0'$VAR' OK OK
296  /**/ writeq('$VAR'(0)). A OK OK 0 '$VAR' OK OK OK OK OK OK 0'$VAR' OK OK
55 op(1,yf,yf1).
{-1 yf1}={yf1(X)}. 		X = -1. OK OK OK OK OK OK sy._e.(..) OK OK OK OK OK
65 compound(+1). succeeds ² OK fails OK new OK OK OK new OK w.op OK OK OK w.op OK OK
66 compound(+ 1). succeeds ² OK OK OK new OK OK OK new OK w.op OK OK OK w.op OK OK
277 writeq(+1^2). +1^2 ² + 1 ^ 2 1^2 OK OK OK OK + 1 ^ 2 w.op + 1 ^ 2 OK OK w.op OK OK
67 op(0,fy,+).
compound(+1). 		syntax err. OK fails OK OK new OK OK new OK OK new OK OK OK OK
257 writeq([+{a},+[]]). [+{a},+[]] ² ³ [+ {a},+ []] OK OK [+{a},+ []] OK OK new [+ {}(a),+ []] [+ {a},+ []] OK OK w.op OK OK
68 [(:-)|(:-)]=[:-|:-]. succeeds OK OK OK OK OK new OK OK 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 OK OK
70 op(1000,xfy,','). p._e.(m., o.,',') OK OK OK OK OK OK succeeds OK succeeds OK OK OK
71 op(1001,xfy,','). p._e.(m., o.,',') or
p._e.(c., o.,',') 		OK OK OK OK OK OK succeeds OK OK 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 OK OK
73  /**/ X=[a|b]. X=[a|b]. OK OK OK OK OK OK OK OK X=[a | b] new OK OK OK
285  /**/ X=[(a|b)]. syntax err. X=[a '|' b] X=[(a| b)] X=[(a|b)] X=[(a|b)] X=[(a|b)] X=[(a;b)] OK OK X=[a | b] OK X=[(a|b)] OK
219  /**/ [a|[]]=[a]. succeeds OK OK OK OK OK OK OK OK fails OK OK OK
74  /**/ X=[a|b|c]. syntax err. X=[a|(b|c)] OK OK OK OK OK OK OK X=[a | b | c ] OK OK OK
75 var(a:-b). syntax err. OK fails OK OK OK OK OK OK OK OK OK OK
76 :- = :- . syntax err. OK OK OK succeeds OK succeeds OK OK succeeds OK OK OK
77 - = - . syntax err. OK succeeds OK succeeds OK succeeds OK succeeds succeeds OK OK OK
78 * = * . syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK OK OK
79 current_op(200,fy,-). succeeds OK OK OK new OK OK OK OK OK new OK OK OK OK
80 current_op(200,fy,+). succeeds ² OK OK OK OK OK OK fails OK new OK fails OK OK
81 {- - c}={-(-(c))}. succeeds OK OK OK OK new OK OK OK OK new OK OK OK OK
82 (- -) = -(-). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK OK OK
83 (- - -) = -(-(-)). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK OK OK
84 (- - - -) = -(-(-(-))). syntax err. succeeds succeeds succeeds succeeds OK succeeds succeeds succeeds succeeds OK OK OK
85 {:- :- c} = {:-(:-,c)}. syntax err. OK OK succeeds succeeds OK succeeds OK OK succeeds OK OK OK
86 {- = - 1}={(-(=)) - 1}. syntax err. succeeds fails succeeds succeeds OK succeeds succeeds fails succeeds OK OK OK
87 write_canonical((- = - 1)). syntax err. -(-(=),1) =(-,-(1)) -(-(=),1) -(-(=),1) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) OK OK OK
88 write_canonical((- = -1)). syntax err. -(-(=),1) =(-,-1) -(-(=),1) -(-(=),1) OK -(-(=),1) -(-(=),1) =(-,-1) -(-(=),1) OK OK OK
89 write_canonical((-;)). syntax err. OK OK -(;) -(;) OK -(;) -(';') OK new -(;) OK OK OK
90 write_canonical((-;-)). syntax err. ;(-,-) ;(-,-) OK ;(-,-) OK ;(-,-) OK ';'(-,-) reg ;(-,-) OK OK OK
91 write_canonical((:-;-)). syntax err. ;(:-,-) OK OK ;(:-,-) OK ;(:-,-) OK ';'(:-,-) reg ;(:-,-) OK OK OK
92 [:- -c] = [(:- -c)]. syntax err. OK succeeds fails fails OK fails OK OK fails OK OK OK
93 writeq([a,b|,]). syntax err. OK [a,b|','] OK OK OK OK OK OK OK OK OK OK
94 X ={,}. syntax err. OK X = {','}. OK OK OK OK OK OK OK OK OK OK
95 {1} = {}(1). succeeds OK OK OK OK new OK OK OK OK new OK OK OK OK
96 write_canonical({1}). {}(1) OK OK OK OK new OK OK OK '{}'(1) OK OK OK OK
97 '[]'(1) = [ ](X). X = 1 OK OK OK OK new OK OK OK sy._e.(..) OK OK OK OK
98 X = [] (1). syntax err. OK OK X = [](1) X = [](1) reg OK OK OK OK X = [](1) OK OK OK
99 op(100,yfy,op). d._e.(op._s., yfy) OK OK new OK OK OK OK succ./no eff. OK OK OK OK OK
100 '''' = '\''. succeeds OK OK OK new OK OK OK OK OK new OK OK OK OK
101 a = '\141\'. succeeds OK OK OK new OK new OK OK OK OK new OK OK OK OK
102 a = '\141'. syntax err. OK succeeds OK new OK OK OK OK succeeds waits OK OK OK
103 X = '\141\141'. X = a141 OK OK OK new OK new OK OK OK OK new OK OK OK OK
104 X = '\9'. syntax err. OK OK new OK new OK new OK OK OK X = '\\9' X = '9' X = '\\9' OK OK
105 X = '\N'. syntax err. OK OK new OK new OK new OK OK waits X = '\\N' X = 'N' X = '\\N' OK OK
106 X = '\\' . syntax err. X = (\) X = (\) X = (\) X = (\) OK new X = (\) X = (\) X = (\) X = (\) OK OK OK
107 X = '\77777777777\'. syntax/repr. err. OK OK new OK new OK new OK OK OK waits OK new X = ÿ. OK OK
108 a = '\x61\'. succeeds OK OK OK new OK OK OK OK OK new OK OK OK OK
109 atom_codes('\xG\',Cs). syntax err./waits OK waits OK new OK OK new OK waits waits Cs = [] reg waits OK OK
110 atom_codes('\xG1\',Cs). syntax err./waits OK waits OK new OK OK new waits waits waits new Cs = [1] waits OK OK
111 atom(`). syntax err. succeeds succeeds waits new succeeds OK new waits OK succeeds succeeds waits OK OK
112 atom(`+). syntax err. succeeds succeeds waits new succeeds OK new waits OK succeeds succeeds waits OK OK
297 atom(`
`). 		syntax err. OK OK err OK OK OK OK OK OK OK OK OK
113 X = `a`. syntax err. sy._e.(..) waits X = `a` reg sy._e.(..) X = 'a' OK new OK waits waits OK X = `a` OK
114 integer(0'\'). succeeds OK OK new OK OK OK OK OK OK OK OK OK OK
115 integer(0'''). succeeds OK OK new sy._e.(..) OK OK 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 OK OK
117 integer(0''). syntax err. OK succeeds succeeds OK new OK new OK OK succeeds succeeds OK OK OK
195 op(100,xf,''). succeeds OK OK 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 OK OK
196  /**/ writeq(0 ''). 0 '' or 0'' OK OK 0'' OK new OK OK OK OK new OK new 0'' OK OK
197  /**/ writeq(0''). 0 '' or 0'' sy._e.(..) 39 39 sy._e.(..) OK new OK new sy._e.(..) 39 39 sy._e.(..) OK OK
118 op(100,xfx,''). succeeds OK OK 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 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.(..) OK OK
206 op(100,xf,f).
writeq(0'f'). 		syntax err. OK waits waits 102 OK waits OK 102 OK new waits OK OK
207  /**/ writeq(0'f'f'). e.g. 102 f OK OK OK syn. e. OK OK OK waits OK OK OK OK
209  /**/ writeq(0'ff). 102 f OK OK 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 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 ' OK OK
121 X = 2'1. syntax err. OK X = 1 X = 1 X = 1 OK new waits OK X = 1 X = 1 waits OK OK
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 OK OK
262  /**/ functor(2 '1'y, F, A). F = ('1'), A = 2. OK OK 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 OK OK
124 X =0'\x41\. X = 65 repr. err. waits waits OK new OK OK OK OK new OK OK OK OK
125 X =0'\x1\. X = 1 repr. err. waits waits OK new OK OK OK OK new OK OK OK OK
127 X is 16'mod'2. X = 0 OK OK new t._e.(..) sy._e.(..) OK OK OK waits OK OK OK OK
128 X is 37'mod'2. X = 1 OK OK new sy._e.(..) t._a.(..) OK OK OK sy._e.(..) OK OK OK OK
129 X is 0'mod'1. syntax err. waits waits waits OK OK new waits OK waits OK new waits. OK OK
130 X is 1'+'1. X = 2 OK OK new t._e.(..) reg sy._e.(..) OK OK OK sy._e.(..) OK OK OK OK
212 X is 1'\
+'1. 		X = 2. OK OK sy._e.(..) waits OK OK sy._e.(..) waits OK OK 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 OK OK
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.(..) OK OK
303 X = 0'\
a. 		syntax err. OK OK OK OK OK OK OK X = 97 reg OK OK OK OK
214 X is 0'\ waits repr. err. OK OK OK OK new OK new sy._e.(..) OK OK OK OK OK
126 X = 0'\
.\ 		waits repr. err. sy._e.(..) OK new OK OK OK new sy._e.(..) OK OK OK OK OK
131 op(100,fx,' op'). succeeds OK OK 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 OK OK
133  /**/ writeq(' op'[]). ' op'[] ' op' [] OK ' op' [] ' op' [] OK OK ' op' [] ' op' [] OK OK OK OK
134 op(1,xf,xf1).
writeq({- =xf1}). 		syntax err. {- (=) xf1} { (-)= (xf1)} {- (=)xf1} {-(=)xf1} OK {- ((=)xf1)} {}(- (=) xf1) {(-) = (xf1)} new {- =xf1} OK OK OK
137 writeq(- (a*b)). - (a*b) - (a * b) OK new OK OK new OK OK new - (a * b) - (a * b) new OK OK OK OK
138 writeq(\ (a*b)). \ (a*b) \ (a * b) OK OK OK new OK OK \ (a * b) \ (a * b) new OK OK OK OK
141 current_op(P,xfy,.). fails OK OK P = 999 OK new OK OK OK P = 661 OK OK OK OK
142 op(100,xfy,.). succeeds OK OK OK OK new OK OK 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 OK OK
144  /**/ writeq([1]). [1] OK OK OK OK OK OK 1 '.' [] OK OK OK OK OK
283  /**/ writeq(-[1]). -[1] - [1] OK OK OK OK OK new - 1 '.' [] - [1] OK OK OK OK
221  /**/ X = 1.e. X = [1|e]. OK OK OK OK OK OK X = 1 '.' e. syn. e. reg OK OK OK OK
258  /**/ writeq(ok).%
1 = X. 		ok X = 1 OK OK OK X = [writeq(
ok)|1] 		OK OK OK OK OK OK OK OK
145 write_canonical('$VAR'(0)). '$VAR'(0) OK OK new OK OK 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 OK OK
244 writeq('$VAR'(0)). A ³ OK OK OK OK OK OK OK OK OK OK OK OK
245 writeq('$VAR'(-1)). '$VAR'(-1) OK S_1 OK new OK OK OK OK OK new OK OK OK OK
246 writeq('$VAR'(-2)). '$VAR'(-2) OK S_2 OK new OK OK OK OK OK new OK OK OK OK
247 writeq('$VAR'(x)). '$VAR'(x) OK OK OK new x OK OK new OK OK x OK OK OK
289 writeq('$VAR'('A')). '$VAR'('A') OK A OK new A OK OK OK '$VAR'(A) A OK OK 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 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 OK OK
149  /**/ writeq(fy(yf(1))). fy 1 yf OK OK OK OK OK OK fy yf(1) OK OK 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 OK OK
319  /**/ writeq(yf(fy(yf(fy(1))))). (fy (fy 1)yf)yf (fy (fy 1) yf) yf fy fy 1 yf yf fy fy 1 yf yf OK OK OK yf(fy yf(fy 1)) fy fy 1 yf yf OK OK 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 OK OK
152  /**/ writeq(fy(yfx(1,2))). fy 1 yfx 2 OK OK 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 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 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 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 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 OK OK
158 op(0,xfy,','). p._e.(m., o.,',') OK OK OK OK OK OK succ./no eff. OK OK 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 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 OK OK
202  /**/ write_canonical(f 0 f). f(f(0)) OK OK OK OK OK OK syn. e. OK OK OK OK OK
160  /**/ write_canonical(0 f f). f(f(0)) OK OK OK OK OK OK syn. e. OK OK 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 OK 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 OK 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 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 OK OK
165 atom('.''-''.'). succeeds OK OK 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 OK OK
167  /**/ writeq((a|b)). syntax err. OK OK OK new a|b OK new a;b OK (a;b) OK OK OK OK
168 op(0,xfy,.),op(9,yf,.). succeeds OK OK OK OK new OK OK OK OK OK OK OK OK
169  /**/ writeq(.(.)). ('.')'.' ('.') '.' OK OK ('.') '.' new OK OK new '.'('.') ('.') '.' new '.' '.' OK OK OK
194 op(0,xfy,.),writeq((.)+(.)). '.'+'.' '.' + '.' OK ('.')+ ('.') OK new OK OK '.' + '.' '.' + '.' 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 OK OK
171  /**/ writeq("a"). [a] ³ OK OK OK OK OK OK OK [97] [97] OK OK OK
229  /**/ writeq("\z"). syntax err. OK OK OK new OK OK OK OK [92,112] reg [122] OK OK OK
300  /**/ writeq("\0\"). e.g. ['\0\'] syn. e. ['\000\'] [] ['] syn. e. ['\x0\'] ['\u0000'] [] [0] [] OK ['\x0\']
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 9.8..
e-324 new 		1.0e-323 1.0e-323 9.8..
e-324 		OK
173 1.0e-323=:=10.0** -323. succeeds re._e.(num.) OK new OK OK OK OK OK OK fails OK OK OK
174 -1 = -0x1. succeeds OK OK 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 OK OK
176 X is 0b1mod 2. X = 1 OK OK 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 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.(..) OK OK
322  /**/ write_canonical((a|b;c)). '|'(a,;(b,c)) OK OK OK OK OK OK sy. e. ';'(a,';'(b,c)) OK sy._e.(..) OK OK
323  /**/ write_canonical((a;b|c)). '|'(;(a,b),c) OK OK OK OK OK OK new sy. e. ';'(a,';'(b,c)) OK sy._e.(..) OK OK
290  /**/ writeq([(a|b)]). [(a|b)] ³ [(a '|' b)] OK OK OK OK OK syn. e. [(a;b)] [(a | b)] sy._e.(..) OK OK
317  /**/ writeq([a,(b,c)|[]]). [a,(b,c)] [a,(b , c)] [a, (b,c)] OK OK OK OK [a,(b , c)] OK new OK OK OK OK
186 X/* /*/=7. X = 7 OK waits OK new OK OK OK OK OK OK OK OK OK
187 X/*/*/=7. X = 7 OK waits OK new OK OK OK OK OK OK OK OK OK
198 atom($-). succeeds OK OK OK OK OK OK OK OK OK OK OK OK
199 atom(-$). succeeds OK OK OK fails OK OK 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 OK OK
224 \ . ex._e.(..) OK OK OK OK OK OK OK OK OK u.((\)/0) OK OK
225 char_code(C,0), writeq(C). '\0\' or rep._e. rep._e. '\000\' '' rep._e. rep._e. '\x0\' '\u0000' '' '' '' '\0\' '\x0\'
250 writeq('\0\'). rep._e. or '\0\' sy._e.(..) '\000\' '' ' sy._e.(..) '\x0\' '\u0000' '' '' '' '\0\' '\x0\'
226 write_canonical(_+_). e.g. +(_1,_2) +(_164,
_165) 		+(_,_) +(_,_) +(_2f0,
_314) 		+(_23,
_24) 		+(_430,
_448) 		+(_583,
_657) 		+(_h164,
_h173) 		+(_5692,
_5705) 		+(_905,
_906) 		+(_62,
_63) 		+(_36,
_37)
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) 		+(_61,
_61) 		+(_36,
_36)
228 writeq(0'\z). syntax err. OK OK -1 OK OK OK OK OK 122 OK OK OK
230 char_code('\^',X). syntax err. OK OK OK OK OK OK OK t._e.(..) X = 94 t._e.(..) OK OK
231 writeq(0'\c). syntax err. OK 99 OK OK OK OK OK OK OK OK OK OK
232 writeq(0'\ ). syntax err. OK OK 32 OK OK OK OK 92 OK 92 OK OK
233 writeq(nop (1)). syntax err. OK OK 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 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 OK OK
236 write_canonical(a- - -b). -(a,-(-(b))) OK OK OK OK OK OK OK OK new OK OK OK OK
237 op(699,xf,>). p._e.(c.,op,>) OK succeeds succeeds succeeds OK succeeds succeeds OK new succeeds OK OK OK
238  /**/ writeq(>(>(a),b)). >(a)>b >(a) > b a> > b a> >b (a>)>b OK (a>)>b >(a >,b) >(a) > b (a>)>b OK OK OK
239  /**/ write_canonical(a> >b). syntax err. OK syntax err. >(>(a),b) syntax err. OK >(>(a),b) syntax err. OK new >(>(a),b) OK OK 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 OK 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 OK OK
240  /**/ write_canonical(a>). syntax err. OK >(a) >(a) syntax err. OK >(a) syntax err. OK new >(a) OK OK 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 OK OK
263  /**/ writeq(0 bop 2). 0 bop 2 OK OK 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 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 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 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.(..) OK OK
264 writeq('^`'). '^`' ^` ^` ^` OK OK OK OK ^` ^` OK OK OK
265 op(9,yf,[b2,o8]). succeeds OK OK 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 OK OK
267  /**/ writeq(0o8). 0 o8 OK sy._e.(..) sy._e.(..) sy._e.(..) OK new OK new sy._e.(..) sy._e.(..) OK OK 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 OK OK
269 writeq('\b\r\f\t\n'). '\b\r\f\t\n' OK OK OK OK OK OK OK '
' 		OK new OK OK OK
270 get_char(C). %a C = ' ' C = '%' C = '%' C = '%' C = '%' OK new OK OK C = '%' reg C = '%' OK OK OK
271 get_char(C).%a C = '%' C = '\n' + C = '\n' + C = '\n' + waits OK OK OK waits reg C = '\n' + OK OK OK
272 writeq(0B1). syntax err. OK OK OK 1 OK OK OK OK OK OK OK OK
274 op(20,fx,--),writeq(--(a)). --a OK OK OK OK OK OK -- a -- a OK OK OK OK
275  /**/ op(0,fy,--),writeq(--(a)). --(a) OK OK OK --a OK OK OK -- a OK OK OK OK
276 writeq(0xamod 2). 10 mod 2 OK OK 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 OK OK
281 writeq(00'a). syntax err. OK OK 97 97 OK OK OK 97 OK waits OK OK
284 writeq('\^J'). syntax err. OK OK '\t' OK OK OK OK '\\^J' '\n' new '\\^J' OK OK
291 writeq([(a,b)]). [(a,b)] [(a , b)] OK OK OK OK OK [(a , b)] OK OK OK OK OK
292 writeq(1= \\). 1= \\ OK OK OK OK OK OK 1 = \\ 1 = \\ OK OK OK OK
293 writeq((,)). syntax err. OK ',' OK OK OK OK OK OK OK OK OK OK
294 writeq({[}). syntax err. OK OK OK OK OK OK OK OK OK {'['} OK OK
295 writeq({(}). syntax err. OK OK OK OK OK OK OK OK OK {'('} OK OK
298 writeq([a,b|c]). [a,b|c] OK OK OK OK OK OK OK OK OK OK [a, b|c] OK
299 (\+ (a,b)) = \+(T). T = (a,b) OK OK OK OK OK OK OK OK OK OK OK OK
302 [] = '[]'. succeeds OK OK OK OK OK OK OK OK OK OK OK OK
304 op(300,fy,~). writeq(~ (a=b)). ~ (a=b) ~ (a = b) OK OK OK OK OK ~ (a = b) ~ (a = b) OK OK ~ (a = b) OK
305 writeq(\ (a=b)). \ (a=b) \ (a = b) OK OK OK OK OK \ (a = b) \ (a = b) OK OK \ (a = b) OK
306 writeq(+ (a=b)). + (a=b) + (a = b) OK OK OK OK OK + (a = b) + (a = b) OK OK w.op + (a = b) OK
307 writeq([/*.*/]). [] OK OK OK OK OK OK OK OK OK OK OK OK
308 writeq(.+). .+ OK OK OK OK OK OK OK OK OK OK OK OK
309 writeq({a,b}). {a,b} {a , b} OK OK OK OK OK {}((a , b)) {(a,b)} reg OK OK OK OK
310 writeq({\+ (}). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK
311 writeq(\+ (()). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK
318 writeq(+((1*2)^3)). + (1*2)^3 + (1 * 2) ^ 3 OK OK OK OK OK + (1 * 2) ^ 3 w.op + (1 * 2) ^ 3 new OK +(1*2)^3 w.op OK OK
327 writeq(-((1*2)^3)). - ((1*2)^3) - (1 * 2) ^ 3 - (1*2)^3 - (1*2)^3 - ( (1*2)^3) - (1*2)^3 OK - (1 * 2) ^ 3 - (1 * 2) ^ 3 - (1*2)^3 -((1*2)^3) OK OK
320 writeq([a|\+2]). [a|\+2] [a|\+ 2] OK OK OK OK OK [a|\+ 2] OK OK OK OK OK
321 writeq((a)(b)). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK
324 writeq('%'). '%' OK OK OK OK OK OK OK OK OK OK OK OK
325 writeq({[y}]). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK
326 (>)(1,2). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK new
329 write_canonical(;(a)). ;(a) OK OK OK OK OK OK OK sy._e.(..) OK OK OK OK
330 write_canonical(';'(a)). ;(a) OK OK OK OK OK OK OK ';'(a) OK OK OK OK
331 write_canonical(;(a,b)). ;(a,b) OK OK OK OK OK OK OK sy._e.(..) OK OK OK OK
332 writeq(1 is _). e.g. 1 is _1 OK OK OK OK OK OK OK 1 is _h333 OK OK 1 is_63 OK
333 op(9,fx,.),writeq(.(' ')). '.' ' ' OK OK '.'' ' '.' ' ' OK OK OK OK OK OK OK OK
334 Finis (). syntax err. OK OK OK OK OK OK OK OK OK OK OK OK

Remarks

/**/requires preceding test without /**/
² including Cor.2 (from approved DTC2)
³ including Cor.3 (from approved WDCor.3)
° most recent finds, for WDCor4
XXXlicense expired
*more recent versions are not considered for conformity reasons
**default mode non-conforming, but optional iso and iso_strict mode (5.1 e) (since 7.0 2018-01)
+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
2017-08-07: revision 1.209 renamed to conformity_testing
2023-07-25: revision 1.250
Version Control
Validated HTML @ 1.281 log @*** empty log message *** @ text @d4672 1 d4689 1 @ 1.280 log @*** empty log message *** @ text @d142 1 a142 1
6.3.4 d168 3 a170 3 328/331 264 237 d172 9 a180 9 248 327 304 232 202 249 278 328 331 d222 1 a222 1 26 d286 17 a319 17 read/1 canonical syntax OK yes #203 yes yes yes yes yes yes #329 yes #35 yes yes d5963 19 a5981 1 333 Finis (). @ 1.279 log @*** empty log message *** @ text @d168 13 a180 13 324/327 260 233 240 244 323 300 228 201 246 274 325 327 d230 1 a230 1 0 d244 1 a244 1 22 d261 1 a261 1 16 d303 17 d329 1 a329 1 #1, #34 d349 1 a349 1 yes d1400 1 a1400 1 sy._e.(...) d4851 1 a4851 1 de._e. d4868 1 a4868 1 d._e. d5895 69 a5963 1 329 Finis (). d5967 1 a5967 1 OK d5972 1 a5972 1 OK @ 1.278 log @m @ text @d248 1 a248 1 0 @ 1.277 log @*** empty log message *** @ text @a180 1 @ 1.276 log @*** empty log message *** @ text @d180 1 a180 1 326 d198 1 a198 1 1 d249 1 a249 1 1 d1830 1 a1830 1 sy._e.(..) @ 1.275 log @https://github.com/mthom/scryer-prolog/issues/2401 @ text @d158 1 a158 1
0.9.3 @ 1.274 log @*** empty log message *** @ text @d168 7 a174 7 323/326 259 232 239 243 322 299 d177 3 a179 3 245 273 324 d249 1 a249 1 0 d261 2 a262 2 21 15 d1817 17 d5879 1 a5879 1 328 Finis (). @ 1.273 log @Changed reason for #32. Strictly speaking, it has always been like that. And #C16 is about lists consisting of '.'/2 , and here we have '.'/3 and '.'/0, but the fact that the incorrect example in 8.14.2.4 often lead to related misunderstandings justify seing this as a correction. @ text @d168 1 a168 1 322/325 d172 1 a172 1 242 d174 2 a175 2 298 227 d179 2 a180 2 323 325 d230 1 a230 1 17 d255 3 a257 3 3 3 7 d259 1 a259 1 1 d262 2 a263 2 14 4 d5751 1 a5751 1 +((1 * 2) ^ 3) d5754 18 a5771 1 +((1*2)^3) d5862 1 a5862 1 327 Finis (). d5875 1 a5875 1 OK @ 1.272 log @Correct numbers @ text @d1087 1 a1087 1 ['.','.'('.','.','.')] ³ @ 1.271 log @*** empty log message *** @ text @d168 1 a168 1 321/324 d177 1 a177 1 244 @ 1.270 log @*** empty log message *** @ text @d198 1 a198 1 1 d283 1 a283 1 1 @ 1.269 log @*** empty log message *** @ text @d180 1 a180 1 324 d198 1 a198 1 new d5841 1 a5841 1 fails @ 1.268 log @*** empty log message *** @ text @d168 13 a180 13 320/323 257 230 237 240 320 296 225 199 243 271 321 323 d283 1 a283 1 0 d5835 1 a5835 1 OK d5841 1 a5841 1 fails d5852 1 a5852 1 OK @ 1.267 log @*** empty log message *** @ text @d84 1 d5811 35 a5845 1 325 Finis (). @ 1.266 log @*** empty log message *** @ text @d225 1 a225 1 0 @ 1.265 log @*** empty log message *** @ text @d147 1 a147 1
4.3.3 d173 1 a173 1 295 d191 1 a191 1 52 d208 1 a208 1 d225 1 a225 1 1 d293 1 a293 1 #323 d4661 1 a4661 1 ;(a,;(b,c)) @ 1.264 log @*** empty log message *** @ text @d167 13 a179 13 319/322 256 229 236 239 319 294 224 198 242 270 320 322 d460 1 a460 1 err d5793 18 a5810 1 324 Finis (). @ 1.263 log @XSB, SICStus @ text @d1094 1 a1094 1 [('.'),'.'(('.'),('.'),('.'))] reg d2167 1 a2167 1 0$VAR @ 1.262 log @*** empty log message *** @ text @d149 1 a149 1 XSB
3.7
rev.8750 d167 7 a173 7 317/320 254 227 234 237 317 293 d175 2 a176 2 199 240 d178 2 a179 2 318 320 d193 1 a193 1 59 d210 1 a210 1 11 d225 1 a225 1 0 d227 1 a227 1 43 d243 2 a244 2 27 2 d246 1 a246 1 10 d261 1 a261 1 17 d278 1 a278 1 41 d293 1 a293 1 yes new d312 1 a312 1 #1, #172 d329 1 a329 1 #1 d839 1 a839 1 '!\\' d856 1 a856 1 '' d1417 1 a1417 1 OK d1451 1 a1451 1 OK d1468 1 a1468 1 OK d1502 1 a1502 1 OK d1553 1 a1553 1 100..4.0000 d2148 1 a2148 1 - (A) d2675 1 a2675 1 -(';') d2692 1 a2692 1 OK d2709 1 a2709 1 OK d3611 1 a3611 1 OK d3849 1 a3849 1 OK d4529 1 a4529 1 0.0000 d4638 32 d4697 1 a4697 1 [a,(b ',' c)] d5615 1 a5615 1 OK d5632 1 a5632 1 OK d5649 1 a5649 1 OK d5700 1 a5700 1 {(a ',' b)} d5751 1 a5751 1 +((1 * 2) ^ 3) d5793 1 a5793 1 322 Finis (). d5800 1 a5800 1 OK @ 1.261 log @*** empty log message *** @ text @d4822 1 a4822 1 +(_607481,
_607482) @ 1.260 log @Scryer perfection @ text @d4839 1 a4839 1 +(_607481,
_607482) @ 1.259 log @*** empty log message *** @ text @d4635 1 a4635 1 a-->b,c | d d4652 1 a4652 1 [(a | b)] @ 1.258 log @*** empty log message *** @ text @d161 1 a161 1 #QueryCodexIFSWIYAPBGNUSICStusMinervaXSBCiaoIVECLiPSe @ 1.257 log @Scryer added @ text @d168 11 a178 11 253 226 233 236 316 292 223 198 239 269 317 d367 1 a367 1 xOK d5451 1 a5451 1 xOK @ 1.256 log @*** empty log message *** @ text @d156 2 d167 1 a167 1 316/319 d179 2 d197 1 d214 1 d231 1 d248 1 d265 1 d282 1 d299 1 d316 1 d333 1 d350 1 d367 1 d384 1 d401 1 d418 1 d435 1 d452 1 d469 1 d486 1 d503 1 d520 1 d537 1 d554 1 d571 1 d588 1 d605 1 d622 1 d639 1 d656 1 d673 1 d690 1 d707 1 d724 1 d741 1 d758 1 d775 1 d780 1 a780 1 syntax err. d792 1 d809 1 d826 1 d843 1 d860 1 d877 1 d894 1 d911 1 d928 1 d945 1 d962 1 d979 1 d996 1 d1013 1 d1030 1 d1047 1 d1064 1 d1081 1 d1098 1 d1115 1 d1132 1 d1149 1 d1166 1 d1183 1 d1200 1 d1217 1 d1234 1 d1251 1 d1268 1 d1285 1 d1302 1 a1304 2 d1319 1 d1336 1 d1353 1 d1370 1 d1387 1 d1404 1 d1421 1 d1438 1 d1455 1 d1472 1 d1489 1 d1506 1 d1523 1 d1540 1 d1557 1 d1574 1 a1576 1 d1591 1 d1608 1 d1625 1 a1627 2 d1642 1 d1659 1 d1676 1 d1693 1 d1710 1 d1727 1 d1744 1 d1761 1 d1778 1 d1795 1 d1812 1 d1829 1 a1831 1 d1846 1 d1863 1 d1880 1 a1882 1 d1897 1 d1914 1 d1931 1 d1948 1 d1965 1 d1982 1 d1999 1 d2016 1 d2033 1 d2050 1 d2067 1 d2084 1 d2101 1 d2118 1 d2135 1 d2152 1 d2169 1 d2186 1 d2203 1 d2220 1 d2237 1 d2254 1 d2271 1 d2288 1 d2305 1 d2322 1 d2339 1 d2356 1 d2373 1 d2390 1 a2392 1 d2407 1 d2424 1 d2441 1 d2458 1 d2475 1 d2492 1 d2509 1 d2526 1 d2543 1 d2560 1 d2577 1 d2594 1 d2611 1 d2628 1 d2645 1 d2662 1 d2679 1 d2696 1 d2713 1 d2730 1 d2747 1 d2764 1 d2781 1 d2798 1 d2815 1 d2832 1 d2849 1 d2866 1 d2883 1 d2900 1 d2917 1 d2934 1 d2951 1 d2968 1 d2985 1 d3002 1 d3019 1 d3036 1 d3053 1 d3070 1 d3087 1 d3104 1 d3121 1 d3138 1 d3156 1 d3173 1 d3190 1 d3207 1 d3224 1 d3241 1 d3258 1 d3275 1 d3292 1 d3309 1 d3326 1 d3343 1 d3360 1 d3377 1 d3394 1 d3411 1 d3428 1 d3445 1 d3462 1 d3479 1 d3496 1 d3513 1 d3530 1 d3547 1 d3564 1 d3581 1 d3598 1 d3615 1 d3632 1 d3649 1 d3666 1 d3683 1 d3700 1 d3717 1 d3734 1 d3751 1 d3768 1 d3785 1 d3802 1 d3819 1 d3836 1 d3853 1 d3870 1 d3887 1 d3904 1 d3921 1 d3938 1 d3955 1 d3972 1 d3989 1 d4006 1 d4023 1 d4040 1 d4057 1 d4074 1 d4091 1 d4108 1 d4125 1 d4142 1 d4159 1 d4176 1 d4193 1 d4210 1 d4227 1 d4244 1 d4261 1 d4278 1 d4295 1 d4312 1 d4329 1 d4346 1 d4363 1 d4380 1 d4397 1 a4399 1 d4414 1 d4431 1 d4448 1 d4465 1 d4482 1 d4499 1 d4516 1 d4533 1 d4550 1 d4567 1 d4584 1 d4601 1 d4618 1 d4635 1 d4652 1 d4669 1 d4686 1 d4703 1 d4720 1 d4737 1 d4754 1 d4771 1 d4788 1 d4805 1 d4822 1 d4839 1 d4856 1 d4873 1 d4890 1 d4907 1 d4924 1 d4941 1 d4958 1 d4975 1 d4992 1 d5009 1 d5026 1 d5043 1 d5060 1 d5077 1 d5094 1 d5111 1 d5128 1 d5145 1 d5162 1 d5179 1 d5196 1 d5213 1 d5230 1 d5247 1 d5264 1 d5281 1 d5298 1 d5315 1 d5332 1 d5349 1 d5366 1 d5383 1 d5400 1 d5417 1 d5434 1 d5451 1 d5468 1 d5485 1 d5502 1 d5519 1 d5536 1 d5553 1 d5570 1 d5587 1 d5604 1 d5621 1 d5638 1 d5655 1 d5672 1 d5689 1 d5706 1 d5723 1 d5740 1 d5757 1 d5774 1 @ 1.255 log @html fix @ text @d173 1 a173 1 199 d222 1 a222 1 27 d269 2 a270 2 40 45 d3510 2 a3511 2 {(-) = (xf1)} new {- =xf1} d5422 17 a5438 1 321 Finis (). @ 1.254 log @*** empty log message *** @ text @d139 1 a139 1
6.3.18-3* d5149 1 d5373 1 @ 1.253 log @*** empty log message *** @ text @d165 12 a176 12 315/318 252 225 232 235 315 291 222 198 238 268 316 d5404 17 a5420 1 320 Finis (). d5426 2 a5427 2 OK OK @ 1.252 log @YAP progress @ text @d5570 1 @ 1.251 log @*** empty log message *** @ text @d168 1 a168 1 228 d184 1 a184 1 58 d200 1 a200 1 2 d216 1 a216 1 29 d232 1 a232 1 14 d264 1 a264 1 40 d440 1 a440 1 '\n' d456 1 a456 1 OK new d1418 1 a1418 1 OK d2912 1 a2912 1 fails d2928 1 a2928 1 X = "a" new d3713 1 a3713 1 _ d3729 1 a3729 1 ? d3745 1 a3745 1 x d3761 1 a3761 1 A @ 1.250 log @Scryer errors @ text @d165 2 a166 2 314/317 251 d169 3 a171 3 234 314 290 d174 3 a176 3 237 267 315 d215 2 a216 2 42 28 d221 1 a221 1 42 d252 1 a252 1 20 d3837 16 d5404 1 a5404 1 319 Finis (). d5407 1 a5407 1 OK @ 1.249 log @#307 adjusted @ text @d165 8 a172 8 312/315 249 223 226 232 312 288 221 d174 3 a176 3 235 266 313 d252 2 a253 2 19 15 d255 1 a255 1 2 d2043 1 a2043 1 296 /**/ writeq('$VAR'(0)). d4382 16 d5038 1 a5038 1 275 /**/ op(0,fy,--),writeq(--(a)). d5214 1 a5214 1 succeeds d5372 17 a5388 1 317 Finis (). d5415 1 a5415 1 *more recent versions are not considered d5418 1 a5418 1 **default mode non-conforming, but @ 1.248 log @*** empty log message *** @ text @d5277 1 a5277 1 307 writeq([/**/]). @ 1.247 log @regroup #136 @ text @d2685 1 a2685 1 do._e.(op._s., yfy) d5356 1 a5356 1 315 Finis (). @ 1.246 log @*** empty log message *** @ text @d1705 16 a1735 15 136 op(0,fy,-),writeq(-(1)). -(1) OK OK OK OK new OK OK OK OK new OK OK OK @ 1.245 log @*** empty log message *** @ text @d173 1 a173 1 199 d221 1 a221 1 41 d797 1 a797 1 OK @ 1.244 log @*** empty log message *** @ text @d165 12 a176 12 308/311 245 221 224 228 308 284 219 198 233 263 309 d221 1 a221 1 40 d263 2 a264 2 31 37 d268 4 a271 4 20 37 42 18 d756 64 d5355 1 a5355 1 313 Finis (). @ 1.243 log @*** empty log message *** @ text @d165 2 a166 2 307/310 244 d169 3 a171 3 227 307 283 d176 1 a176 1 308 d740 16 d5291 1 a5291 1 312 Finis (). d5295 1 a5295 1 OK d5301 1 a5301 1 OK @ 1.242 log @*** empty log message *** @ text @d103 2 a104 2 sent as input to read(X),X. or read(X),X, read(Y),Y. @ 1.241 log @corr @ text @d165 12 a176 12 306/309 243 220 223 226 306 282 218 197 232 262 307 d5259 15 d5275 1 a5275 1 311 Finis (). @ 1.240 log @corr @ text @d231 3 a233 3 14 15 24 d236 2 a237 2 28 21 @ 1.239 log @internal links @ text @d167 3 a169 3 219 222 225 d172 2 a173 2 217 196 d4800 3 a4802 3 OK OK OK d4805 2 a4806 2 OK OK @ 1.238 log @Updated B Prolog links to archive @ text @d139 1 a139 1
6.3.18-3* d154 2 a155 1
7.0#42 -L iso
** d5287 1 a5287 1 *more recent versions are not considered d5290 1 a5290 1 **default mode non-conforming, but @ 1.237 log @YAP address updated @ text @d142 2 a143 2 B
7.8#5 @ 1.236 log @Moving footer added @ text @d140 1 a140 1 YAP @ 1.235 log @P4 correction @ text @d79 5 d157 3 @ 1.234 log @*** empty log message *** @ text @d166 1 a166 1 261 d214 1 a214 1 18 d5182 1 a5182 1 fails @ 1.233 log @2023-04-15 SICStus addres @ text @d5275 1 a5275 1 ³ including Cor.3 (from WDCor.3) @ 1.232 log @p4 update @ text @d141 1 a141 1 SICStus @ 1.231 log @IF/Prolog update @ text @d156 12 a167 12 305/308 242 218 221 224 305 281 216 195 231 263 306 d214 1 a214 1 15 d678 1 a678 1 @@@@@@ d4159 1 a4159 1 @@@@@@ d5150 1 a5150 1 @@@@@@ d5166 1 a5166 1 @@@@@@ d5182 1 a5182 1 @@@@@@ d5230 1 a5230 1 @@@@@@ @ 1.230 log @*** empty log message *** @ text @d669 1 a669 1 @@@@@@ d4150 1 a4150 1 @@@@@@ d5141 1 a5141 1 @@@@@@ d5157 1 a5157 1 @@@@@@ d5173 1 a5173 1 @@@@@@ d5221 1 a5221 1 @@@@@@ @ 1.229 log @m @ text @d132 1 a132 1 IF
V5.1B d143 1 a143 1 Minerva
2.4 d156 7 a162 7 304/307 241 217 220 223 304 280 d165 3 a167 3 230 262 305 d243 2 a244 2 18 14 d5219 33 a5251 1 309 Finis (). @ 1.228 log @300 update @ text @d164 2 a165 2 196 231 d207 2 a208 2 26 21 d211 3 a213 3 23 38 25 d669 1 a669 1 d676 3 a678 3 d4412 1 a4412 1 '\u0000' d5203 1 a5203 1 308 writeq(.+) @ 1.227 log @Ciao modification @ text @d156 12 a167 12 302/305 239 215 219 222 302 278 215 195 230 260 303 d4150 11 a4160 11 ? ? ? ? ? ? ? ? ? ? ? d5187 33 a5219 1 307 Finis (). @ 1.226 log @Thanks to @@triska, https://github.com/mthom/scryer-prolog/issues/648 @ text @d146 1 a146 1
1.15
g17eb2bd d156 12 a167 12 297/300 232 210 215 218 297 273 211 190 226 255 298 d197 1 a197 1 1 d261 1 a261 1 41 d670 6 a675 6 d679 1 a679 1 d725 1 a725 1 u1 d741 1 a741 1 OK d3315 16 d5139 49 a5187 1 303 Finis (). a5200 1 @ 1.225 log @*** empty log message *** @ text @d1826 2 a1827 2 - -a. - - a. d1833 1 a1833 1 - - a. d1842 2 a1843 2 - - -a. - - - a. d1849 1 a1849 1 - - - a. @ 1.224 log @*** empty log message *** @ text @d156 1 a156 1 292/295 d158 10 a167 10 208 213 216 295 271 209 188 224 253 296 d181 1 a181 1 20 d5107 17 a5123 1 302 Finis (). @ 1.223 log @*** empty log message *** @ text @d667 16 d4132 16 d5107 1 a5107 1 300 Finis (). d5121 1 @ 1.222 log @#-update @ text @d4277 1 a4277 1 OK @ 1.221 log @IF P4 update @ text @d156 12 a167 12 291/294 228 204 211 212 291 267 205 184 220 250 292 d207 1 a207 1 25 d214 1 a214 1 14 d255 1 a255 1 36 @ 1.220 log @New (and fixed) Scryer cases and a fix of #291 @ text @d1939 1 a1939 1 @@@@@@ d1948 1 a1948 1 @@@@@@ d2804 1 a2804 1 @@@@@@ d2813 1 a2813 1 @@@@@@ d5045 1 a5045 1 @@@@@@ d5054 1 a5054 1 @@@@@@ d5061 1 a5061 1 @@@@@@ d5070 1 a5070 1 @@@@@@ d5097 1 a5097 1 /**/requires preceding test without /**/ @ 1.219 log @2 bad xtensions for p4! ack: skral @ text @d1937 16 d2802 16 d4965 1 a4965 1 (a,b) d5043 33 a5075 1 296 Finis (). @ 1.218 log @prolog.parser zwei neue x-tensions @ text @d262 1 a262 1 16 d4958 1 a4958 1 @@@@@@ d4974 1 a4974 1 @@@@@@ d4990 1 a4990 1 @@@@@@ d5006 1 a5006 1 @@@@@@ @ 1.217 log @Scryer related cases @ text @d156 12 a167 12 289/292 226 202 209 210 289 265 203 182 218 248 290 d4979 33 a5011 1 294 Finis (). @ 1.216 log @P4 correct classification updaten overall sums @ text @d156 10 a165 10 287/290 224 201 207 208 287 263 201 180 216 d167 1 a167 1 288 d254 1 a254 1 30 d262 1 a262 1 15 d4947 31 d4979 1 a4979 1 292 Finis (). @ 1.215 log @Regrouping @ text @d156 10 a165 10 286/289 223 200 206 207 286 262 200 179 215 d167 1 a167 1 287 d4431 1 a4431 1 92 @ 1.214 log @#291: from O-Prolog 0.80 @ text @d2001 16 a2028 16 OK 67 op(0,fy,+).
compound(+1). syntax err. OK fails OK OK new OK OK new OK OK new OK OK @ 1.213 log @Eclipse added (already some time ago) @ text @d4932 17 a4948 1 291 Finis (). d4955 1 a4955 1 OK a4961 2 @ 1.212 log @Minor HTML errors fixed @ text @d148 2 d158 5 a162 5 201 207 208 287 263 d167 1 d172 12 a183 11 8+16 28 58 62 44 52 59 20 d188 12 a199 11 1 2 1 11 1 d204 5 a208 5 1 27 42 25 21 d211 5 a215 4 23 38 25 14 d220 5 a224 5 2 15 14 15 24 d227 5 a231 4 28 21 4 10 d237 4 a240 4 3 3 7 6 d243 5 a247 4 18 14 4 2 d252 12 a263 11 21 29 35 30 1 26 20 37 41 15 d279 1 d295 1 d311 1 d327 1 d343 1 d359 1 d375 1 d391 1 d407 1 d423 1 d439 1 d455 1 d471 1 d487 1 d503 1 d519 1 d535 1 d551 1 d567 1 d583 1 d599 1 d615 1 d631 1 d647 1 d663 1 d679 1 d695 1 d711 1 d727 1 d743 1 d759 1 d775 1 d791 1 d807 1 d823 1 d839 1 d855 1 d871 1 d887 1 d903 1 d919 1 d935 1 d951 1 d967 1 d983 1 d999 1 d1015 1 d1031 1 d1047 1 d1063 1 d1079 1 d1095 1 d1111 1 d1127 1 d1145 1 d1161 1 d1177 1 d1193 1 d1209 1 d1225 1 d1241 1 d1257 1 d1273 1 d1289 1 d1305 1 d1321 1 d1337 1 d1353 1 d1369 1 d1385 1 d1402 1 d1418 1 d1434 1 d1452 1 d1468 1 d1484 1 d1500 1 d1516 1 d1532 1 d1548 1 d1564 1 d1580 1 d1596 1 d1612 1 d1628 1 d1644 1 d1660 1 d1676 1 d1693 1 d1709 1 d1725 1 d1741 1 d1757 1 d1773 1 d1789 1 d1805 1 d1821 1 d1837 1 d1853 1 d1869 1 d1885 1 d1901 1 d1917 1 d1933 1 d1949 1 d1965 1 d1981 1 d1997 1 d2013 1 d2029 1 d2045 1 d2061 1 d2077 1 d2093 1 d2109 1 d2125 1 d2132 5 a2136 5 OK OK OK OK OK d2141 1 d2158 1 d2174 1 d2190 1 d2206 1 d2222 1 d2238 1 d2254 1 d2270 1 d2286 1 d2302 1 d2318 1 d2334 1 d2350 1 d2366 1 d2382 1 d2398 1 d2414 1 d2430 1 d2446 1 d2462 1 d2478 1 d2494 1 d2510 1 d2526 1 d2542 1 d2558 1 d2574 1 d2590 1 d2606 1 d2622 1 d2638 1 d2654 1 d2670 1 d2686 1 d2702 1 d2718 1 d2734 1 d2750 1 d2766 1 d2782 1 d2787 1 a2787 1 syntax err./succ. d2798 1 d2814 1 d2830 1 d2846 2 d2863 1 d2879 1 d2895 1 d2911 1 d2927 1 d2943 1 d2959 1 d2975 1 d2991 1 d3007 1 d3023 1 d3039 1 d3055 1 d3071 1 d3087 1 d3103 1 d3119 1 d3135 1 d3151 1 d3167 1 d3183 1 d3199 1 d3215 1 d3231 1 d3247 1 d3263 1 d3279 1 d3295 1 d3311 1 d3327 1 d3343 1 d3359 1 d3375 1 d3391 1 d3407 1 d3423 1 d3439 1 d3455 1 d3471 1 d3487 1 d3503 1 d3519 1 d3535 1 d3551 1 d3567 1 d3583 1 d3599 1 d3615 1 d3631 1 d3647 1 d3663 1 d3679 1 d3695 1 d3711 1 d3727 1 d3743 1 d3759 1 d3775 1 d3791 1 d3807 1 d3823 1 d3839 1 d3855 1 d3871 1 d3887 1 d3903 1 d3907 1 a3907 1 163 op(9,fy,p),op(9,xfy,p).
write_canonical(1 p p p 2). d3919 1 d3935 1 d3951 1 d3967 1 d3983 1 d4000 1 d4016 1 d4032 1 d4048 1 d4064 1 d4080 1 d4085 2 a4086 2 e.g. 1.0e-323. 9.8..e-324 d4090 1 a4090 1 9.8..e-324 d4096 1 d4112 1 d4128 1 d4144 1 d4160 1 d4176 1 d4192 1 d4208 1 d4224 1 d4240 1 d4256 1 d4272 1 d4288 1 d4304 1 d4320 1 d4336 1 d4352 1 d4368 1 d4384 1 d4400 1 d4416 1 d4432 1 d4448 1 d4464 1 d4480 1 d4496 1 d4512 1 d4522 1 a4522 1 >(a)>b d4527 2 a4528 1 >(a)>b d4544 1 d4560 1 d4576 1 d4592 1 d4608 1 d4624 1 d4640 1 d4656 1 d4672 1 d4688 1 d4704 1 d4720 1 d4736 1 d4752 1 d4768 1 d4784 1 d4800 1 d4816 1 d4832 1 d4848 1 d4864 1 d4880 1 d4896 1 d4912 1 d4928 1 d4944 1 d4964 3 @ 1.211 log @*** empty log message *** @ text @d67 1 a67 1 .bad { background: #ffe4e4 } d134 1 a134 1
6.3.18-3* d146 1 a146 1
1.15
g17eb2bd d1325 1 d1340 1 @ 1.210 log @*** empty log message *** @ text @d59 1 a59 1 <} d100 2 a101 2 For queries marked /**/ the preceding query which does not start with /**/ must be executed first. d153 1 a153 1 conformance d4654 2 a4655 2 ³ including/ignoring Cor.3 (from WDCor.3) ° most recent finds, will go into WDCor4 @ 1.209 log @Changed to conformity testing @ text @a124 1

(the table is currently being updated for Cor.3)

@ 1.208 log @More on | @ text @d5 1 a5 1 Conformity assessment I; SyntaxISO/IEC JTC1 SC22 WG17 d85 1 a85 1 Conformity Assessment I: Syntax d125 1 d132 1 a132 1 13211-1:1995
²: Cor.2 d155 1 a155 1 268/288 d170 1 a170 1 8 d200 1 a200 1 7 d230 1 a230 1 11 d290 1 a290 1 #183 d815 1 a815 1 [:-,-] ³ d875 1 a875 1 ['.','.'('.','.','.')] ³ d890 1 a890 1 a:-b,c³ d905 1 a905 1 '.'(a,[])³ d1508 1 a1508 1 - (1)³ d1553 1 a1553 1 - (1^2)³ d1568 1 a1568 1 - (a^2)³ d1584 1 a1584 1 - (a,b)³ d1644 1 a1644 1 -[-] ³ d1689 1 a1689 1 -{a}³ d1749 1 a1749 1 - (1~2~3)³ d1764 1 a1764 1 - (1~2)³ d1809 1 a1809 1 -A ³ d1884 1 a1884 1 [+{a},+[]] ² ³ d3325 1 a3325 1 A ³ d3806 1 a3806 1 [a] ³ d3926 1 a3926 1 a-->b,c|d² ³ d3941 1 a3941 1 [(a|b)] ³ d4181 1 a4181 1 f (1,2)³ d4654 3 a4656 3 ² including Cor. 2 (from approved DTC2) ³ including/ignoring WDCor.3 ° recent finds, will go into WDCor4 d4793 1 d4799 1 a4799 1 Version Control @ 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 @