rwxr-xr-x 4273/0 0 Apr 22 09:02 1994 ArtOfProlog/ rwxr-xr-x 4273/0 0 Apr 22 08:58 1994 ArtOfProlog/Chapter1/ rw-r--r-- 4273/0 382 Apr 22 08:58 1994 ArtOfProlog/Chapter1/program-1.1 rw-r--r-- 4273/0 280 Apr 22 08:58 1994 ArtOfProlog/Chapter1/program-1.2 rwxr-xr-x 4273/0 0 Apr 22 08:58 1994 ArtOfProlog/Chapter10/ rw-r--r-- 4273/0 260 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.1 rw-r--r-- 4273/0 467 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.2 rw-r--r-- 4273/0 234 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.3 rw-r--r-- 4273/0 380 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.4 rw-r--r-- 4273/0 661 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.5 rw-r--r-- 4273/0 1023 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.6 rw-r--r-- 4273/0 666 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.7 rw-r--r-- 4273/0 438 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.8 rw-r--r-- 4273/0 194 Apr 22 08:58 1994 ArtOfProlog/Chapter10/program-10.9 rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter11/ rw-r--r-- 4273/0 409 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.1 rw-r--r-- 4273/0 177 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.10 rw-r--r-- 4273/0 438 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.11a rw-r--r-- 4273/0 473 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.11b rw-r--r-- 4273/0 425 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.2 rw-r--r-- 4273/0 173 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.3 rw-r--r-- 4273/0 653 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.4 rw-r--r-- 4273/0 330 Apr 22 08:58 1994 ArtOfProlog/Chapter11/program-11.5 rw-r--r-- 4273/0 139 Apr 22 08:59 1994 ArtOfProlog/Chapter11/program-11.6 rw-r--r-- 4273/0 548 Apr 22 08:59 1994 ArtOfProlog/Chapter11/program-11.7 rw-r--r-- 4273/0 142 Apr 22 08:59 1994 ArtOfProlog/Chapter11/program-11.8 rw-r--r-- 4273/0 280 Apr 22 08:59 1994 ArtOfProlog/Chapter11/program-11.9a rw-r--r-- 4273/0 271 Apr 22 08:59 1994 ArtOfProlog/Chapter11/program-11.9b rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter12/ rw-r--r-- 4273/0 211 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.1 rw-r--r-- 4273/0 1142 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.2 rw-r--r-- 4273/0 560 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.3 rw-r--r-- 4273/0 196 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.4 rw-r--r-- 4273/0 1534 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.5 rw-r--r-- 4273/0 559 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.6 rw-r--r-- 4273/0 1168 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.7 rw-r--r-- 4273/0 184 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.8 rw-r--r-- 4273/0 366 Apr 22 08:59 1994 ArtOfProlog/Chapter12/program-12.9 rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter13/ rw-r--r-- 4273/0 258 Apr 22 08:59 1994 ArtOfProlog/Chapter13/program-13.1 rw-r--r-- 4273/0 314 Apr 22 08:59 1994 ArtOfProlog/Chapter13/program-13.2 rw-r--r-- 4273/0 403 Apr 22 08:59 1994 ArtOfProlog/Chapter13/program-13.3 rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter14/ rw-r--r-- 4273/0 391 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.1 rw-r--r-- 4273/0 303 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.10 rw-r--r-- 4273/0 1090 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.11 rw-r--r-- 4273/0 324 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.12 rw-r--r-- 4273/0 479 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.13 rw-r--r-- 4273/0 393 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.14 rw-r--r-- 4273/0 1711 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.15 rw-r--r-- 4273/0 871 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.16 rw-r--r-- 4273/0 842 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.17 rw-r--r-- 4273/0 790 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.2 rw-r--r-- 4273/0 716 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.3 rw-r--r-- 4273/0 889 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.4 rw-r--r-- 4273/0 689 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.5 rw-r--r-- 4273/0 311 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.6 rw-r--r-- 4273/0 1179 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.7 rw-r--r-- 4273/0 443 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.8 rw-r--r-- 4273/0 234 Apr 22 08:59 1994 ArtOfProlog/Chapter14/program-14.9 rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter15/ rw-r--r-- 4273/0 244 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.1 rw-r--r-- 4273/0 1139 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.10 rw-r--r-- 4273/0 416 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.11 rw-r--r-- 4273/0 514 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.12 rw-r--r-- 4273/0 369 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.2 rw-r--r-- 4273/0 254 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.3 rw-r--r-- 4273/0 527 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.4 rw-r--r-- 4273/0 782 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.5 rw-r--r-- 4273/0 866 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.6 rw-r--r-- 4273/0 383 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.7 rw-r--r-- 4273/0 356 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.8 rw-r--r-- 4273/0 432 Apr 22 08:59 1994 ArtOfProlog/Chapter15/program-15.9 rwxr-xr-x 4273/0 0 Apr 22 08:59 1994 ArtOfProlog/Chapter16/ rw-r--r-- 4273/0 308 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.1 rw-r--r-- 4273/0 257 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.2 rw-r--r-- 4273/0 644 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.3 rw-r--r-- 4273/0 809 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.4 rw-r--r-- 4273/0 1068 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.5 rw-r--r-- 4273/0 2292 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.6 rw-r--r-- 4273/0 891 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.7 rw-r--r-- 4273/0 491 Apr 22 08:59 1994 ArtOfProlog/Chapter16/program-16.8 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter17/ rw-r--r-- 4273/0 332 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.1 rw-r--r-- 4273/0 489 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.10 rw-r--r-- 4273/0 848 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.11 rw-r--r-- 4273/0 324 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.12 rw-r--r-- 4273/0 293 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.13 rw-r--r-- 4273/0 1420 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.14 rw-r--r-- 4273/0 1226 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.15 rw-r--r-- 4273/0 866 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.16 rw-r--r-- 4273/0 1191 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.17 rw-r--r-- 4273/0 888 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.18 rw-r--r-- 4273/0 1125 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.19 rw-r--r-- 4273/0 118 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.2 rw-r--r-- 4273/0 1116 Apr 22 08:59 1994 ArtOfProlog/Chapter17/program-17.20 rw-r--r-- 4273/0 2117 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.21 rw-r--r-- 4273/0 1317 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.22 rw-r--r-- 4273/0 3121 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.23 rw-r--r-- 4273/0 350 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.3 rw-r--r-- 4273/0 187 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.4 rw-r--r-- 4273/0 243 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.5 rw-r--r-- 4273/0 382 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.6 rw-r--r-- 4273/0 794 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.7 rw-r--r-- 4273/0 390 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.8 rw-r--r-- 4273/0 418 Apr 22 09:00 1994 ArtOfProlog/Chapter17/program-17.9 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter18/ rw-r--r-- 4273/0 422 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.1 rw-r--r-- 4273/0 433 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.2 rw-r--r-- 4273/0 960 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.3 rw-r--r-- 4273/0 431 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.4 rw-r--r-- 4273/0 1528 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.5 rw-r--r-- 4273/0 1524 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.6 rw-r--r-- 4273/0 1039 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.7 rw-r--r-- 4273/0 487 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.8 rw-r--r-- 4273/0 1138 Apr 22 09:00 1994 ArtOfProlog/Chapter18/program-18.9 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter19/ rw-r--r-- 4273/0 301 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.1 rw-r--r-- 4273/0 288 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.2 rw-r--r-- 4273/0 2204 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.3 rw-r--r-- 4273/0 707 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.4 rw-r--r-- 4273/0 844 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.5 rw-r--r-- 4273/0 552 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.6 rw-r--r-- 4273/0 732 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.7 rw-r--r-- 4273/0 1056 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.8 rw-r--r-- 4273/0 1307 Apr 22 09:00 1994 ArtOfProlog/Chapter19/program-19.9 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter2/ rw-r--r-- 4273/0 313 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.1 rw-r--r-- 4273/0 735 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.2 rw-r--r-- 4273/0 1064 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.3 rw-r--r-- 4273/0 424 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.4 rw-r--r-- 4273/0 279 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.5 rw-r--r-- 4273/0 101 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.6 rw-r--r-- 4273/0 265 Apr 22 09:00 1994 ArtOfProlog/Chapter2/program-2.7 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter20/ rw-r--r-- 4273/0 645 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.1 rw-r--r-- 4273/0 1156 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.10 rw-r--r-- 4273/0 1468 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.11 rw-r--r-- 4273/0 1451 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.2 rw-r--r-- 4273/0 1148 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.3 rw-r--r-- 4273/0 1426 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.4 rw-r--r-- 4273/0 319 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.5 rw-r--r-- 4273/0 2796 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.6 rw-r--r-- 4273/0 1573 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.7 rw-r--r-- 4273/0 559 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.8 rw-r--r-- 4273/0 639 Apr 22 09:00 1994 ArtOfProlog/Chapter20/program-20.9 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter21/ rw-r--r-- 4273/0 1695 Apr 22 09:00 1994 ArtOfProlog/Chapter21/program-21.1 rw-r--r-- 4273/0 3242 Apr 22 09:00 1994 ArtOfProlog/Chapter21/program-21.2 rw-r--r-- 4273/0 6726 Apr 22 09:00 1994 ArtOfProlog/Chapter21/program-21.3 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter22/ rw-r--r-- 4273/0 4755 Apr 22 09:00 1994 ArtOfProlog/Chapter22/program-22.1 rw-r--r-- 4273/0 637 Apr 22 09:00 1994 ArtOfProlog/Chapter22/program-22.2 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter23/ rw-r--r-- 4273/0 12151 Apr 22 09:00 1994 ArtOfProlog/Chapter23/program-23.1 rw-r--r-- 4273/0 45 Apr 22 09:00 1994 ArtOfProlog/Chapter23/program-23.2 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter24/ rw-r--r-- 4273/0 5687 Apr 22 09:00 1994 ArtOfProlog/Chapter24/program-24.1 rw-r--r-- 4273/0 597 Apr 22 09:00 1994 ArtOfProlog/Chapter24/program-24.2 rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter3/ rw-r--r-- 4273/0 163 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.1 rw-r--r-- 4273/0 203 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.10 rw-r--r-- 4273/0 105 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.11 rw-r--r-- 4273/0 163 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.12 rw-r--r-- 4273/0 278 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.13 rw-r--r-- 4273/0 583 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.14 rw-r--r-- 4273/0 190 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.15 rw-r--r-- 4273/0 341 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.16 rw-r--r-- 4273/0 155 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.17 rw-r--r-- 4273/0 303 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.18 rw-r--r-- 4273/0 248 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.19 rw-r--r-- 4273/0 436 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.2 rw-r--r-- 4273/0 404 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.20 rw-r--r-- 4273/0 284 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.21 rw-r--r-- 4273/0 475 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.22 rw-r--r-- 4273/0 193 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.23 rw-r--r-- 4273/0 280 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.24 rw-r--r-- 4273/0 363 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.25 rw-r--r-- 4273/0 434 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.26 rw-r--r-- 4273/0 642 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.27 rw-r--r-- 4273/0 846 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.28 rw-r--r-- 4273/0 529 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.29 rw-r--r-- 4273/0 252 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.3 rw-r--r-- 4273/0 706 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.30 rw-r--r-- 4273/0 335 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.31 rw-r--r-- 4273/0 657 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.32 rw-r--r-- 4273/0 348 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.4 rw-r--r-- 4273/0 440 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.5 rw-r--r-- 4273/0 362 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.6 rw-r--r-- 4273/0 495 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.7 rw-r--r-- 4273/0 383 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.8a rw-r--r-- 4273/0 328 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.8b rw-r--r-- 4273/0 291 Apr 22 09:00 1994 ArtOfProlog/Chapter3/program-3.9 rwxr-xr-x 4273/0 0 Apr 22 08:57 1994 ArtOfProlog/Chapter4/ rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter5/ rw-r--r-- 4273/0 220 Apr 22 09:00 1994 ArtOfProlog/Chapter5/program-5.1 rwxr-xr-x 4273/0 0 Apr 22 08:57 1994 ArtOfProlog/Chapter6/ rwxr-xr-x 4273/0 0 Apr 22 09:00 1994 ArtOfProlog/Chapter7/ rw-r--r-- 4273/0 220 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.1 rw-r--r-- 4273/0 485 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.10 rw-r--r-- 4273/0 417 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.2 rw-r--r-- 4273/0 198 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.3 rw-r--r-- 4273/0 296 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.4 rw-r--r-- 4273/0 181 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.5 rw-r--r-- 4273/0 203 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.6 rw-r--r-- 4273/0 258 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.7 rw-r--r-- 4273/0 402 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.8 rw-r--r-- 4273/0 377 Apr 22 09:00 1994 ArtOfProlog/Chapter7/program-7.9 rwxr-xr-x 4273/0 0 Apr 22 09:01 1994 ArtOfProlog/Chapter8/ rw-r--r-- 4273/0 319 Apr 22 09:00 1994 ArtOfProlog/Chapter8/program-8.1 rw-r--r-- 4273/0 177 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.10 rw-r--r-- 4273/0 174 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.11 rw-r--r-- 4273/0 228 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.12 rw-r--r-- 4273/0 212 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.2 rw-r--r-- 4273/0 256 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.3 rw-r--r-- 4273/0 252 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.4 rw-r--r-- 4273/0 224 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.5 rw-r--r-- 4273/0 200 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.6a rw-r--r-- 4273/0 310 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.6b rw-r--r-- 4273/0 300 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.7a rw-r--r-- 4273/0 397 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.7b rw-r--r-- 4273/0 374 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.8 rw-r--r-- 4273/0 315 Apr 22 09:01 1994 ArtOfProlog/Chapter8/program-8.9 rwxr-xr-x 4273/0 0 Apr 22 09:01 1994 ArtOfProlog/Chapter9/ rw-r--r-- 4273/0 277 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.1a rw-r--r-- 4273/0 390 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.1b rw-r--r-- 4273/0 385 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.2 rw-r--r-- 4273/0 691 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.3 rw-r--r-- 4273/0 363 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.4 rw-r--r-- 4273/0 364 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.5a rw-r--r-- 4273/0 523 Apr 22 09:01 1994 ArtOfProlog/Chapter9/program-9.5b