pl2wam Bus Error

[Mark Bolusmjak]

Running pl2wam on the following code yields a bus error:

bar(1).
foo(X) :-
bar(X_1001),bar(X_1002),bar(X_1003),bar(X_1004),bar(X_1005),bar(X_1006),bar(X_1007),bar(X_1008),bar(X_1009),bar(X_1010),bar(X_1011),bar(X_1012),bar(X_1013),bar(X_1014),bar(X_1015),bar(X_1016),bar(X_1017),bar(X_1018),bar(X_1019),bar(X_1020),
bar(X_1021),bar(X_1022),bar(X_1023),bar(X_1024),bar(X_1025),bar(X_1026),bar(X_1027),bar(X_1028),bar(X_1029),bar(X_1030),bar(X_1031),bar(X_1032),bar(X_1033),bar(X_1034),bar(X_1035),bar(X_1036),bar(X_1037),bar(X_1038),bar(X_1039),bar(X_1040),
bar(X_1041),bar(X_1042),bar(X_1043),bar(X_1044),bar(X_1045),bar(X_1046),bar(X_1047),bar(X_1048),bar(X_1049),bar(X_1050),bar(X_1051),bar(X_1052),bar(X_1053),bar(X_1054),bar(X_1055),bar(X_1056),bar(X_1057),bar(X_1058),bar(X_1059),bar(X_1060),
bar(X_1061),bar(X_1062),bar(X_1063),bar(X_1064),bar(X_1065),bar(X_1066),bar(X_1067),bar(X_1068),bar(X_1069),bar(X_1070),bar(X_1071),bar(X_1072),bar(X_1073),bar(X_1074),bar(X_1075),bar(X_1076),bar(X_1077),bar(X_1078),bar(X_1079),bar(X_1080),
bar(X_1081),bar(X_1082),bar(X_1083),bar(X_1084),bar(X_1085),bar(X_1086),bar(X_1087),bar(X_1088),bar(X_1089),bar(X_1090),bar(X_1091),bar(X_1092),bar(X_1093),bar(X_1094),bar(X_1095),bar(X_1096),bar(X_1097),bar(X_1098),bar(X_1099),bar(X_1100),
bar(X_1101),bar(X_1102),bar(X_1103),bar(X_1104),bar(X_1105),bar(X_1106),bar(X_1107),bar(X_1108),bar(X_1109),bar(X_1110),bar(X_1111),bar(X_1112),bar(X_1113),bar(X_1114),bar(X_1115),bar(X_1116),bar(X_1117),bar(X_1118),bar(X_1119),bar(X_1120),
bar(X_1121),bar(X_1122),bar(X_1123),bar(X_1124),bar(X_1125),bar(X_1126),bar(X_1127),bar(X_1128),bar(X_1129),bar(X_1130),bar(X_1131),bar(X_1132),bar(X_1133),bar(X_1134),bar(X_1135),bar(X_1136),bar(X_1137),bar(X_1138),bar(X_1139),bar(X_1140),
bar(X_1141),bar(X_1142),bar(X_1143),bar(X_1144),bar(X_1145),bar(X_1146),bar(X_1147),bar(X_1148),bar(X_1149),bar(X_1150),bar(X_1151),bar(X_1152),bar(X_1153),bar(X_1154),bar(X_1155),bar(X_1156),bar(X_1157),bar(X_1158),bar(X_1159),bar(X_1160),
bar(X_1161),bar(X_1162),bar(X_1163),bar(X_1164),bar(X_1165),bar(X_1166),bar(X_1167),bar(X_1168),bar(X_1169),bar(X_1170),bar(X_1171),bar(X_1172),bar(X_1173),bar(X_1174),bar(X_1175),bar(X_1176),bar(X_1177),bar(X_1178),bar(X_1179),bar(X_1180),
bar(X_1181),bar(X_1182),bar(X_1183),bar(X_1184),bar(X_1185),bar(X_1186),bar(X_1187),bar(X_1188),bar(X_1189),bar(X_1190),bar(X_1191),bar(X_1192),bar(X_1193),bar(X_1194),bar(X_1195),bar(X_1196),bar(X_1197),bar(X_1198),bar(X_1199),bar(X_1200),
bar(X_1201),bar(X_1202),bar(X_1203),bar(X_1204),bar(X_1205),bar(X_1206),bar(X_1207),bar(X_1208),bar(X_1209),bar(X_1210),bar(X_1211),bar(X_1212),bar(X_1213),bar(X_1214),bar(X_1215),bar(X_1216),bar(X_1217),bar(X_1218),bar(X_1219),bar(X_1220),
bar(X_1221),bar(X_1222),bar(X_1223),bar(X_1224),bar(X_1225),bar(X_1226),bar(X_1227),bar(X_1228),bar(X_1229),bar(X_1230),bar(X_1231),bar(X_1232),bar(X_1233),bar(X_1234),bar(X_1235),bar(X_1236),bar(X_1237),bar(X_1238),bar(X_1239),bar(X_1240),
bar(X_1241),bar(X_1242),bar(X_1243),bar(X_1244),bar(X_1245),bar(X_1246),bar(X_1247),bar(X_1248),bar(X_1249),bar(X_1250),bar(X_1251),bar(X_1252),bar(X_1253),bar(X_1254),bar(X_1255),bar(X_1256),bar(X_1257),bar(X_1258),bar(X_1259),bar(X_1260),
bar(X_1261),bar(X_1262),bar(X_1263),bar(X_1264),bar(X_1265),bar(X_1266),bar(X_1267),bar(X_1268),bar(X_1269),bar(X_1270),bar(X_1271),bar(X_1272),bar(X_1273),bar(X_1274),bar(X_1275),bar(X_1276),bar(X_1277),bar(X_1278),bar(X_1279),bar(X_1280),
bar(X_1281),bar(X_1282),bar(X_1283),bar(X_1284),bar(X_1285),bar(X_1286),bar(X_1287),bar(X_1288),bar(X_1289),bar(X_1290),bar(X_1291),bar(X_1292),bar(X_1293),bar(X_1294),bar(X_1295),bar(X_1296),bar(X_1297),bar(X_1298),bar(X_1299),bar(X_1300),
bar(X_1301),bar(X_1302),bar(X_1303),bar(X_1304),bar(X_1305),bar(X_1306),bar(X_1307),bar(X_1308),bar(X_1309),bar(X_1310),bar(X_1311),bar(X_1312),bar(X_1313),bar(X_1314),bar(X_1315),bar(X_1316),bar(X_1317),bar(X_1318),bar(X_1319),bar(X_1320),
bar(X_1321),bar(X_1322),bar(X_1323),bar(X_1324),bar(X_1325),bar(X_1326),bar(X_1327),bar(X_1328),bar(X_1329),bar(X_1330),bar(X_1331),bar(X_1332),bar(X_1333),bar(X_1334),bar(X_1335),bar(X_1336),bar(X_1337),bar(X_1338),bar(X_1339),bar(X_1340),
bar(X_1341),bar(X_1342),bar(X_1343),bar(X_1344),bar(X_1345),bar(X_1346),bar(X_1347),bar(X_1348),bar(X_1349),bar(X_1350),bar(X_1351),bar(X_1352),bar(X_1353),bar(X_1354),bar(X_1355),bar(X_1356),bar(X_1357),bar(X_1358),bar(X_1359),bar(X_1360),
bar(X_1361),bar(X_1362),bar(X_1363),bar(X_1364),bar(X_1365),bar(X_1366),bar(X_1367),bar(X_1368),bar(X_1369),bar(X_1370),bar(X_1371),bar(X_1372),bar(X_1373),bar(X_1374),bar(X_1375),bar(X_1376),bar(X_1377),bar(X_1378),bar(X_1379),bar(X_1380),
bar(X_1381),bar(X_1382),bar(X_1383),bar(X_1384),bar(X_1385),bar(X_1386),bar(X_1387),bar(X_1388),bar(X_1389),bar(X_1390),bar(X_1391),bar(X_1392),bar(X_1393),bar(X_1394),bar(X_1395),bar(X_1396),bar(X_1397),bar(X_1398),bar(X_1399),bar(X_1400),
bar(X_1401),bar(X_1402),bar(X_1403),bar(X_1404),bar(X_1405),bar(X_1406),bar(X_1407),bar(X_1408),bar(X_1409),bar(X_1410),bar(X_1411),bar(X_1412),bar(X_1413),bar(X_1414),bar(X_1415),bar(X_1416),bar(X_1417),bar(X_1418),bar(X_1419),bar(X_1420),
bar(X_1421),bar(X_1422),bar(X_1423),bar(X_1424),bar(X_1425),bar(X_1426),bar(X_1427),bar(X_1428),bar(X_1429),bar(X_1430),bar(X_1431),bar(X_1432),bar(X_1433),bar(X_1434),bar(X_1435),bar(X_1436),bar(X_1437),bar(X_1438),bar(X_1439),bar(X_1440),
bar(X_1441),bar(X_1442),bar(X_1443),bar(X_1444),bar(X_1445),bar(X_1446),bar(X_1447),bar(X_1448),bar(X_1449),bar(X_1450),bar(X_1451),bar(X_1452),bar(X_1453),bar(X_1454),bar(X_1455),bar(X_1456),bar(X_1457),bar(X_1458),bar(X_1459),bar(X_1460),
bar(X_1461),bar(X_1462),bar(X_1463),bar(X_1464),bar(X_1465),bar(X_1466),bar(X_1467),bar(X_1468),bar(X_1469),bar(X_1470),bar(X_1471),bar(X_1472),bar(X_1473),bar(X_1474),bar(X_1475),bar(X_1476),bar(X_1477),bar(X_1478),bar(X_1479),bar(X_1480),
bar(X_1481),bar(X_1482),bar(X_1483),bar(X_1484),bar(X_1485),bar(X_1486),bar(X_1487),bar(X_1488),bar(X_1489),bar(X_1490),bar(X_1491),bar(X_1492),bar(X_1493),bar(X_1494),bar(X_1495),bar(X_1496),bar(X_1497),bar(X_1498),bar(X_1499),
X is
X_1001 + X_1002 + X_1003 + X_1004 + X_1005 + X_1006 + X_1007 + X_1008
+ X_1009 + X_1010 + X_1011 + X_1012 + X_1013 + X_1014 + X_1015 +
X_1016 + X_1017 + X_1018 + X_1019 + X_1020 +
X_1021 + X_1022 + X_1023 + X_1024 + X_1025 + X_1026 + X_1027 + X_1028
+ X_1029 + X_1030 + X_1031 + X_1032 + X_1033 + X_1034 + X_1035 +
X_1036 + X_1037 + X_1038 + X_1039 + X_1040 +
X_1041 + X_1042 + X_1043 + X_1044 + X_1045 + X_1046 + X_1047 + X_1048
+ X_1049 + X_1050 + X_1051 + X_1052 + X_1053 + X_1054 + X_1055 +
X_1056 + X_1057 + X_1058 + X_1059 + X_1060 +
X_1061 + X_1062 + X_1063 + X_1064 + X_1065 + X_1066 + X_1067 + X_1068
+ X_1069 + X_1070 + X_1071 + X_1072 + X_1073 + X_1074 + X_1075 +
X_1076 + X_1077 + X_1078 + X_1079 + X_1080 +
X_1081 + X_1082 + X_1083 + X_1084 + X_1085 + X_1086 + X_1087 + X_1088
+ X_1089 + X_1090 + X_1091 + X_1092 + X_1093 + X_1094 + X_1095 +
X_1096 + X_1097 + X_1098 + X_1099 + X_1100 +
X_1101 + X_1102 + X_1103 + X_1104 + X_1105 + X_1106 + X_1107 + X_1108
+ X_1109 + X_1110 + X_1111 + X_1112 + X_1113 + X_1114 + X_1115 +
X_1116 + X_1117 + X_1118 + X_1119 + X_1120 +
X_1121 + X_1122 + X_1123 + X_1124 + X_1125 + X_1126 + X_1127 + X_1128
+ X_1129 + X_1130 + X_1131 + X_1132 + X_1133 + X_1134 + X_1135 +
X_1136 + X_1137 + X_1138 + X_1139 + X_1140 +
X_1141 + X_1142 + X_1143 + X_1144 + X_1145 + X_1146 + X_1147 + X_1148
+ X_1149 + X_1150 + X_1151 + X_1152 + X_1153 + X_1154 + X_1155 +
X_1156 + X_1157 + X_1158 + X_1159 + X_1160 +
X_1161 + X_1162 + X_1163 + X_1164 + X_1165 + X_1166 + X_1167 + X_1168
+ X_1169 + X_1170 + X_1171 + X_1172 + X_1173 + X_1174 + X_1175 +
X_1176 + X_1177 + X_1178 + X_1179 + X_1180 +
X_1181 + X_1182 + X_1183 + X_1184 + X_1185 + X_1186 + X_1187 + X_1188
+ X_1189 + X_1190 + X_1191 + X_1192 + X_1193 + X_1194 + X_1195 +
X_1196 + X_1197 + X_1198 + X_1199 + X_1200 +
X_1201 + X_1202 + X_1203 + X_1204 + X_1205 + X_1206 + X_1207 + X_1208
+ X_1209 + X_1210 + X_1211 + X_1212 + X_1213 + X_1214 + X_1215 +
X_1216 + X_1217 + X_1218 + X_1219 + X_1220 +
X_1221 + X_1222 + X_1223 + X_1224 + X_1225 + X_1226 + X_1227 + X_1228
+ X_1229 + X_1230 + X_1231 + X_1232 + X_1233 + X_1234 + X_1235 +
X_1236 + X_1237 + X_1238 + X_1239 + X_1240 +
X_1241 + X_1242 + X_1243 + X_1244 + X_1245 + X_1246 + X_1247 + X_1248
+ X_1249 + X_1250 + X_1251 + X_1252 + X_1253 + X_1254 + X_1255 +
X_1256 + X_1257 + X_1258 + X_1259 + X_1260 +
X_1261 + X_1262 + X_1263 + X_1264 + X_1265 + X_1266 + X_1267 + X_1268
+ X_1269 + X_1270 + X_1271 + X_1272 + X_1273 + X_1274 + X_1275 +
X_1276 + X_1277 + X_1278 + X_1279 + X_1280 +
X_1281 + X_1282 + X_1283 + X_1284 + X_1285 + X_1286 + X_1287 + X_1288
+ X_1289 + X_1290 + X_1291 + X_1292 + X_1293 + X_1294 + X_1295 +
X_1296 + X_1297 + X_1298 + X_1299 + X_1300 +
X_1301 + X_1302 + X_1303 + X_1304 + X_1305 + X_1306 + X_1307 + X_1308
+ X_1309 + X_1310 + X_1311 + X_1312 + X_1313 + X_1314 + X_1315 +
X_1316 + X_1317 + X_1318 + X_1319 + X_1320 +
X_1321 + X_1322 + X_1323 + X_1324 + X_1325 + X_1326 + X_1327 + X_1328
+ X_1329 + X_1330 + X_1331 + X_1332 + X_1333 + X_1334 + X_1335 +
X_1336 + X_1337 + X_1338 + X_1339 + X_1340 +
X_1341 + X_1342 + X_1343 + X_1344 + X_1345 + X_1346 + X_1347 + X_1348
+ X_1349 + X_1350 + X_1351 + X_1352 + X_1353 + X_1354 + X_1355 +
X_1356 + X_1357 + X_1358 + X_1359 + X_1360 +
X_1361 + X_1362 + X_1363 + X_1364 + X_1365 + X_1366 + X_1367 + X_1368
+ X_1369 + X_1370 + X_1371 + X_1372 + X_1373 + X_1374 + X_1375 +
X_1376 + X_1377 + X_1378 + X_1379 + X_1380 +
X_1381 + X_1382 + X_1383 + X_1384 + X_1385 + X_1386 + X_1387 + X_1388
+ X_1389 + X_1390 + X_1391 + X_1392 + X_1393 + X_1394 + X_1395 +
X_1396 + X_1397 + X_1398 + X_1399 + X_1400 +
X_1401 + X_1402 + X_1403 + X_1404 + X_1405 + X_1406 + X_1407 + X_1408
+ X_1409 + X_1410 + X_1411 + X_1412 + X_1413 + X_1414 + X_1415 +
X_1416 + X_1417 + X_1418 + X_1419 + X_1420 +
X_1421 + X_1422 + X_1423 + X_1424 + X_1425 + X_1426 + X_1427 + X_1428
+ X_1429 + X_1430 + X_1431 + X_1432 + X_1433 + X_1434 + X_1435 +
X_1436 + X_1437 + X_1438 + X_1439 + X_1440 +
X_1441 + X_1442 + X_1443 + X_1444 + X_1445 + X_1446 + X_1447 + X_1448
+ X_1449 + X_1450 + X_1451 + X_1452 + X_1453 + X_1454 + X_1455 +
X_1456 + X_1457 + X_1458 + X_1459 + X_1460 +
X_1461 + X_1462 + X_1463 + X_1464 + X_1465 + X_1466 + X_1467 + X_1468
+ X_1469 + X_1470 + X_1471 + X_1472 + X_1473 + X_1474 + X_1475 +
X_1476 + X_1477 + X_1478 + X_1479 + X_1480 +
X_1481 + X_1482 + X_1483 + X_1484 + X_1485 + X_1486 + X_1487 + X_1488
+ X_1489 + X_1490 + X_1491 + X_1492 + X_1493 + X_1494 + X_1495 +
X_1496 + X_1497 + X_1498 + X_1499.