home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: Mailbox/MIME Entity
(archive/mbox).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| Mailbox/MIME Entity (archive/mbox)
| magic
| Supported |
| 100%
| dexvert
| Internet Message Format (text/imf)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| Mailbox text, 1st line "From jamie@cs.sfu.ca Fri Oct 14 22:08:16 1994", ASCII text
| default
| |
| 100%
| TrID
| E-Mail message (Var. 2)
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| x-fmt/111 Plain Text File
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| application/mbox
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 20 6a 61 6d | 69 65 40 63 73 2e 73 66 |From jam|ie@cs.sf|
|00000010| 75 2e 63 61 20 46 72 69 | 20 4f 63 74 20 31 34 20 |u.ca Fri| Oct 14 |
|00000020| 32 32 3a 30 38 3a 31 36 | 20 31 39 39 34 0a 4e 65 |22:08:16| 1994.Ne|
|00000030| 77 73 67 72 6f 75 70 73 | 3a 20 63 6f 6d 70 2e 6c |wsgroups|: comp.l|
|00000040| 61 6e 67 2e 70 72 6f 6c | 6f 67 2c 6e 65 77 73 2e |ang.prol|og,news.|
|00000050| 61 6e 73 77 65 72 73 2c | 63 6f 6d 70 2e 61 6e 73 |answers,|comp.ans|
|00000060| 77 65 72 73 0a 46 72 6f | 6d 3a 20 6a 61 6d 69 65 |wers.Fro|m: jamie|
|00000070| 40 63 73 2e 73 66 75 2e | 63 61 20 28 4a 61 6d 69 |@cs.sfu.|ca (Jami|
|00000080| 65 20 41 6e 64 72 65 77 | 73 29 0a 53 75 62 6a 65 |e Andrew|s).Subje|
|00000090| 63 74 3a 20 63 6f 6d 70 | 2e 6c 61 6e 67 2e 70 72 |ct: comp|.lang.pr|
|000000a0| 6f 6c 6f 67 20 46 72 65 | 71 75 65 6e 74 6c 79 20 |olog Fre|quently |
|000000b0| 41 73 6b 65 64 20 51 75 | 65 73 74 69 6f 6e 73 0a |Asked Qu|estions.|
|000000c0| 46 6f 6c 6c 6f 77 75 70 | 2d 54 6f 3a 20 63 6f 6d |Followup|-To: com|
|000000d0| 70 2e 6c 61 6e 67 2e 70 | 72 6f 6c 6f 67 0a 53 75 |p.lang.p|rolog.Su|
|000000e0| 6d 6d 61 72 79 3a 20 49 | 6e 66 6f 72 6d 61 74 69 |mmary: I|nformati|
|000000f0| 6f 6e 20 61 62 6f 75 74 | 20 66 72 65 65 20 50 72 |on about| free Pr|
|00000100| 6f 6c 6f 67 20 69 6d 70 | 6c 65 6d 65 6e 74 61 74 |olog imp|lementat|
|00000110| 69 6f 6e 73 3b 20 63 6f | 6e 74 61 63 74 20 6e 61 |ions; co|ntact na|
|00000120| 6d 65 73 20 66 6f 72 20 | 63 6f 6d 6d 65 72 63 69 |mes for |commerci|
|00000130| 61 6c 20 73 79 73 74 65 | 6d 73 3b 20 63 6f 6e 74 |al syste|ms; cont|
|00000140| 72 6f 76 65 72 73 69 61 | 6c 20 74 6f 70 69 63 73 |roversia|l topics|
|00000150| 2e 0a 53 75 70 65 72 73 | 65 64 65 73 3a 20 3c 70 |..Supers|edes: <p|
|00000160| 72 6f 6c 6f 67 2f 66 61 | 71 2d 31 2d 37 37 39 37 |rolog/fa|q-1-7797|
|00000170| 30 36 30 30 32 40 63 73 | 2e 73 66 75 2e 63 61 3e |06002@cs|.sfu.ca>|
|00000180| 0a 52 65 70 6c 79 2d 54 | 6f 3a 20 6a 61 6d 69 65 |.Reply-T|o: jamie|
|00000190| 40 63 73 2e 73 66 75 2e | 63 61 20 28 4a 61 6d 69 |@cs.sfu.|ca (Jami|
|000001a0| 65 20 41 6e 64 72 65 77 | 73 29 0a 4f 72 67 61 6e |e Andrew|s).Organ|
|000001b0| 69 7a 61 74 69 6f 6e 3a | 20 4c 6f 67 69 63 20 50 |ization:| Logic P|
|000001c0| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 4c 61 62 2c 20 |rogrammi|ng Lab, |
|000001d0| 43 6f 6d 70 75 74 65 72 | 20 53 63 69 65 6e 63 65 |Computer| Science|
|000001e0| 2c 20 53 69 6d 6f 6e 20 | 46 72 61 73 65 72 20 55 |, Simon |Fraser U|
|000001f0| 6e 69 76 65 72 73 69 74 | 79 0a 44 61 74 65 3a 20 |niversit|y.Date: |
|00000200| 53 61 74 2c 20 31 20 4f | 63 74 20 31 39 39 34 20 |Sat, 1 O|ct 1994 |
|00000210| 30 39 3a 30 30 3a 30 38 | 20 47 4d 54 0a 0a 50 6f |09:00:08| GMT..Po|
|00000220| 73 74 65 64 2d 42 79 3a | 20 61 75 74 6f 2d 66 61 |sted-By:| auto-fa|
|00000230| 71 20 73 63 72 69 70 74 | 0a 41 72 63 68 69 76 65 |q script|.Archive|
|00000240| 2d 6e 61 6d 65 3a 20 70 | 72 6f 6c 6f 67 2f 66 61 |-name: p|rolog/fa|
|00000250| 71 0a 0a 4f 72 69 67 69 | 6e 61 6c 2d 62 79 3a 20 |q..Origi|nal-by: |
|00000260| 6a 61 6d 69 65 40 63 73 | 2e 73 66 75 2e 63 61 20 |jamie@cs|.sfu.ca |
|00000270| 28 4a 61 6d 69 65 20 41 | 6e 64 72 65 77 73 29 0a |(Jamie A|ndrews).|
|00000280| 56 65 72 73 69 6f 6e 3a | 20 31 2e 31 36 0a 4c 61 |Version:| 1.16.La|
|00000290| 73 74 2d 6d 6f 64 69 66 | 69 65 64 3a 20 39 2f 33 |st-modif|ied: 9/3|
|000002a0| 30 2f 39 34 20 62 79 20 | 6a 61 6d 69 65 40 63 73 |0/94 by |jamie@cs|
|000002b0| 2e 73 66 75 2e 63 61 20 | 28 4a 61 6d 69 65 20 41 |.sfu.ca |(Jamie A|
|000002c0| 6e 64 72 65 77 73 29 0a | 0a 20 20 20 20 20 54 68 |ndrews).|. Th|
|000002d0| 69 73 20 61 72 74 69 63 | 6c 65 20 63 6f 6e 74 61 |is artic|le conta|
|000002e0| 69 6e 73 20 74 68 65 20 | 61 6e 73 77 65 72 73 20 |ins the |answers |
|000002f0| 74 6f 20 73 6f 6d 65 20 | 46 72 65 71 75 65 6e 74 |to some |Frequent|
|00000300| 6c 79 20 41 73 6b 65 64 | 0a 51 75 65 73 74 69 6f |ly Asked|.Questio|
|00000310| 6e 73 20 28 46 41 51 29 | 20 6f 66 74 65 6e 20 73 |ns (FAQ)| often s|
|00000320| 65 65 6e 20 69 6e 20 63 | 6f 6d 70 2e 6c 61 6e 67 |een in c|omp.lang|
|00000330| 2e 70 72 6f 6c 6f 67 2e | 20 20 49 74 20 69 73 20 |.prolog.| It is |
|00000340| 70 6f 73 74 65 64 0a 28 | 74 77 69 63 65 20 61 20 |posted.(|twice a |
|00000350| 6d 6f 6e 74 68 2c 20 63 | 75 72 72 65 6e 74 6c 79 |month, c|urrently|
|00000360| 20 6f 6e 20 74 68 65 20 | 31 73 74 20 61 6e 64 20 | on the |1st and |
|00000370| 31 36 74 68 29 20 74 6f | 20 68 65 6c 70 20 72 65 |16th) to| help re|
|00000380| 64 75 63 65 0a 76 6f 6c | 75 6d 65 20 69 6e 20 74 |duce.vol|ume in t|
|00000390| 68 69 73 20 6e 65 77 73 | 67 72 6f 75 70 20 61 6e |his news|group an|
|000003a0| 64 20 74 6f 20 70 72 6f | 76 69 64 65 20 68 61 72 |d to pro|vide har|
|000003b0| 64 2d 74 6f 2d 66 69 6e | 64 20 69 6e 66 6f 72 6d |d-to-fin|d inform|
|000003c0| 61 74 69 6f 6e 0a 6f 66 | 20 67 65 6e 65 72 61 6c |ation.of| general|
|000003d0| 20 69 6e 74 65 72 65 73 | 74 2e 0a 0a 20 20 20 20 | interes|t... |
|000003e0| 20 54 68 69 73 20 61 72 | 74 69 63 6c 65 20 69 6e | This ar|ticle in|
|000003f0| 63 6c 75 64 65 73 20 61 | 6e 73 77 65 72 73 20 74 |cludes a|nswers t|
|00000400| 6f 20 74 68 65 20 66 6f | 6c 6c 6f 77 69 6e 67 20 |o the fo|llowing |
|00000410| 71 75 65 73 74 69 6f 6e | 73 2e 0a 0a 30 2e 20 47 |question|s...0. G|
|00000420| 65 6e 65 72 61 6c 20 69 | 6e 66 6f 72 6d 61 74 69 |eneral i|nformati|
|00000430| 6f 6e 0a 31 2e 20 57 68 | 61 74 20 69 73 20 74 68 |on.1. Wh|at is th|
|00000440| 65 20 41 73 73 6f 63 69 | 61 74 69 6f 6e 20 66 6f |e Associ|ation fo|
|00000450| 72 20 4c 6f 67 69 63 20 | 50 72 6f 67 72 61 6d 6d |r Logic |Programm|
|00000460| 69 6e 67 3f 0a 32 2e 20 | 57 68 65 72 65 20 63 61 |ing?.2. |Where ca|
|00000470| 6e 20 49 20 67 65 74 20 | 61 20 70 75 62 6c 69 63 |n I get |a public|
|00000480| 2d 64 6f 6d 61 69 6e 2c | 20 66 72 65 65 20 50 72 |-domain,| free Pr|
|00000490| 6f 6c 6f 67 20 66 6f 72 | 20 28 74 68 65 20 49 42 |olog for| (the IB|
|000004a0| 4d 20 50 43 2c 0a 20 20 | 20 74 68 65 20 4d 61 63 |M PC,. | the Mac|
|000004b0| 2c 20 55 6e 69 78 29 3f | 0a 33 2e 20 57 68 61 74 |, Unix)?|.3. What|
|000004c0| 20 63 6f 6d 6d 65 72 63 | 69 61 6c 20 73 79 73 74 | commerc|ial syst|
|000004d0| 65 6d 73 20 61 72 65 20 | 61 76 61 69 6c 61 62 6c |ems are |availabl|
|000004e0| 65 3f 20 20 57 68 61 74 | 20 61 62 6f 75 74 20 73 |e? What| about s|
|000004f0| 79 73 74 65 6d 73 0a 20 | 20 20 61 76 61 69 6c 61 |ystems. | availa|
|00000500| 62 6c 65 20 66 6f 72 20 | 61 20 70 72 69 63 65 20 |ble for |a price |
|00000510| 66 72 6f 6d 20 72 65 73 | 65 61 72 63 68 20 69 6e |from res|earch in|
|00000520| 73 74 69 74 75 74 69 6f | 6e 73 3f 0a 34 2e 20 48 |stitutio|ns?.4. H|
|00000530| 6f 77 20 64 6f 20 49 20 | 67 65 74 20 69 6e 20 74 |ow do I |get in t|
|00000540| 6f 75 63 68 20 77 69 74 | 68 20 6d 79 20 50 72 6f |ouch wit|h my Pro|
|00000550| 6c 6f 67 27 73 20 75 73 | 65 72 73 27 20 67 72 6f |log's us|ers' gro|
|00000560| 75 70 2c 0a 20 20 20 73 | 61 6c 65 73 20 72 65 70 |up,. s|ales rep|
|00000570| 72 65 73 65 6e 74 61 74 | 69 76 65 2c 20 6f 72 20 |resentat|ive, or |
|00000580| 74 65 63 68 6e 69 63 61 | 6c 20 73 75 70 70 6f 72 |technica|l suppor|
|00000590| 74 20 6c 69 6e 65 3f 0a | 35 2e 20 49 20 74 68 69 |t line?.|5. I thi|
|000005a0| 6e 6b 20 6c 61 6e 67 75 | 61 67 65 20 58 20 69 73 |nk langu|age X is|
|000005b0| 20 62 65 74 74 65 72 20 | 74 68 61 6e 20 50 72 6f | better |than Pro|
|000005c0| 6c 6f 67 2e 20 20 57 68 | 61 74 20 64 6f 20 79 6f |log. Wh|at do yo|
|000005d0| 75 20 74 68 69 6e 6b 3f | 0a 36 2e 20 4d 79 20 50 |u think?|.6. My P|
|000005e0| 72 6f 6c 6f 67 20 70 72 | 6f 66 20 61 73 73 69 67 |rolog pr|of assig|
|000005f0| 6e 65 64 20 6d 65 20 74 | 68 69 73 20 70 72 6f 62 |ned me t|his prob|
|00000600| 6c 65 6d 2e 20 20 43 61 | 6e 20 79 6f 75 20 68 65 |lem. Ca|n you he|
|00000610| 6c 70 0a 20 20 20 6d 65 | 20 77 69 74 68 20 69 74 |lp. me| with it|
|00000620| 3f 0a 37 2e 20 43 61 6e | 20 79 6f 75 20 73 75 67 |?.7. Can| you sug|
|00000630| 67 65 73 74 20 73 6f 6d | 65 20 62 6f 6f 6b 73 20 |gest som|e books |
|00000640| 6f 6e 20 50 72 6f 6c 6f | 67 3f 0a 38 2e 20 41 72 |on Prolo|g?.8. Ar|
|00000650| 65 20 74 68 65 72 65 20 | 61 6e 79 20 46 54 50 20 |e there |any FTP |
|00000660| 61 72 63 68 69 76 65 20 | 73 69 74 65 73 20 66 6f |archive |sites fo|
|00000670| 72 20 63 6f 6d 70 2e 6c | 61 6e 67 2e 70 72 6f 6c |r comp.l|ang.prol|
|00000680| 6f 67 3f 0a 39 2e 20 48 | 6f 77 20 63 61 6e 20 49 |og?.9. H|ow can I|
|00000690| 20 67 65 74 20 61 20 63 | 6f 70 79 20 6f 66 20 74 | get a c|opy of t|
|000006a0| 68 65 20 64 72 61 66 74 | 20 49 53 4f 20 50 72 6f |he draft| ISO Pro|
|000006b0| 6c 6f 67 20 73 74 61 6e | 64 61 72 64 3f 0a 20 20 |log stan|dard?. |
|000006c0| 20 57 68 65 72 65 20 63 | 61 6e 20 49 20 67 6f 20 | Where c|an I go |
|000006d0| 66 6f 72 20 6d 6f 72 65 | 20 69 6e 66 6f 72 6d 61 |for more| informa|
|000006e0| 74 69 6f 6e 20 61 62 6f | 75 74 20 69 74 3f 0a 31 |tion abo|ut it?.1|
|000006f0| 30 2e 20 48 6f 77 20 64 | 6f 65 73 20 74 68 65 20 |0. How d|oes the |
|00000700| 57 41 4d 20 28 57 61 72 | 72 65 6e 20 41 62 73 74 |WAM (War|ren Abst|
|00000710| 72 61 63 74 20 4d 61 63 | 68 69 6e 65 29 20 77 6f |ract Mac|hine) wo|
|00000720| 72 6b 3f 20 20 48 6f 77 | 20 64 6f 20 49 0a 20 20 |rk? How| do I. |
|00000730| 20 77 72 69 74 65 20 61 | 20 57 41 4d 2d 62 61 73 | write a| WAM-bas|
|00000740| 65 64 20 63 6f 6d 70 69 | 6c 65 72 20 6f 72 20 61 |ed compi|ler or a|
|00000750| 20 57 41 4d 20 65 6d 75 | 6c 61 74 6f 72 3f 0a 31 | WAM emu|lator?.1|
|00000760| 31 2e 20 49 73 20 74 68 | 65 72 65 20 61 20 57 57 |1. Is th|ere a WW|
|00000770| 57 20 28 57 6f 72 6c 64 | 20 57 69 64 65 20 57 65 |W (World| Wide We|
|00000780| 62 29 20 70 61 67 65 20 | 6f 6e 20 6c 6f 67 69 63 |b) page |on logic|
|00000790| 20 70 72 6f 67 72 61 6d | 6d 69 6e 67 3f 0a 0a 20 | program|ming?.. |
|000007a0| 20 20 20 20 50 6c 65 61 | 73 65 20 66 6f 72 77 61 | Plea|se forwa|
|000007b0| 72 64 20 73 75 67 67 65 | 73 74 69 6f 6e 73 20 66 |rd sugge|stions f|
|000007c0| 6f 72 20 66 75 72 74 68 | 65 72 20 71 75 65 73 74 |or furth|er quest|
|000007d0| 69 6f 6e 73 20 61 6e 64 | 0a 61 6e 73 77 65 72 73 |ions and|.answers|
|000007e0| 20 74 6f 20 74 68 65 20 | 63 75 72 72 65 6e 74 20 | to the |current |
|000007f0| 46 41 51 20 6d 61 69 6e | 74 61 69 6e 65 72 2c 20 |FAQ main|tainer, |
|00000800| 6a 61 6d 69 65 40 63 73 | 2e 73 66 75 2e 63 61 20 |jamie@cs|.sfu.ca |
|00000810| 28 4a 61 6d 69 65 0a 41 | 6e 64 72 65 77 73 29 2e |(Jamie.A|ndrews).|
|00000820| 0a 0a 43 68 61 6e 67 65 | 73 20 69 6e 20 74 68 69 |..Change|s in thi|
|00000830| 73 20 76 65 72 73 69 6f | 6e 3a 0a 2a 20 41 64 64 |s versio|n:.* Add|
|00000840| 65 64 20 69 6e 66 6f 72 | 6d 61 74 69 6f 6e 20 6f |ed infor|mation o|
|00000850| 6e 20 50 49 45 32 20 28 | 44 4f 53 29 2e 0a 2a 20 |n PIE2 (|DOS)..* |
|00000860| 41 64 64 65 64 20 69 6e | 66 6f 72 6d 61 74 69 6f |Added in|formatio|
|00000870| 6e 20 6f 6e 20 77 61 6d | 63 63 20 61 6e 64 20 63 |n on wam|cc and c|
|00000880| 6c 70 28 46 44 29 20 28 | 55 6e 69 78 29 2e 0a 2a |lp(FD) (|Unix)..*|
|00000890| 20 41 64 64 65 64 20 69 | 6e 66 6f 72 6d 61 74 69 | Added i|nformati|
|000008a0| 6f 6e 20 6f 6e 20 4b 4c | 49 43 20 28 55 6e 69 78 |on on KL|IC (Unix|
|000008b0| 29 2e 0a 2a 20 55 70 64 | 61 74 65 64 20 69 6e 66 |)..* Upd|ated inf|
|000008c0| 6f 72 6d 61 74 69 6f 6e | 20 6f 6e 20 53 57 49 2d |ormation| on SWI-|
|000008d0| 50 72 6f 6c 6f 67 20 28 | 57 69 6e 64 6f 77 73 29 |Prolog (|Windows)|
|000008e0| 2e 0a 2a 20 55 70 64 61 | 74 65 64 20 69 6e 66 6f |..* Upda|ted info|
|000008f0| 72 6d 61 74 69 6f 6e 20 | 6f 6e 20 42 69 6e 50 72 |rmation |on BinPr|
|00000900| 6f 6c 6f 67 20 28 55 6e | 69 78 2c 20 44 6f 73 29 |olog (Un|ix, Dos)|
|00000910| 2e 0a 2a 20 55 70 64 61 | 74 65 64 20 46 54 50 20 |..* Upda|ted FTP |
|00000920| 61 72 63 68 69 76 65 20 | 69 6e 66 6f 72 6d 61 74 |archive |informat|
|00000930| 69 6f 6e 2e 0a 2a 20 43 | 6f 72 72 65 63 74 65 64 |ion..* C|orrected|
|00000940| 20 69 6e 66 6f 72 6d 61 | 74 69 6f 6e 20 6f 6e 20 | informa|tion on |
|00000950| 50 72 6f 6c 6f 67 20 73 | 74 61 6e 64 61 72 64 20 |Prolog s|tandard |
|00000960| 73 75 6d 6d 61 72 79 2e | 0a 2a 20 41 64 64 65 64 |summary.|.* Added|
|00000970| 20 71 75 65 73 74 69 6f | 6e 20 31 31 2e 0a 0a 09 | questio|n 11....|
|00000980| 09 09 2a 09 2a 09 2a 0a | 0a 30 2e 20 47 65 6e 65 |..*.*.*.|.0. Gene|
|00000990| 72 61 6c 20 69 6e 66 6f | 72 6d 61 74 69 6f 6e 0a |ral info|rmation.|
|000009a0| 0a 20 20 20 20 20 54 68 | 65 20 6e 65 77 73 67 72 |. Th|e newsgr|
|000009b0| 6f 75 70 20 22 63 6f 6d | 70 2e 6c 61 6e 67 2e 70 |oup "com|p.lang.p|
|000009c0| 72 6f 6c 6f 67 22 20 64 | 69 73 63 75 73 73 65 73 |rolog" d|iscusses|
|000009d0| 20 74 68 65 20 6c 61 6e | 67 75 61 67 65 0a 50 72 | the lan|guage.Pr|
|000009e0| 6f 6c 6f 67 20 61 6e 64 | 20 6f 74 68 65 72 20 22 |olog and| other "|
|000009f0| 6c 6f 67 69 63 20 70 72 | 6f 67 72 61 6d 6d 69 6e |logic pr|ogrammin|
|00000a00| 67 22 20 6c 61 6e 67 75 | 61 67 65 73 2e 20 20 4c |g" langu|ages. L|
|00000a10| 6f 67 69 63 0a 70 72 6f | 67 72 61 6d 6d 69 6e 67 |ogic.pro|gramming|
|00000a20| 20 6c 61 6e 67 75 61 67 | 65 73 2c 20 69 6e 20 67 | languag|es, in g|
|00000a30| 65 6e 65 72 61 6c 2c 20 | 61 72 65 20 70 72 6f 67 |eneral, |are prog|
|00000a40| 72 61 6d 6d 69 6e 67 20 | 6c 61 6e 67 75 61 67 65 |ramming |language|
|00000a50| 73 0a 77 68 69 63 68 20 | 69 6e 63 6f 72 70 6f 72 |s.which |incorpor|
|00000a60| 61 74 65 20 73 6f 6d 65 | 20 6f 66 20 74 68 65 20 |ate some| of the |
|00000a70| 6c 61 6e 67 75 61 67 65 | 20 6f 66 20 6d 61 74 68 |language| of math|
|00000a80| 65 6d 61 74 69 63 61 6c | 20 6c 6f 67 69 63 3b 0a |ematical| logic;.|
|00000a90| 75 6e 69 66 69 63 61 74 | 69 6f 6e 20 61 6e 64 20 |unificat|ion and |
|00000aa0| 62 61 63 6b 74 72 61 63 | 6b 69 6e 67 20 73 65 61 |backtrac|king sea|
|00000ab0| 72 63 68 20 61 72 65 20 | 63 6f 6d 6d 6f 6e 20 6f |rch are |common o|
|00000ac0| 70 65 72 61 74 69 6f 6e | 61 6c 0a 66 65 61 74 75 |peration|al.featu|
|00000ad0| 72 65 73 2e 20 20 46 6f | 72 20 6d 6f 72 65 20 62 |res. Fo|r more b|
|00000ae0| 61 63 6b 67 72 6f 75 6e | 64 20 69 6e 66 6f 72 6d |ackgroun|d inform|
|00000af0| 61 74 69 6f 6e 20 61 62 | 6f 75 74 20 50 72 6f 6c |ation ab|out Prol|
|00000b00| 6f 67 2c 20 73 65 65 20 | 74 68 65 0a 6c 69 73 74 |og, see |the.list|
|00000b10| 20 6f 66 20 62 6f 6f 6b | 73 20 69 6e 20 51 75 65 | of book|s in Que|
|00000b20| 73 74 69 6f 6e 20 37 20 | 6f 66 20 74 68 69 73 20 |stion 7 |of this |
|00000b30| 6c 69 73 74 2e 0a 0a 09 | 09 09 2a 09 2a 09 2a 0a |list....|..*.*.*.|
|00000b40| 0a 31 2e 20 57 68 61 74 | 20 69 73 20 74 68 65 20 |.1. What| is the |
|00000b50| 41 73 73 6f 63 69 61 74 | 69 6f 6e 20 66 6f 72 20 |Associat|ion for |
|00000b60| 4c 6f 67 69 63 20 50 72 | 6f 67 72 61 6d 6d 69 6e |Logic Pr|ogrammin|
|00000b70| 67 3f 0a 0a 20 20 20 20 | 20 54 6f 20 6b 65 65 70 |g?.. | To keep|
|00000b80| 20 75 70 20 77 69 74 68 | 20 74 68 65 20 63 75 72 | up with| the cur|
|00000b90| 72 65 6e 74 20 73 74 61 | 74 65 20 6f 66 20 6c 6f |rent sta|te of lo|
|00000ba0| 67 69 63 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 0a |gic prog|ramming.|
|00000bb0| 74 65 63 68 6e 6f 6c 6f | 67 79 2c 20 72 65 61 64 |technolo|gy, read|
|00000bc0| 65 72 73 20 63 61 6e 20 | 6a 6f 69 6e 20 74 68 65 |ers can |join the|
|00000bd0| 20 41 73 73 6f 63 69 61 | 74 69 6f 6e 20 66 6f 72 | Associa|tion for|
|00000be0| 20 4c 6f 67 69 63 0a 50 | 72 6f 67 72 61 6d 6d 69 | Logic.P|rogrammi|
|00000bf0| 6e 67 20 28 41 4c 50 29 | 20 61 6e 64 20 72 65 63 |ng (ALP)| and rec|
|00000c00| 65 69 76 65 20 74 68 65 | 69 72 20 4e 65 77 73 6c |eive the|ir Newsl|
|00000c10| 65 74 74 65 72 2e 20 20 | 46 6f 72 20 64 65 74 61 |etter. |For deta|
|00000c20| 69 6c 73 20 6f 6e 0a 68 | 6f 77 20 74 6f 20 6a 6f |ils on.h|ow to jo|
|00000c30| 69 6e 2c 20 63 6f 6e 74 | 61 63 74 3a 0a 0a 20 20 |in, cont|act:.. |
|00000c40| 20 20 20 20 20 20 43 68 | 65 72 79 6c 20 41 6e 64 | Ch|eryl And|
|00000c50| 65 72 73 6f 6e 2c 0a 20 | 20 20 20 20 20 20 20 41 |erson,. | A|
|00000c60| 4c 50 20 41 64 6d 69 6e | 69 73 74 72 61 74 69 76 |LP Admin|istrativ|
|00000c70| 65 20 53 65 63 72 65 74 | 61 72 79 2c 0a 20 20 20 |e Secret|ary,. |
|00000c80| 20 20 20 20 20 44 65 70 | 74 2e 20 6f 66 20 43 6f | Dep|t. of Co|
|00000c90| 6d 70 75 74 69 6e 67 2c | 0a 20 20 20 20 20 20 20 |mputing,|. |
|00000ca0| 20 49 6d 70 65 72 69 61 | 6c 20 43 6f 6c 6c 65 67 | Imperia|l Colleg|
|00000cb0| 65 2c 0a 20 20 20 20 20 | 20 20 20 31 38 30 20 51 |e,. | 180 Q|
|00000cc0| 75 65 65 6e 27 73 20 47 | 61 74 65 2c 0a 20 20 20 |ueen's G|ate,. |
|00000cd0| 20 20 20 20 20 4c 6f 6e | 64 6f 6e 2c 20 53 57 37 | Lon|don, SW7|
|00000ce0| 20 32 42 5a 2c 20 55 4b | 0a 0a 45 6d 61 69 6c 3a | 2BZ, UK|..Email:|
|00000cf0| 20 20 20 63 73 61 40 64 | 6f 63 2e 69 63 2e 61 63 | csa@d|oc.ic.ac|
|00000d00| 2e 75 6b 0a 46 61 78 3a | 20 20 20 20 2b 34 34 20 |.uk.Fax:| +44 |
|00000d10| 37 31 20 35 38 39 20 31 | 35 35 32 0a 50 68 6f 6e |71 589 1|552.Phon|
|00000d20| 65 3a 20 20 2b 34 34 20 | 37 31 20 35 38 39 20 35 |e: +44 |71 589 5|
|00000d30| 31 31 31 20 78 35 30 31 | 31 0a 0a 20 20 20 20 20 |111 x501|1.. |
|00000d40| 54 68 65 20 50 72 6f 6c | 6f 67 20 52 65 73 6f 75 |The Prol|og Resou|
|00000d50| 72 63 65 20 47 75 69 64 | 65 20 28 76 30 2e 36 29 |rce Guid|e (v0.6)|
|00000d60| 20 77 61 73 20 70 72 69 | 6e 74 65 64 20 69 6e 20 | was pri|nted in |
|00000d70| 69 73 73 75 65 20 35 2f | 31 0a 6f 66 20 74 68 65 |issue 5/|1.of the|
|00000d80| 20 4e 65 77 73 6c 65 74 | 74 65 72 20 28 46 65 62 | Newslet|ter (Feb|
|00000d90| 2e 20 31 39 39 32 29 2e | 20 54 68 69 73 20 6c 69 |. 1992).| This li|
|00000da0| 73 74 73 20 69 6e 66 6f | 72 6d 61 74 69 6f 6e 20 |sts info|rmation |
|00000db0| 63 6f 6e 63 65 72 6e 69 | 6e 67 0a 50 72 6f 6c 6f |concerni|ng.Prolo|
|00000dc0| 67 20 41 72 63 68 69 76 | 65 73 2c 20 42 6f 6f 6b |g Archiv|es, Book|
|00000dd0| 73 2c 20 53 75 70 70 6c | 69 65 72 73 2c 20 65 74 |s, Suppl|iers, et|
|00000de0| 63 2e 20 20 49 74 20 69 | 73 20 6e 6f 77 20 6d 61 |c. It i|s now ma|
|00000df0| 69 6e 74 61 69 6e 65 64 | 20 62 79 0a 4d 61 72 6b |intained| by.Mark|
|00000e00| 20 4b 61 6e 74 72 6f 77 | 69 74 7a 20 28 4d 61 72 | Kantrow|itz (Mar|
|00000e10| 6b 2e 4b 61 6e 74 72 6f | 77 69 74 7a 40 47 4c 49 |k.Kantro|witz@GLI|
|00000e20| 4e 44 41 2e 4f 5a 2e 43 | 53 2e 43 4d 55 2e 45 44 |NDA.OZ.C|S.CMU.ED|
|00000e30| 55 29 2c 20 61 6e 64 0a | 70 6f 73 74 65 64 20 70 |U), and.|posted p|
|00000e40| 65 72 69 6f 64 69 63 61 | 6c 6c 79 20 74 6f 20 63 |eriodica|lly to c|
|00000e50| 6f 6d 70 2e 6c 61 6e 67 | 2e 70 72 6f 6c 6f 67 20 |omp.lang|.prolog |
|00000e60| 28 73 65 65 20 71 75 65 | 73 74 69 6f 6e 20 33 29 |(see que|stion 3)|
|00000e70| 2e 0a 0a 20 20 20 20 20 | 54 6f 20 73 65 6e 64 20 |... |To send |
|00000e80| 69 6e 20 4e 65 77 73 6c | 65 74 74 65 72 20 63 6f |in Newsl|etter co|
|00000e90| 6e 74 72 69 62 75 74 69 | 6f 6e 73 2c 20 77 72 69 |ntributi|ons, wri|
|00000ea0| 74 65 20 74 6f 3a 0a 0a | 20 20 20 20 20 20 20 20 |te to:..| |
|00000eb0| 41 6e 64 72 65 77 20 44 | 61 76 69 73 6f 6e 2c 0a |Andrew D|avison,.|
|00000ec0| 20 20 20 20 20 20 20 20 | 44 65 70 74 2e 20 6f 66 | |Dept. of|
|00000ed0| 20 43 6f 6d 70 75 74 65 | 72 20 53 63 69 65 6e 63 | Compute|r Scienc|
|00000ee0| 65 2c 0a 20 20 20 20 20 | 20 20 20 55 6e 69 76 65 |e,. | Unive|
|00000ef0| 72 73 69 74 79 20 6f 66 | 20 4d 65 6c 62 6f 75 72 |rsity of| Melbour|
|00000f00| 6e 65 2c 0a 20 20 20 20 | 20 20 20 20 50 61 72 6b |ne,. | Park|
|00000f10| 76 69 6c 6c 65 2c 0a 20 | 20 20 20 20 20 20 20 4d |ville,. | M|
|00000f20| 65 6c 62 6f 75 72 6e 65 | 2c 20 56 69 63 74 6f 72 |elbourne|, Victor|
|00000f30| 69 61 20 33 30 35 32 2c | 0a 20 20 20 20 20 20 20 |ia 3052,|. |
|00000f40| 20 41 55 53 54 52 41 4c | 49 41 0a 0a 45 6d 61 69 | AUSTRAL|IA..Emai|
|00000f50| 6c 3a 20 20 20 61 64 40 | 63 73 2e 6d 75 2e 6f 7a |l: ad@|cs.mu.oz|
|00000f60| 2e 61 75 0a 46 61 78 3a | 20 20 20 20 2b 36 31 20 |.au.Fax:| +61 |
|00000f70| 33 20 33 34 38 20 31 31 | 38 34 0a 50 68 6f 6e 65 |3 348 11|84.Phone|
|00000f80| 3a 20 20 2b 36 31 20 33 | 20 33 34 34 20 37 32 30 |: +61 3| 344 720|
|00000f90| 37 20 2f 20 35 32 33 30 | 0a 54 65 6c 65 78 3a 20 |7 / 5230|.Telex: |
|00000fa0| 20 20 41 41 20 33 35 31 | 38 35 0a 0a 09 09 09 2a | AA 351|85.....*|
|00000fb0| 09 2a 09 2a 0a 0a 32 2e | 20 57 68 65 72 65 20 63 |.*.*..2.| Where c|
|00000fc0| 61 6e 20 49 20 67 65 74 | 20 61 20 70 75 62 6c 69 |an I get| a publi|
|00000fd0| 63 2d 64 6f 6d 61 69 6e | 2c 20 66 72 65 65 20 50 |c-domain|, free P|
|00000fe0| 72 6f 6c 6f 67 20 66 6f | 72 20 28 74 68 65 20 49 |rolog fo|r (the I|
|00000ff0| 42 4d 20 50 43 2c 0a 20 | 20 20 74 68 65 20 4d 61 |BM PC,. | the Ma|
|00001000| 63 2c 20 55 6e 69 78 29 | 3f 0a 0a 20 20 20 20 20 |c, Unix)|?.. |
|00001010| 54 68 65 20 66 6f 6c 6c | 6f 77 69 6e 67 20 61 72 |The foll|owing ar|
|00001020| 65 20 61 6e 6f 6e 79 6d | 6f 75 73 2d 46 54 50 20 |e anonym|ous-FTP |
|00001030| 73 69 74 65 73 20 66 6f | 72 20 66 72 65 65 20 50 |sites fo|r free P|
|00001040| 72 6f 6c 6f 67 73 0a 77 | 68 69 63 68 20 61 72 65 |rologs.w|hich are|
|00001050| 20 65 69 74 68 65 72 20 | 69 6e 20 74 68 65 20 70 | either |in the p|
|00001060| 75 62 6c 69 63 20 64 6f | 6d 61 69 6e 20 6f 72 20 |ublic do|main or |
|00001070| 61 72 65 20 22 63 6f 70 | 79 2d 6c 65 66 74 65 64 |are "cop|y-lefted|
|00001080| 22 0a 28 70 65 72 6d 69 | 74 74 65 64 20 74 6f 20 |".(permi|tted to |
|00001090| 62 65 20 63 6f 70 69 65 | 64 20 77 69 74 68 20 73 |be copie|d with s|
|000010a0| 6f 6d 65 20 72 65 73 74 | 72 69 63 74 69 6f 6e 73 |ome rest|rictions|
|000010b0| 20 6f 6e 20 63 6f 6d 6d | 65 72 63 69 61 6c 20 75 | on comm|ercial u|
|000010c0| 73 65 29 2e 0a 0a 20 20 | 20 20 20 5b 50 6c 65 61 |se)... | [Plea|
|000010d0| 73 65 20 73 65 65 20 4d | 61 72 6b 20 4b 61 6e 74 |se see M|ark Kant|
|000010e0| 72 6f 77 69 74 7a 27 73 | 20 6d 6f 6e 74 68 6c 79 |rowitz's| monthly|
|000010f0| 20 22 50 72 6f 6c 6f 67 | 20 52 65 73 6f 75 72 63 | "Prolog| Resourc|
|00001100| 65 0a 47 75 69 64 65 22 | 20 70 6f 73 74 69 6e 67 |e.Guide"| posting|
|00001110| 20 28 73 65 65 20 71 75 | 65 73 74 69 6f 6e 20 33 | (see qu|estion 3|
|00001120| 29 20 66 6f 72 20 69 6e | 66 6f 72 6d 61 74 69 6f |) for in|formatio|
|00001130| 6e 20 61 62 6f 75 74 20 | 6e 6f 6e 2d 66 72 65 65 |n about |non-free|
|00001140| 0a 69 6d 70 6c 65 6d 65 | 6e 74 61 74 69 6f 6e 73 |.impleme|ntations|
|00001150| 2e 5d 0a 0a 20 20 20 20 | 20 28 50 6c 65 61 73 65 |.].. | (Please|
|00001160| 20 6e 6f 74 65 20 74 68 | 61 74 20 66 6f 72 20 65 | note th|at for e|
|00001170| 78 74 65 6e 73 69 76 65 | 20 64 65 76 65 6c 6f 70 |xtensive| develop|
|00001180| 6d 65 6e 74 20 77 6f 72 | 6b 2c 20 75 73 65 72 73 |ment wor|k, users|
|00001190| 0a 77 69 6c 6c 20 70 72 | 6f 62 61 62 6c 79 20 77 |.will pr|obably w|
|000011a0| 61 6e 74 20 61 20 72 6f | 62 75 73 74 20 69 6e 74 |ant a ro|bust int|
|000011b0| 65 72 70 72 65 74 65 72 | 20 6f 72 20 63 6f 6d 70 |erpreter| or comp|
|000011c0| 69 6c 65 72 20 77 69 74 | 68 20 67 6f 6f 64 0a 64 |iler wit|h good.d|
|000011d0| 65 62 75 67 67 69 6e 67 | 20 66 61 63 69 6c 69 74 |ebugging| facilit|
|000011e0| 69 65 73 20 61 6e 64 20 | 61 20 73 74 61 6e 64 61 |ies and |a standa|
|000011f0| 72 64 20 73 79 6e 74 61 | 78 2c 20 61 6d 6f 6e 67 |rd synta|x, among|
|00001200| 20 6f 74 68 65 72 20 74 | 68 69 6e 67 73 2e 0a 57 | other t|hings..W|
|00001210| 68 69 6c 65 20 70 75 62 | 6c 69 63 2d 64 6f 6d 61 |hile pub|lic-doma|
|00001220| 69 6e 20 73 79 73 74 65 | 6d 73 20 61 72 65 20 61 |in syste|ms are a|
|00001230| 20 76 61 6c 75 61 62 6c | 65 20 73 65 72 76 69 63 | valuabl|e servic|
|00001240| 65 20 74 6f 20 74 68 65 | 0a 63 6f 6d 6d 75 6e 69 |e to the|.communi|
|00001250| 74 79 2c 20 74 68 65 79 | 20 64 6f 20 6e 6f 74 20 |ty, they| do not |
|00001260| 6e 65 63 65 73 73 61 72 | 69 6c 79 20 68 61 76 65 |necessar|ily have|
|00001270| 20 61 6c 6c 20 74 68 65 | 73 65 20 74 68 69 6e 67 | all the|se thing|
|00001280| 73 2c 20 61 6e 64 0a 75 | 73 65 72 73 20 73 68 6f |s, and.u|sers sho|
|00001290| 75 6c 64 20 77 65 69 67 | 68 20 63 61 72 65 66 75 |uld weig|h carefu|
|000012a0| 6c 6c 79 20 77 68 61 74 | 20 74 68 65 79 20 77 61 |lly what| they wa|
|000012b0| 6e 74 20 74 6f 20 64 6f | 20 61 67 61 69 6e 73 74 |nt to do| against|
|000012c0| 20 74 68 65 0a 63 61 70 | 61 62 69 6c 69 74 69 65 | the.cap|abilitie|
|000012d0| 73 20 61 6e 64 20 63 6f | 73 74 73 20 6f 66 20 74 |s and co|sts of t|
|000012e0| 68 65 20 61 76 61 69 6c | 61 62 6c 65 20 73 79 73 |he avail|able sys|
|000012f0| 74 65 6d 73 2e 29 0a 0a | 46 6f 72 20 74 68 65 20 |tems.)..|For the |
|00001300| 49 42 4d 20 50 43 3a 0a | 2d 20 42 69 6e 50 72 6f |IBM PC:.|- BinPro|
|00001310| 6c 6f 67 20 33 2e 30 30 | 2c 20 61 6e 6f 6e 79 6d |log 3.00|, anonym|
|00001320| 6f 75 73 20 46 54 50 20 | 66 72 6f 6d 20 63 6c 65 |ous FTP |from cle|
|00001330| 6d 65 6e 74 2e 69 6e 66 | 6f 2e 75 6d 6f 6e 63 74 |ment.inf|o.umonct|
|00001340| 6f 6e 2e 63 61 0a 20 20 | 28 31 33 39 2e 31 30 33 |on.ca. |(139.103|
|00001350| 2e 31 36 2e 32 29 2c 20 | 64 69 72 65 63 74 6f 72 |.16.2), |director|
|00001360| 79 20 42 69 6e 50 72 6f | 6c 6f 67 33 2e 30 2e 20 |y BinPro|log3.0. |
|00001370| 20 43 6f 6d 70 69 6c 65 | 72 20 66 6f 72 20 33 38 | Compile|r for 38|
|00001380| 36 2f 34 38 36 0a 20 20 | 6d 61 63 68 69 6e 65 73 |6/486. |machines|
|00001390| 20 28 44 4f 53 20 2b 20 | 57 49 6e 64 6f 77 73 20 | (DOS + |WIndows |
|000013a0| 33 2e 31 29 2c 20 52 36 | 30 30 30 2e 0a 20 20 45 |3.1), R6|000.. E|
|000013b0| 2d 6d 61 69 6c 3a 20 74 | 61 72 61 75 40 69 6e 66 |-mail: t|arau@inf|
|000013c0| 6f 2e 75 6d 6f 6e 63 74 | 6f 6e 2e 63 61 20 28 50 |o.umonct|on.ca (P|
|000013d0| 61 75 6c 20 54 61 72 61 | 75 29 2e 0a 2d 20 41 6e |aul Tara|u)..- An|
|000013e0| 6f 6e 79 6d 6f 75 73 20 | 46 54 50 20 66 72 6f 6d |onymous |FTP from|
|000013f0| 20 61 69 73 75 6e 31 2e | 61 69 2e 75 67 61 2e 65 | aisun1.|ai.uga.e|
|00001400| 64 75 2c 20 64 69 72 65 | 63 74 6f 72 79 20 61 69 |du, dire|ctory ai|
|00001410| 2e 70 72 6f 6c 6f 67 3b | 0a 20 20 64 6f 77 6e 6c |.prolog;|. downl|
|00001420| 6f 61 64 20 22 43 6f 6e | 74 65 6e 74 73 22 20 66 |oad "Con|tents" f|
|00001430| 69 72 73 74 2e 20 20 41 | 44 41 20 50 72 6f 6c 6f |irst. A|DA Prolo|
|00001440| 67 20 61 6e 64 20 45 53 | 4c 20 50 72 6f 6c 6f 67 |g and ES|L Prolog|
|00001450| 2e 0a 20 20 45 2d 6d 61 | 69 6c 3a 20 6d 63 6f 76 |.. E-ma|il: mcov|
|00001460| 69 6e 67 74 40 75 67 61 | 2e 63 63 2e 75 67 61 2e |ingt@uga|.cc.uga.|
|00001470| 65 64 75 20 28 4d 69 63 | 68 61 65 6c 20 43 6f 76 |edu (Mic|hael Cov|
|00001480| 69 6e 67 74 6f 6e 29 2e | 0a 2d 20 53 57 49 20 50 |ington).|.- SWI P|
|00001490| 72 6f 6c 6f 67 2c 20 61 | 6e 6f 6e 79 6d 6f 75 73 |rolog, a|nonymous|
|000014a0| 20 46 54 50 20 66 72 6f | 6d 20 73 77 69 2e 70 73 | FTP fro|m swi.ps|
|000014b0| 79 2e 75 76 61 2e 6e 6c | 20 28 31 34 35 2e 31 38 |y.uva.nl| (145.18|
|000014c0| 2e 31 31 34 2e 31 37 29 | 2c 0a 20 20 64 69 72 65 |.114.17)|,. dire|
|000014d0| 63 74 6f 72 79 20 70 75 | 62 2f 53 57 49 2d 50 72 |ctory pu|b/SWI-Pr|
|000014e0| 6f 6c 6f 67 3b 20 6f 72 | 20 66 72 6f 6d 20 66 74 |olog; or| from ft|
|000014f0| 70 2e 74 68 2d 64 61 72 | 6d 73 74 61 64 74 2e 64 |p.th-dar|mstadt.d|
|00001500| 65 0a 20 20 28 31 33 30 | 2e 38 33 2e 35 35 2e 37 |e. (130|.83.55.7|
|00001510| 35 29 2c 20 64 69 72 65 | 63 74 6f 72 79 20 70 75 |5), dire|ctory pu|
|00001520| 62 2f 70 72 6f 67 72 61 | 6d 6d 69 6e 67 2f 6c 61 |b/progra|mming/la|
|00001530| 6e 67 75 61 67 65 73 2f | 70 72 6f 6c 6f 67 2e 0a |nguages/|prolog..|
|00001540| 20 20 57 69 6e 64 6f 77 | 73 20 61 70 70 6c 69 63 | Window|s applic|
|00001550| 61 74 69 6f 6e 20 61 76 | 61 69 6c 61 62 6c 65 2e |ation av|ailable.|
|00001560| 20 20 50 6f 72 74 61 62 | 6c 65 2c 20 63 6f 70 79 | Portab|le, copy|
|00001570| 2d 6c 65 66 74 65 64 2e | 0a 2d 20 50 49 45 32 2c |-lefted.|.- PIE2,|
|00001580| 20 61 76 61 69 6c 61 62 | 6c 65 20 6f 6e 20 43 6f | availab|le on Co|
|00001590| 6d 70 75 53 65 72 76 65 | 20 69 6e 20 74 68 65 20 |mpuServe| in the |
|000015a0| 41 49 45 58 50 45 52 54 | 20 66 6f 72 75 6d 2c 0a |AIEXPERT| forum,.|
|000015b0| 20 20 69 6e 74 65 72 70 | 72 65 74 65 72 20 61 6e | interp|reter an|
|000015c0| 64 20 65 78 61 6d 70 6c | 65 73 20 69 6e 20 50 49 |d exampl|es in PI|
|000015d0| 45 32 2e 5a 49 50 2c 20 | 64 6f 63 75 6d 65 6e 74 |E2.ZIP, |document|
|000015e0| 61 74 69 6f 6e 20 69 6e | 0a 20 20 50 49 45 44 4f |ation in|. PIEDO|
|000015f0| 43 2e 5a 49 50 2e 20 20 | 45 2d 6d 61 69 6c 3a 20 |C.ZIP. |E-mail: |
|00001600| 72 75 67 67 6c 65 73 40 | 73 68 65 6c 6c 2e 63 6f |ruggles@|shell.co|
|00001610| 6d 20 28 42 72 65 6e 74 | 20 52 75 67 67 6c 65 73 |m (Brent| Ruggles|
|00001620| 29 2e 0a 0a 46 6f 72 20 | 74 68 65 20 41 70 70 6c |)...For |the Appl|
|00001630| 65 20 4d 61 63 69 6e 74 | 6f 73 68 3a 0a 2d 20 41 |e Macint|osh:.- A|
|00001640| 6e 6f 6e 79 6d 6f 75 73 | 20 46 54 50 20 66 72 6f |nonymous| FTP fro|
|00001650| 6d 20 61 69 73 75 6e 31 | 2e 61 69 2e 75 67 61 2e |m aisun1|.ai.uga.|
|00001660| 65 64 75 2c 20 64 69 72 | 65 63 74 6f 72 79 20 61 |edu, dir|ectory a|
|00001670| 69 2e 70 72 6f 6c 6f 67 | 3b 0a 20 20 64 6f 77 6e |i.prolog|;. down|
|00001680| 6c 6f 61 64 20 22 43 6f | 6e 74 65 6e 74 73 22 20 |load "Co|ntents" |
|00001690| 66 69 72 73 74 2e 20 20 | 44 65 6d 6f 20 76 65 72 |first. |Demo ver|
|000016a0| 73 69 6f 6e 20 6f 66 20 | 4c 50 41 20 4d 61 63 50 |sion of |LPA MacP|
|000016b0| 72 6f 6c 6f 67 2e 0a 20 | 20 45 2d 6d 61 69 6c 3a |rolog.. | E-mail:|
|000016c0| 20 6d 63 6f 76 69 6e 67 | 74 40 75 67 61 2e 63 63 | mcoving|t@uga.cc|
|000016d0| 2e 75 67 61 2e 65 64 75 | 20 28 4d 69 63 68 61 65 |.uga.edu| (Michae|
|000016e0| 6c 20 43 6f 76 69 6e 67 | 74 6f 6e 29 2e 0a 2d 20 |l Coving|ton)..- |
|000016f0| 4f 70 65 6e 20 50 72 6f | 6c 6f 67 2c 20 61 6e 6f |Open Pro|log, ano|
|00001700| 6e 79 6d 6f 75 73 20 46 | 54 50 20 66 72 6f 6d 20 |nymous F|TP from |
|00001710| 69 74 73 20 68 6f 6d 65 | 20 73 69 74 65 3a 20 67 |its home| site: g|
|00001720| 72 61 74 74 61 6e 2e 63 | 73 2e 74 63 64 2e 69 65 |rattan.c|s.tcd.ie|
|00001730| 0a 20 20 28 31 33 34 2e | 32 32 36 2e 33 32 2e 31 |. (134.|226.32.1|
|00001740| 35 29 2c 20 64 69 72 65 | 63 74 6f 72 79 20 70 75 |5), dire|ctory pu|
|00001750| 62 2f 6c 61 6e 67 75 61 | 67 65 73 2f 6f 70 65 6e |b/langua|ges/open|
|00001760| 2d 70 72 6f 6c 6f 67 2e | 0a 20 20 41 6c 73 6f 20 |-prolog.|. Also |
|00001770| 61 76 61 69 6c 61 62 6c | 65 20 66 72 6f 6d 20 73 |availabl|e from s|
|00001780| 75 6d 65 78 2d 61 69 6d | 2e 73 74 61 6e 66 6f 72 |umex-aim|.stanfor|
|00001790| 64 2e 65 64 75 2c 20 64 | 69 72 65 63 74 6f 72 79 |d.edu, d|irectory|
|000017a0| 0a 20 20 69 6e 66 6f 2d | 6d 61 63 2f 44 65 76 65 |. info-|mac/Deve|
|000017b0| 6c 6f 70 6d 65 6e 74 2e | 20 20 45 2d 6d 61 69 6c |lopment.| E-mail|
|000017c0| 3a 20 62 72 61 64 79 40 | 63 73 2e 74 63 64 2e 69 |: brady@|cs.tcd.i|
|000017d0| 65 20 28 4d 69 63 68 61 | 65 6c 20 42 72 61 64 79 |e (Micha|el Brady|
|000017e0| 29 2e 0a 2d 20 55 50 4d | 41 49 4c 20 54 72 69 63 |)..- UPM|AIL Tric|
|000017f0| 69 61 20 50 72 6f 6c 6f | 67 2c 20 61 6e 6f 6e 79 |ia Prolo|g, anony|
|00001800| 6d 6f 75 73 20 46 54 50 | 20 66 72 6f 6d 20 66 74 |mous FTP| from ft|
|00001810| 70 2e 63 73 64 2e 75 75 | 2e 73 65 0a 20 20 28 31 |p.csd.uu|.se. (1|
|00001820| 33 30 2e 32 33 38 2e 31 | 32 2e 31 29 2c 20 64 69 |30.238.1|2.1), di|
|00001830| 72 65 63 74 6f 72 79 20 | 70 75 62 2f 54 72 69 63 |rectory |pub/Tric|
|00001840| 69 61 3b 20 67 65 74 20 | 52 45 41 44 4d 45 20 66 |ia; get |README f|
|00001850| 69 72 73 74 2e 0a 20 20 | 45 6d 61 69 6c 3a 20 74 |irst.. |Email: t|
|00001860| 72 69 63 69 61 2d 72 65 | 71 75 65 73 74 40 63 73 |ricia-re|quest@cs|
|00001870| 64 2e 75 75 2e 73 65 2e | 0a 2d 20 54 50 4d 20 28 |d.uu.se.|.- TPM (|
|00001880| 74 68 65 20 54 72 61 6e | 73 70 61 72 65 6e 74 20 |the Tran|sparent |
|00001890| 50 72 6f 6c 6f 67 20 4d | 61 63 68 69 6e 65 29 2c |Prolog M|achine),|
|000018a0| 20 61 6e 6f 6e 79 6d 6f | 75 73 20 46 54 50 20 66 | anonymo|us FTP f|
|000018b0| 72 6f 6d 0a 20 20 68 63 | 72 6c 2e 6f 70 65 6e 2e |rom. hc|rl.open.|
|000018c0| 61 63 2e 75 6b 2c 20 64 | 69 72 65 63 74 6f 72 79 |ac.uk, d|irectory|
|000018d0| 20 2f 70 75 62 2f 73 6f | 66 74 77 61 72 65 2e 20 | /pub/so|ftware. |
|000018e0| 20 44 65 6d 6f 20 4c 50 | 41 0a 20 20 4d 61 63 50 | Demo LP|A. MacP|
|000018f0| 72 6f 6c 6f 67 20 77 69 | 74 68 20 74 68 65 20 54 |rolog wi|th the T|
|00001900| 50 4d 20 64 65 62 75 67 | 67 65 72 20 62 75 69 6c |PM debug|ger buil|
|00001910| 74 20 6f 6e 20 74 6f 70 | 2e 0a 0a 46 6f 72 20 55 |t on top|...For U|
|00001920| 6e 69 78 20 73 79 73 74 | 65 6d 73 3a 0a 2d 20 42 |nix syst|ems:.- B|
|00001930| 69 6e 50 72 6f 6c 6f 67 | 20 33 2e 30 30 2c 20 61 |inProlog| 3.00, a|
|00001940| 6e 6f 6e 79 6d 6f 75 73 | 20 46 54 50 20 66 72 6f |nonymous| FTP fro|
|00001950| 6d 20 63 6c 65 6d 65 6e | 74 2e 69 6e 66 6f 2e 75 |m clemen|t.info.u|
|00001960| 6d 6f 6e 63 74 6f 6e 2e | 63 61 0a 20 20 28 31 33 |moncton.|ca. (13|
|00001970| 39 2e 31 30 33 2e 31 36 | 2e 32 29 2c 20 64 69 72 |9.103.16|.2), dir|
|00001980| 65 63 74 6f 72 79 20 42 | 69 6e 50 72 6f 6c 6f 67 |ectory B|inProlog|
|00001990| 33 2e 30 2e 20 20 43 6f | 6d 70 69 6c 65 72 20 66 |3.0. Co|mpiler f|
|000019a0| 6f 72 20 53 50 41 52 43 | 0a 20 20 28 53 75 6e 4f |or SPARC|. (SunO|
|000019b0| 53 20 34 2e 78 20 2b 20 | 53 6f 6c 61 72 69 73 29 |S 4.x + |Solaris)|
|000019c0| 2c 20 44 45 43 20 41 6c | 70 68 61 2c 20 4d 49 50 |, DEC Al|pha, MIP|
|000019d0| 53 2c 20 4e 65 58 54 2c | 20 53 75 6e 33 2e 0a 20 |S, NeXT,| Sun3.. |
|000019e0| 20 45 2d 6d 61 69 6c 3a | 20 74 61 72 61 75 40 69 | E-mail:| tarau@i|
|000019f0| 6e 66 6f 2e 75 6d 6f 6e | 63 74 6f 6e 2e 63 61 20 |nfo.umon|cton.ca |
|00001a00| 28 50 61 75 6c 20 54 61 | 72 61 75 29 2e 0a 2d 20 |(Paul Ta|rau)..- |
|00001a10| 53 57 49 20 50 72 6f 6c | 6f 67 2c 20 61 6e 6f 6e |SWI Prol|og, anon|
|00001a20| 79 6d 6f 75 73 20 46 54 | 50 20 66 72 6f 6d 20 73 |ymous FT|P from s|
|00001a30| 77 69 2e 70 73 79 2e 75 | 76 61 2e 6e 6c 20 28 31 |wi.psy.u|va.nl (1|
|00001a40| 34 35 2e 31 38 2e 31 31 | 34 2e 31 37 29 2c 0a 20 |45.18.11|4.17),. |
|00001a50| 20 64 69 72 65 63 74 6f | 72 79 20 70 75 62 2f 53 | directo|ry pub/S|
|00001a60| 57 49 2d 50 72 6f 6c 6f | 67 3b 20 6f 72 20 66 72 |WI-Prolo|g; or fr|
|00001a70| 6f 6d 20 66 74 70 2e 74 | 68 2d 64 61 72 6d 73 74 |om ftp.t|h-darmst|
|00001a80| 61 64 74 2e 64 65 0a 20 | 20 28 31 33 30 2e 38 33 |adt.de. | (130.83|
|00001a90| 2e 35 35 2e 37 35 29 2c | 20 64 69 72 65 63 74 6f |.55.75),| directo|
|00001aa0| 72 79 20 70 75 62 2f 70 | 72 6f 67 72 61 6d 6d 69 |ry pub/p|rogrammi|
|00001ab0| 6e 67 2f 6c 61 6e 67 75 | 61 67 65 73 2f 70 72 6f |ng/langu|ages/pro|
|00001ac0| 6c 6f 67 2e 0a 20 20 50 | 6f 72 74 61 62 6c 65 2c |log.. P|ortable,|
|00001ad0| 20 63 6f 70 79 2d 6c 65 | 66 74 65 64 2e 0a 2d 20 | copy-le|fted..- |
|00001ae0| 4d 6f 64 75 6c 61 72 20 | 53 42 2d 50 72 6f 6c 6f |Modular |SB-Prolo|
|00001af0| 67 20 28 3d 20 53 42 2d | 50 72 6f 6c 6f 67 20 76 |g (= SB-|Prolog v|
|00001b00| 65 72 73 69 6f 6e 20 33 | 2e 31 20 70 6c 75 73 20 |ersion 3|.1 plus |
|00001b10| 6d 6f 64 75 6c 65 73 29 | 2c 0a 20 20 61 6e 6f 6e |modules)|,. anon|
|00001b20| 79 6d 6f 75 73 20 46 54 | 50 20 66 72 6f 6d 20 66 |ymous FT|P from f|
|00001b30| 74 70 2e 64 63 73 2e 65 | 64 2e 61 63 2e 75 6b 20 |tp.dcs.e|d.ac.uk |
|00001b40| 28 31 32 39 2e 32 31 35 | 2e 31 36 30 2e 35 29 2c |(129.215|.160.5),|
|00001b50| 20 66 69 6c 65 0a 20 20 | 70 75 62 2f 64 74 73 2f | file. |pub/dts/|
|00001b60| 6d 6f 64 2d 70 72 6f 6c | 6f 67 2e 74 61 72 2e 5a |mod-prol|og.tar.Z|
|00001b70| 20 2e 20 20 49 6e 74 65 | 72 70 72 65 74 65 72 20 | . Inte|rpreter |
|00001b80| 66 6f 72 20 53 50 41 52 | 43 2e 0a 20 20 45 2d 6d |for SPAR|C.. E-m|
|00001b90| 61 69 6c 3a 20 6d 70 72 | 6f 6c 6f 67 40 64 63 73 |ail: mpr|olog@dcs|
|00001ba0| 2e 65 64 2e 61 63 2e 75 | 6b 20 28 42 72 69 61 6e |.ed.ac.u|k (Brian|
|00001bb0| 20 50 61 78 74 6f 6e 29 | 2e 0a 2d 20 41 4c 46 20 | Paxton)|..- ALF |
|00001bc0| 28 41 6c 67 65 62 72 61 | 69 63 20 4c 6f 67 69 63 |(Algebra|ic Logic|
|00001bd0| 20 46 75 6e 63 74 69 6f | 6e 61 6c 20 6c 61 6e 67 | Functio|nal lang|
|00001be0| 75 61 67 65 29 2c 20 57 | 41 4d 2d 62 61 73 65 64 |uage), W|AM-based|
|00001bf0| 20 6c 61 6e 67 75 61 67 | 65 0a 20 20 77 69 74 68 | languag|e. with|
|00001c00| 20 6e 61 72 72 6f 77 69 | 6e 67 2f 72 65 77 72 69 | narrowi|ng/rewri|
|00001c10| 74 69 6e 67 2c 20 61 6e | 6f 6e 79 6d 6f 75 73 20 |ting, an|onymous |
|00001c20| 46 54 50 20 66 72 6f 6d | 20 66 74 70 2e 67 65 72 |FTP from| ftp.ger|
|00001c30| 6d 61 6e 79 2e 65 75 2e | 6e 65 74 2c 0a 20 20 64 |many.eu.|net,. d|
|00001c40| 69 72 65 63 74 6f 72 79 | 20 22 70 75 62 2f 70 72 |irectory| "pub/pr|
|00001c50| 6f 67 72 61 6d 6d 69 6e | 67 2f 6c 61 6e 67 75 61 |ogrammin|g/langua|
|00001c60| 67 65 73 2f 4c 6f 67 69 | 63 46 75 6e 63 74 69 6f |ges/Logi|cFunctio|
|00001c70| 6e 61 6c 22 2e 0a 20 20 | 45 2d 6d 61 69 6c 3a 20 |nal".. |E-mail: |
|00001c80| 6f 70 61 6c 6c 61 40 6a | 75 6c 69 65 6e 2e 69 6e |opalla@j|ulien.in|
|00001c90| 66 6f 72 6d 61 74 69 6b | 2e 75 6e 69 2d 64 6f 72 |formatik|.uni-dor|
|00001ca0| 74 6d 75 6e 64 2e 64 65 | 20 28 52 75 64 6f 6c 66 |tmund.de| (Rudolf|
|00001cb0| 20 4f 70 61 6c 6c 61 29 | 2e 0a 2d 20 43 4c 50 28 | Opalla)|..- CLP(|
|00001cc0| 52 29 2c 20 61 76 61 69 | 6c 61 62 6c 65 20 62 79 |R), avai|lable by|
|00001cd0| 20 65 2d 6d 61 69 6c 20 | 72 65 71 75 65 73 74 20 | e-mail |request |
|00001ce0| 66 72 6f 6d 20 4a 6f 78 | 61 6e 20 4a 61 66 66 61 |from Jox|an Jaffa|
|00001cf0| 72 2c 0a 20 20 22 6a 6f | 78 61 6e 40 77 61 74 73 |r,. "jo|xan@wats|
|00001d00| 6f 6e 2e 69 62 6d 2e 63 | 6f 6d 22 2e 20 20 43 6f |on.ibm.c|om". Co|
|00001d10| 6e 73 74 72 61 69 6e 74 | 20 6c 6f 67 69 63 20 70 |nstraint| logic p|
|00001d20| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 6c 61 6e 67 75 |rogrammi|ng langu|
|00001d30| 61 67 65 2c 0a 20 20 66 | 6f 72 20 61 63 61 64 65 |age,. f|or acade|
|00001d40| 6d 69 63 20 61 6e 64 20 | 72 65 73 65 61 72 63 68 |mic and |research|
|00001d50| 20 70 75 72 70 6f 73 65 | 73 20 6f 6e 6c 79 2e 0a | purpose|s only..|
|00001d60| 2d 20 41 71 75 61 72 69 | 75 73 20 50 72 6f 6c 6f |- Aquari|us Prolo|
|00001d70| 67 20 31 2e 30 2c 20 73 | 65 6e 64 20 6d 65 73 73 |g 1.0, s|end mess|
|00001d80| 61 67 65 20 77 69 74 68 | 20 62 6f 64 79 20 22 67 |age with| body "g|
|00001d90| 65 74 20 61 71 75 61 72 | 69 75 73 2d 69 6e 66 6f |et aquar|ius-info|
|00001da0| 0a 20 20 6c 69 63 65 6e | 73 65 22 20 74 6f 20 6c |. licen|se" to l|
|00001db0| 69 73 74 73 65 72 76 40 | 61 63 61 6c 2d 73 65 72 |istserv@|acal-ser|
|00001dc0| 76 65 72 2e 75 73 63 2e | 65 64 75 2e 20 20 48 69 |ver.usc.|edu. Hi|
|00001dd0| 67 68 20 70 65 72 66 6f | 72 6d 61 6e 63 65 2c 0a |gh perfo|rmance,.|
|00001de0| 20 20 63 6f 6d 6d 65 72 | 63 69 61 6c 20 66 75 6e | commer|cial fun|
|00001df0| 63 74 69 6f 6e 61 6c 69 | 74 79 20 65 78 63 65 70 |ctionali|ty excep|
|00001e00| 74 20 64 65 62 75 67 67 | 69 6e 67 20 61 6e 64 20 |t debugg|ing and |
|00001e10| 6d 6f 64 75 6c 65 73 2e | 20 20 46 6f 72 0a 20 20 |modules.| For. |
|00001e20| 53 50 41 52 43 2c 20 44 | 45 43 73 74 61 74 69 6f |SPARC, D|ECstatio|
|00001e30| 6e 2c 20 4d 49 50 53 2c | 20 48 50 20 39 30 30 30 |n, MIPS,| HP 9000|
|00001e40| 20 73 65 72 69 65 73 2c | 20 53 75 6e 20 33 2e 20 | series,| Sun 3. |
|00001e50| 20 43 6f 70 79 2d 6c 65 | 66 74 65 64 2e 0a 2d 20 | Copy-le|fted..- |
|00001e60| 58 53 42 2c 20 73 79 73 | 74 65 6d 20 77 69 74 68 |XSB, sys|tem with|
|00001e70| 20 4f 4c 44 54 2d 72 65 | 73 6f 6c 75 74 69 6f 6e | OLDT-re|solution|
|00001e80| 20 61 6e 64 20 48 69 4c | 6f 67 20 63 61 70 61 62 | and HiL|og capab|
|00001e90| 69 6c 69 74 79 2e 20 20 | 43 6f 6d 70 69 6c 65 72 |ility. |Compiler|
|00001ea0| 0a 20 20 66 6f 72 20 4c | 69 6e 75 78 2c 20 53 75 |. for L|inux, Su|
|00001eb0| 6e 2c 20 53 70 61 72 63 | 2c 20 61 6e 64 20 4e 65 |n, Sparc|, and Ne|
|00001ec0| 58 54 2e 20 20 41 6e 6f | 6e 79 6d 6f 75 73 20 46 |XT. Ano|nymous F|
|00001ed0| 54 50 20 66 72 6f 6d 0a | 20 20 63 73 2e 73 75 6e |TP from.| cs.sun|
|00001ee0| 79 73 62 2e 65 64 75 20 | 28 31 33 30 2e 32 34 35 |ysb.edu |(130.245|
|00001ef0| 2e 31 2e 31 35 29 2c 20 | 64 69 72 65 63 74 6f 72 |.1.15), |director|
|00001f00| 79 20 70 75 62 2f 58 53 | 42 2e 0a 20 20 45 2d 6d |y pub/XS|B.. E-m|
|00001f10| 61 69 6c 3a 20 78 73 62 | 2d 63 6f 6e 74 61 63 74 |ail: xsb|-contact|
|00001f20| 40 63 73 2e 73 75 6e 79 | 73 62 2e 65 64 75 0a 2d |@cs.suny|sb.edu.-|
|00001f30| 20 77 61 6d 63 63 2c 20 | 61 6e 6f 6e 79 6d 6f 75 | wamcc, |anonymou|
|00001f40| 73 20 46 54 50 20 66 72 | 6f 6d 20 66 74 70 2e 69 |s FTP fr|om ftp.i|
|00001f50| 6e 72 69 61 2e 66 72 2c | 20 64 69 72 65 63 74 6f |nria.fr,| directo|
|00001f60| 72 79 0a 20 20 22 2f 49 | 4e 52 49 41 2f 50 72 6f |ry. "/I|NRIA/Pro|
|00001f70| 6a 65 63 74 73 2f 43 68 | 4c 6f 45 2f 4c 4f 47 49 |jects/Ch|LoE/LOGI|
|00001f80| 43 5f 50 52 4f 47 52 41 | 4d 4d 49 4e 47 2f 77 61 |C_PROGRA|MMING/wa|
|00001f90| 6d 63 63 22 2e 20 20 43 | 6f 6d 70 69 6c 65 72 20 |mcc". C|ompiler |
|00001fa0| 77 68 69 63 68 0a 20 20 | 74 72 61 6e 73 6c 61 74 |which. |translat|
|00001fb0| 65 73 20 50 72 6f 6c 6f | 67 20 74 6f 20 43 20 76 |es Prolo|g to C v|
|00001fc0| 69 61 20 57 41 4d 2e 20 | 20 44 65 62 75 67 67 65 |ia WAM. | Debugge|
|00001fd0| 72 73 2e 20 20 52 65 71 | 75 69 72 65 73 20 47 4e |rs. Req|uires GN|
|00001fe0| 55 20 43 0a 20 20 76 2e | 32 2e 34 2e 35 20 6f 72 |U C. v.|2.4.5 or|
|00001ff0| 20 68 69 67 68 65 72 2e | 20 20 43 6f 6e 74 61 63 | higher.| Contac|
|00002000| 74 3a 20 64 61 6e 69 65 | 6c 2e 64 69 61 7a 21 69 |t: danie|l.diaz!i|
|00002010| 6e 72 69 61 2e 66 72 20 | 28 44 61 6e 69 65 6c 20 |nria.fr |(Daniel |
|00002020| 44 69 61 7a 29 2e 0a 2d | 20 63 6c 70 28 46 44 29 |Diaz)..-| clp(FD)|
|00002030| 2c 20 61 6e 6f 6e 79 6d | 6f 75 73 20 46 54 50 20 |, anonym|ous FTP |
|00002040| 66 72 6f 6d 20 66 74 70 | 2e 69 6e 72 69 61 2e 66 |from ftp|.inria.f|
|00002050| 72 2c 20 64 69 72 65 63 | 74 6f 72 79 0a 20 20 22 |r, direc|tory. "|
|00002060| 2f 49 4e 52 49 41 2f 50 | 72 6f 6a 65 63 74 73 2f |/INRIA/P|rojects/|
|00002070| 43 68 4c 6f 45 2f 4c 4f | 47 49 43 5f 50 52 4f 47 |ChLoE/LO|GIC_PROG|
|00002080| 52 41 4d 4d 49 4e 47 2f | 63 6c 70 5f 66 64 22 2e |RAMMING/|clp_fd".|
|00002090| 20 20 43 6f 6e 73 74 72 | 61 69 6e 74 0a 20 20 6c | Constr|aint. l|
|000020a0| 6f 67 69 63 20 70 72 6f | 67 72 61 6d 6d 69 6e 67 |ogic pro|gramming|
|000020b0| 20 6f 76 65 72 20 66 69 | 6e 69 74 65 20 64 6f 6d | over fi|nite dom|
|000020c0| 61 69 6e 73 2e 20 20 52 | 65 71 75 69 72 65 73 20 |ains. R|equires |
|000020d0| 47 4e 55 20 43 20 76 2e | 32 2e 34 2e 35 0a 20 20 |GNU C v.|2.4.5. |
|000020e0| 6f 72 20 68 69 67 68 65 | 72 2e 20 20 43 6f 6e 74 |or highe|r. Cont|
|000020f0| 61 63 74 3a 20 64 61 6e | 69 65 6c 2e 64 69 61 7a |act: dan|iel.diaz|
|00002100| 21 69 6e 72 69 61 2e 66 | 72 20 28 44 61 6e 69 65 |!inria.f|r (Danie|
|00002110| 6c 20 44 69 61 7a 29 2e | 0a 2d 20 4b 4c 49 43 2c |l Diaz).|.- KLIC,|
|00002120| 20 61 6e 6f 6e 79 6d 6f | 75 73 20 46 54 50 20 66 | anonymo|us FTP f|
|00002130| 72 6f 6d 20 66 74 70 2e | 69 63 6f 74 2e 6f 72 2e |rom ftp.|icot.or.|
|00002140| 6a 70 2c 20 66 69 6c 65 | 20 6e 61 6d 65 0a 20 20 |jp, file| name. |
|00002150| 22 2f 69 66 73 2f 73 79 | 6d 62 6f 6c 69 63 2d 70 |"/ifs/sy|mbolic-p|
|00002160| 72 6f 63 2f 75 6e 69 78 | 2f 6b 6c 69 63 2f 6b 6c |roc/unix|/klic/kl|
|00002170| 69 63 2d 31 2e 34 31 30 | 2e 74 67 7a 22 2e 20 20 |ic-1.410|.tgz". |
|00002180| 49 43 4f 54 20 46 72 65 | 65 0a 20 20 53 6f 66 74 |ICOT Fre|e. Soft|
|00002190| 77 61 72 65 2e 20 20 43 | 6f 6e 63 75 72 72 65 6e |ware. C|oncurren|
|000021a0| 74 20 6c 6f 67 69 63 20 | 70 72 6f 67 72 61 6d 6d |t logic |programm|
|000021b0| 69 6e 67 2e 20 20 54 65 | 73 74 65 64 20 6f 6e 20 |ing. Te|sted on |
|000021c0| 53 70 61 72 63 73 2c 0a | 20 20 44 45 43 20 37 30 |Sparcs,.| DEC 70|
|000021d0| 30 30 2c 20 47 61 74 65 | 77 61 79 20 50 35 2d 36 |00, Gate|way P5-6|
|000021e0| 30 2e 20 20 43 6f 6e 74 | 61 63 74 3a 20 69 66 73 |0. Cont|act: ifs|
|000021f0| 40 69 63 6f 74 2e 6f 72 | 2e 6a 70 0a 0a 09 09 09 |@icot.or|.jp.....|
|00002200| 2a 09 2a 09 2a 0a 0a 33 | 2e 20 57 68 61 74 20 63 |*.*.*..3|. What c|
|00002210| 6f 6d 6d 65 72 63 69 61 | 6c 20 73 79 73 74 65 6d |ommercia|l system|
|00002220| 73 20 61 72 65 20 61 76 | 61 69 6c 61 62 6c 65 3f |s are av|ailable?|
|00002230| 20 20 57 68 61 74 20 61 | 62 6f 75 74 20 73 79 73 | What a|bout sys|
|00002240| 74 65 6d 73 0a 20 20 20 | 61 76 61 69 6c 61 62 6c |tems. |availabl|
|00002250| 65 20 66 6f 72 20 61 20 | 70 72 69 63 65 20 66 72 |e for a |price fr|
|00002260| 6f 6d 20 72 65 73 65 61 | 72 63 68 20 69 6e 73 74 |om resea|rch inst|
|00002270| 69 74 75 74 69 6f 6e 73 | 3f 0a 0a 20 20 20 20 20 |itutions|?.. |
|00002280| 4d 61 6e 79 20 63 6f 6d | 6d 65 72 63 69 61 6c 20 |Many com|mercial |
|00002290| 73 79 73 74 65 6d 73 20 | 61 72 65 20 6c 69 73 74 |systems |are list|
|000022a0| 65 64 20 69 6e 20 74 68 | 65 20 70 65 72 69 6f 64 |ed in th|e period|
|000022b0| 69 63 61 6c 6c 79 0a 70 | 6f 73 74 65 64 20 50 72 |ically.p|osted Pr|
|000022c0| 6f 6c 6f 67 20 52 65 73 | 6f 75 72 63 65 20 47 75 |olog Res|ource Gu|
|000022d0| 69 64 65 2e 20 20 54 68 | 65 20 52 65 73 6f 75 72 |ide. Th|e Resour|
|000022e0| 63 65 20 47 75 69 64 65 | 20 61 6c 73 6f 20 6c 69 |ce Guide| also li|
|000022f0| 73 74 73 0a 6d 61 6e 79 | 20 73 79 73 74 65 6d 73 |sts.many| systems|
|00002300| 20 77 68 69 63 68 20 61 | 72 65 20 6e 6f 74 20 65 | which a|re not e|
|00002310| 78 61 63 74 6c 79 20 22 | 63 6f 6d 6d 65 72 63 69 |xactly "|commerci|
|00002320| 61 6c 22 2c 20 62 75 74 | 20 61 76 61 69 6c 61 62 |al", but| availab|
|00002330| 6c 65 0a 66 6f 72 20 61 | 20 70 72 69 63 65 20 66 |le.for a| price f|
|00002340| 72 6f 6d 20 72 65 73 65 | 61 72 63 68 20 69 6e 73 |rom rese|arch ins|
|00002350| 74 75 74 69 74 69 6f 6e | 73 2e 20 20 54 68 65 20 |tutition|s. The |
|00002360| 6c 69 73 74 20 6f 66 20 | 73 75 63 68 0a 73 79 73 |list of |such.sys|
|00002370| 74 65 6d 73 20 77 61 73 | 20 6f 72 69 67 69 6e 61 |tems was| origina|
|00002380| 6c 6c 79 20 63 6f 6d 70 | 69 6c 65 64 20 62 79 20 |lly comp|iled by |
|00002390| 43 68 72 69 73 20 4d 6f | 73 73 2c 20 6f 66 20 49 |Chris Mo|ss, of I|
|000023a0| 6d 70 65 72 69 61 6c 0a | 43 6f 6c 6c 65 67 65 2e |mperial.|College.|
|000023b0| 20 20 54 68 65 20 72 65 | 73 74 20 6f 66 20 74 68 | The re|st of th|
|000023c0| 65 20 52 65 73 6f 75 72 | 63 65 20 47 75 69 64 65 |e Resour|ce Guide|
|000023d0| 20 77 61 73 20 6f 72 69 | 67 69 6e 61 6c 6c 79 20 | was ori|ginally |
|000023e0| 63 6f 6d 70 69 6c 65 64 | 0a 62 79 20 44 61 67 20 |compiled|.by Dag |
|000023f0| 57 61 68 6c 62 65 72 67 | 2c 20 6f 66 20 55 70 70 |Wahlberg|, of Upp|
|00002400| 73 61 6c 61 20 55 6e 69 | 76 65 72 73 69 74 79 2e |sala Uni|versity.|
|00002410| 0a 0a 20 20 20 20 20 54 | 68 65 20 52 65 73 6f 75 |.. T|he Resou|
|00002420| 72 63 65 20 47 75 69 64 | 65 20 69 73 20 6e 6f 77 |rce Guid|e is now|
|00002430| 20 6d 61 69 6e 74 61 69 | 6e 65 64 20 62 79 20 74 | maintai|ned by t|
|00002440| 68 65 20 6b 69 6e 64 20 | 65 66 66 6f 72 74 73 0a |he kind |efforts.|
|00002450| 6f 66 20 4d 61 72 6b 20 | 4b 61 6e 74 72 6f 77 69 |of Mark |Kantrowi|
|00002460| 74 7a 2c 20 22 4d 61 72 | 6b 2e 4b 61 6e 74 72 6f |tz, "Mar|k.Kantro|
|00002470| 77 69 74 7a 40 47 4c 49 | 4e 44 41 2e 4f 5a 2e 43 |witz@GLI|NDA.OZ.C|
|00002480| 53 2e 43 4d 55 2e 45 44 | 55 22 2c 20 77 68 6f 0a |S.CMU.ED|U", who.|
|00002490| 70 6f 73 74 73 20 69 74 | 20 4f 4e 20 54 48 45 20 |posts it| ON THE |
|000024a0| 31 34 54 48 20 4f 46 20 | 45 56 45 52 59 20 4d 4f |14TH OF |EVERY MO|
|000024b0| 4e 54 48 20 6f 6e 20 63 | 6f 6d 70 2e 6c 61 6e 67 |NTH on c|omp.lang|
|000024c0| 2e 70 72 6f 6c 6f 67 2e | 20 20 49 74 20 69 73 0a |.prolog.| It is.|
|000024d0| 61 6c 73 6f 20 61 76 61 | 69 6c 61 62 6c 65 20 62 |also ava|ilable b|
|000024e0| 79 20 61 6e 6f 6e 79 6d | 6f 75 73 20 46 54 50 20 |y anonym|ous FTP |
|000024f0| 66 72 6f 6d 20 22 66 74 | 70 2e 63 73 2e 63 6d 75 |from "ft|p.cs.cmu|
|00002500| 2e 65 64 75 22 20 5b 31 | 32 38 2e 32 2e 32 30 36 |.edu" [1|28.2.206|
|00002510| 2e 31 37 33 5d 0a 69 6e | 20 74 68 65 20 64 69 72 |.173].in| the dir|
|00002520| 65 63 74 6f 72 79 20 22 | 2f 61 66 73 2f 63 73 2e |ectory "|/afs/cs.|
|00002530| 63 6d 75 2e 65 64 75 2f | 75 73 65 72 2f 6d 6b 61 |cmu.edu/|user/mka|
|00002540| 6e 74 2f 50 75 62 6c 69 | 63 2f 41 49 2f 22 2c 20 |nt/Publi|c/AI/", |
|00002550| 61 73 20 74 68 65 0a 66 | 69 6c 65 20 22 70 72 6f |as the.f|ile "pro|
|00002560| 6c 6f 67 2d 72 65 73 6f | 75 72 63 65 2d 67 75 69 |log-reso|urce-gui|
|00002570| 64 65 2e 74 65 78 74 22 | 2e 0a 0a 20 20 20 20 20 |de.text"|... |
|00002580| 52 65 61 64 65 72 73 20 | 73 68 6f 75 6c 64 20 61 |Readers |should a|
|00002590| 6c 73 6f 20 6e 6f 74 65 | 20 74 68 61 74 20 74 68 |lso note| that th|
|000025a0| 65 20 6e 65 77 6c 79 20 | 66 6f 72 6d 65 64 20 50 |e newly |formed P|
|000025b0| 72 6f 6c 6f 67 0a 56 65 | 6e 64 6f 72 73 27 20 47 |rolog.Ve|ndors' G|
|000025c0| 72 6f 75 70 20 69 73 20 | 63 6f 6e 74 61 63 74 61 |roup is |contacta|
|000025d0| 62 6c 65 20 65 6c 65 63 | 74 72 6f 6e 69 63 61 6c |ble elec|tronical|
|000025e0| 6c 79 20 76 69 61 20 74 | 68 65 20 53 65 63 72 65 |ly via t|he Secre|
|000025f0| 74 61 72 79 2c 0a 41 6c | 20 52 6f 74 68 2e 20 20 |tary,.Al| Roth. |
|00002600| 48 69 73 20 65 6d 61 69 | 6c 20 69 73 20 22 61 6c |His emai|l is "al|
|00002610| 72 6f 74 68 40 63 69 78 | 2e 63 6f 6d 70 75 6c 69 |roth@cix|.compuli|
|00002620| 6e 6b 2e 63 6f 2e 75 6b | 22 2e 0a 0a 09 09 09 2a |nk.co.uk|"......*|
|00002630| 09 2a 09 2a 0a 0a 34 2e | 20 48 6f 77 20 64 6f 20 |.*.*..4.| How do |
|00002640| 49 20 67 65 74 20 69 6e | 20 74 6f 75 63 68 20 77 |I get in| touch w|
|00002650| 69 74 68 20 6d 79 20 50 | 72 6f 6c 6f 67 27 73 20 |ith my P|rolog's |
|00002660| 75 73 65 72 73 27 20 67 | 72 6f 75 70 2c 0a 20 20 |users' g|roup,. |
|00002670| 20 73 61 6c 65 73 20 72 | 65 70 72 65 73 65 6e 74 | sales r|epresent|
|00002680| 61 74 69 76 65 2c 20 6f | 72 20 74 65 63 68 6e 69 |ative, o|r techni|
|00002690| 63 61 6c 20 73 75 70 70 | 6f 72 74 20 6c 69 6e 65 |cal supp|ort line|
|000026a0| 3f 0a 0a 20 20 20 20 20 | 48 65 72 65 20 61 72 65 |?.. |Here are|
|000026b0| 20 73 6f 6d 65 20 65 2d | 6d 61 69 6c 20 61 64 64 | some e-|mail add|
|000026c0| 72 65 73 73 65 73 20 6f | 66 20 74 68 65 73 65 20 |resses o|f these |
|000026d0| 63 6f 6e 74 61 63 74 73 | 2c 20 6c 69 73 74 65 64 |contacts|, listed|
|000026e0| 0a 61 6c 70 68 61 62 65 | 74 69 63 61 6c 6c 79 20 |.alphabe|tically |
|000026f0| 62 79 20 63 6f 6d 70 61 | 6e 79 20 6f 72 20 6d 61 |by compa|ny or ma|
|00002700| 6a 6f 72 20 70 72 6f 64 | 75 63 74 20 6e 61 6d 65 |jor prod|uct name|
|00002710| 2e 20 20 50 6c 65 61 73 | 65 20 6e 6f 74 65 0a 74 |. Pleas|e note.t|
|00002720| 68 61 74 20 73 6f 6d 65 | 74 69 6d 65 73 20 70 68 |hat some|times ph|
|00002730| 6f 6e 69 6e 67 20 6f 72 | 20 77 72 69 74 69 6e 67 |oning or| writing|
|00002740| 20 74 6f 20 74 68 65 20 | 63 6f 6d 70 61 6e 79 20 | to the |company |
|00002750| 77 69 6c 6c 20 67 65 74 | 20 62 65 74 74 65 72 0a |will get| better.|
|00002760| 72 65 73 70 6f 6e 73 65 | 20 74 68 61 6e 20 65 2d |response| than e-|
|00002770| 6d 61 69 6c 2e 0a 0a 41 | 4c 53 20 28 41 70 70 6c |mail...A|LS (Appl|
|00002780| 69 65 64 20 4c 6f 67 69 | 63 20 53 79 73 74 65 6d |ied Logi|c System|
|00002790| 73 29 3a 20 0a 20 20 49 | 6e 66 6f 72 6d 61 74 69 |s): . I|nformati|
|000027a0| 6f 6e 3a 09 69 6e 66 6f | 40 61 6c 73 2e 63 6f 6d |on:.info|@als.com|
|000027b0| 0a 20 20 53 61 6c 65 73 | 3a 09 73 61 6c 65 73 40 |. Sales|:.sales@|
|000027c0| 61 6c 73 2e 63 6f 6d 0a | 20 20 54 65 63 68 20 73 |als.com.| Tech s|
|000027d0| 75 70 70 6f 72 74 3a 09 | 73 75 70 70 6f 72 74 40 |upport:.|support@|
|000027e0| 61 6c 73 2e 63 6f 6d 0a | 0a 41 6d 7a 69 21 20 69 |als.com.|.Amzi! i|
|000027f0| 6e 63 2e 20 28 43 6f 67 | 65 6e 74 20 50 72 6f 6c |nc. (Cog|ent Prol|
|00002800| 6f 67 29 3a 0a 20 20 41 | 6c 6c 3a 09 09 61 6d 7a |og):. A|ll:..amz|
|00002810| 69 40 77 6f 72 6c 64 2e | 73 74 64 2e 63 6f 6d 0a |i@world.|std.com.|
|00002820| 0a 43 4f 53 59 54 45 43 | 20 28 43 48 49 50 20 56 |.COSYTEC| (CHIP V|
|00002830| 34 29 3a 0a 20 20 49 6e | 66 6f 72 6d 61 74 69 6f |4):. In|formatio|
|00002840| 6e 3a 09 63 6f 73 79 74 | 65 63 40 63 6f 73 79 74 |n:.cosyt|ec@cosyt|
|00002850| 65 63 2e 66 72 0a 20 20 | 53 75 70 70 6f 72 74 3a |ec.fr. |Support:|
|00002860| 09 68 65 6c 70 40 63 6f | 73 79 74 65 63 2e 66 72 |.help@co|sytec.fr|
|00002870| 0a 0a 45 43 4c 69 50 53 | 65 20 61 6e 64 20 53 65 |..ECLiPS|e and Se|
|00002880| 70 69 61 3a 0a 20 20 55 | 73 65 72 27 73 20 67 72 |pia:. U|ser's gr|
|00002890| 6f 75 70 3a 09 65 63 6c | 69 70 73 65 5f 75 73 65 |oup:.ecl|ipse_use|
|000028a0| 72 73 40 65 63 72 63 2e | 64 65 0a 20 20 49 6e 66 |rs@ecrc.|de. Inf|
|000028b0| 6f 72 6d 61 74 69 6f 6e | 3a 09 65 63 6c 69 70 73 |ormation|:.eclips|
|000028c0| 65 5f 72 65 71 75 65 73 | 74 40 65 63 72 63 2e 64 |e_reques|t@ecrc.d|
|000028d0| 65 0a 20 20 54 65 63 68 | 20 73 75 70 70 6f 72 74 |e. Tech| support|
|000028e0| 3a 09 65 63 6c 69 70 73 | 65 5f 62 75 67 73 40 65 |:.eclips|e_bugs@e|
|000028f0| 63 72 63 2e 64 65 0a 0a | 45 78 70 65 72 74 20 53 |crc.de..|Expert S|
|00002900| 79 73 74 65 6d 73 20 4c | 74 64 2e 20 28 50 72 6f |ystems L|td. (Pro|
|00002910| 6c 6f 67 2d 32 29 3a 0a | 20 20 53 61 6c 65 73 3a |log-2):.| Sales:|
|00002920| 09 73 61 6c 65 73 40 65 | 78 70 65 72 74 2e 64 65 |.sales@e|xpert.de|
|00002930| 6d 6f 6e 2e 63 6f 2e 75 | 6b 0a 20 20 53 75 70 70 |mon.co.u|k. Supp|
|00002940| 6f 72 74 3a 09 73 75 70 | 70 6f 72 74 40 65 78 70 |ort:.sup|port@exp|
|00002950| 65 72 74 2e 64 65 6d 6f | 6e 2e 63 6f 2e 75 6b 0a |ert.demo|n.co.uk.|
|00002960| 20 20 55 73 65 72 73 27 | 20 67 72 6f 75 70 3a 09 | Users'| group:.|
|00002970| 70 72 6f 6c 6f 67 32 2d | 72 65 71 75 65 73 74 40 |prolog2-|request@|
|00002980| 68 70 6c 62 2e 68 70 6c | 2e 68 70 2e 63 6f 6d 0a |hplb.hpl|.hp.com.|
|00002990| 0a 4c 50 41 3a 0a 20 20 | 53 61 6c 65 73 3a 09 6c |.LPA:. |Sales:.l|
|000029a0| 70 61 40 63 69 78 2e 63 | 6f 6d 70 75 6c 69 6e 6b |pa@cix.c|ompulink|
|000029b0| 2e 63 6f 2e 75 6b 0a 20 | 20 54 65 63 68 20 73 75 |.co.uk. | Tech su|
|000029c0| 70 70 6f 72 74 3a 09 6c | 70 61 40 63 69 78 2e 63 |pport:.l|pa@cix.c|
|000029d0| 6f 6d 70 75 6c 69 6e 6b | 2e 63 6f 2e 75 6b 0a 0a |ompulink|.co.uk..|
|000029e0| 50 44 43 20 50 72 6f 6c | 6f 67 3a 0a 20 20 49 6e |PDC Prol|og:. In|
|000029f0| 66 6f 72 6d 61 74 69 6f | 6e 3a 09 70 64 63 2d 72 |formatio|n:.pdc-r|
|00002a00| 65 71 75 65 73 74 40 70 | 64 63 2e 64 6b 0a 20 20 |equest@p|dc.dk. |
|00002a10| 53 61 6c 65 73 3a 09 73 | 61 6c 65 73 40 70 64 63 |Sales:.s|ales@pdc|
|00002a20| 2e 64 6b 0a 20 20 54 65 | 63 68 20 73 75 70 70 6f |.dk. Te|ch suppo|
|00002a30| 72 74 3a 09 73 75 70 70 | 6f 72 74 40 70 64 63 2e |rt:.supp|ort@pdc.|
|00002a40| 64 6b 0a 0a 50 72 6f 4c | 6f 67 20 62 79 20 42 49 |dk..ProL|og by BI|
|00002a50| 4d 3a 0a 20 20 43 6f 6e | 74 61 63 74 3a 09 70 72 |M:. Con|tact:.pr|
|00002a60| 6f 6c 6f 67 40 73 75 6e | 62 69 6d 2e 62 65 20 28 |olog@sun|bim.be (|
|00002a70| 4b 61 74 68 6c 65 65 6e | 20 50 69 65 72 63 6f 29 |Kathleen| Pierco)|
|00002a80| 0a 0a 51 75 69 6e 74 75 | 73 3a 0a 20 20 55 73 65 |..Quintu|s:. Use|
|00002a90| 72 73 27 20 67 72 6f 75 | 70 3a 09 71 75 69 6e 74 |rs' grou|p:.quint|
|00002aa0| 75 73 2d 75 73 65 72 73 | 2d 72 65 71 75 65 73 74 |us-users|-request|
|00002ab0| 40 71 75 69 6e 74 75 73 | 2e 63 6f 6d 0a 20 20 53 |@quintus|.com. S|
|00002ac0| 61 6c 65 73 3a 09 73 61 | 6c 65 73 40 71 75 69 6e |ales:.sa|les@quin|
|00002ad0| 74 75 73 2e 63 6f 6d 0a | 20 20 54 65 63 68 20 73 |tus.com.| Tech s|
|00002ae0| 75 70 70 6f 72 74 3a 09 | 74 65 6b 73 75 70 40 71 |upport:.|teksup@q|
|00002af0| 75 69 6e 74 75 73 2e 63 | 6f 6d 0a 0a 53 49 43 53 |uintus.c|om..SICS|
|00002b00| 74 75 73 3a 0a 20 20 55 | 73 65 72 73 27 20 67 72 |tus:. U|sers' gr|
|00002b10| 6f 75 70 3a 09 73 69 63 | 73 74 75 73 2d 75 73 65 |oup:.sic|stus-use|
|00002b20| 72 73 2d 72 65 71 75 65 | 73 74 40 73 69 63 73 2e |rs-reque|st@sics.|
|00002b30| 73 65 0a 20 20 53 61 6c | 65 73 3a 09 73 69 63 73 |se. Sal|es:.sics|
|00002b40| 74 75 73 2d 72 65 71 75 | 65 73 74 40 73 69 63 73 |tus-requ|est@sics|
|00002b50| 2e 73 65 0a 20 20 54 65 | 63 68 20 73 75 70 70 6f |.se. Te|ch suppo|
|00002b60| 72 74 3a 09 73 69 63 73 | 74 75 73 2d 62 75 67 40 |rt:.sics|tus-bug@|
|00002b70| 73 69 63 73 2e 73 65 0a | 0a 54 75 72 62 6f 20 50 |sics.se.|.Turbo P|
|00002b80| 72 6f 6c 6f 67 3a 0a 20 | 20 54 75 72 62 6f 20 50 |rolog:. | Turbo P|
|00002b90| 72 6f 6c 6f 67 20 69 73 | 20 74 68 65 20 6f 6c 64 |rolog is| the old|
|00002ba0| 65 72 20 6e 61 6d 65 20 | 66 6f 72 20 50 44 43 20 |er name |for PDC |
|00002bb0| 50 72 6f 6c 6f 67 20 28 | 73 65 65 20 61 62 6f 76 |Prolog (|see abov|
|00002bc0| 65 29 2e 0a 0a 09 09 09 | 2a 09 2a 09 2a 0a 0a 35 |e)......|*.*.*..5|
|00002bd0| 2e 20 49 20 74 68 69 6e | 6b 20 6c 61 6e 67 75 61 |. I thin|k langua|
|00002be0| 67 65 20 58 20 69 73 20 | 62 65 74 74 65 72 20 74 |ge X is |better t|
|00002bf0| 68 61 6e 20 50 72 6f 6c | 6f 67 2e 20 20 57 68 61 |han Prol|og. Wha|
|00002c00| 74 20 64 6f 20 79 6f 75 | 20 74 68 69 6e 6b 3f 0a |t do you| think?.|
|00002c10| 0a 20 20 20 20 20 54 68 | 65 73 65 20 64 65 62 61 |. Th|ese deba|
|00002c20| 74 65 73 20 72 61 72 65 | 6c 79 20 72 65 73 75 6c |tes rare|ly resul|
|00002c30| 74 20 69 6e 20 61 6e 79 | 20 70 72 6f 64 75 63 74 |t in any| product|
|00002c40| 69 76 65 20 64 69 73 63 | 75 73 73 69 6f 6e 2e 0a |ive disc|ussion..|
|00002c50| 54 6f 20 73 6f 6d 65 20 | 65 78 74 65 6e 74 2c 20 |To some |extent, |
|00002c60| 6f 6e 65 27 73 20 66 61 | 76 6f 75 72 69 74 65 20 |one's fa|vourite |
|00002c70| 6c 61 6e 67 75 61 67 65 | 20 69 73 20 62 61 73 65 |language| is base|
|00002c80| 64 20 6f 6e 20 69 72 72 | 61 74 69 6f 6e 61 6c 0a |d on irr|ational.|
|00002c90| 69 64 65 6f 6c 6f 67 79 | 2e 0a 0a 20 20 20 20 20 |ideology|... |
|00002ca0| 48 6f 77 65 76 65 72 2c | 20 6d 61 6e 79 20 70 65 |However,| many pe|
|00002cb0| 6f 70 6c 65 20 6e 6f 77 | 20 61 67 72 65 65 20 74 |ople now| agree t|
|00002cc0| 68 61 74 20 64 69 66 66 | 65 72 65 6e 74 20 6c 61 |hat diff|erent la|
|00002cd0| 6e 67 75 61 67 65 73 20 | 61 72 65 0a 67 6f 6f 64 |nguages |are.good|
|00002ce0| 20 66 6f 72 20 64 69 66 | 66 65 72 65 6e 74 20 74 | for dif|ferent t|
|00002cf0| 68 69 6e 67 73 2e 20 20 | 50 72 6f 6c 6f 67 20 73 |hings. |Prolog s|
|00002d00| 65 65 6d 73 20 74 6f 20 | 62 65 20 67 6f 6f 64 20 |eems to |be good |
|00002d10| 66 6f 72 20 70 72 6f 62 | 6c 65 6d 73 0a 69 6e 20 |for prob|lems.in |
|00002d20| 77 68 69 63 68 20 6c 6f | 67 69 63 20 69 73 20 69 |which lo|gic is i|
|00002d30| 6e 74 69 6d 61 74 65 6c | 79 20 69 6e 76 6f 6c 76 |ntimatel|y involv|
|00002d40| 65 64 2c 20 6f 72 20 77 | 68 6f 73 65 20 73 6f 6c |ed, or w|hose sol|
|00002d50| 75 74 69 6f 6e 73 20 68 | 61 76 65 20 61 0a 73 75 |utions h|ave a.su|
|00002d60| 63 63 69 6e 63 74 20 6c | 6f 67 69 63 61 6c 20 63 |ccinct l|ogical c|
|00002d70| 68 61 72 61 63 74 65 72 | 69 7a 61 74 69 6f 6e 2e |haracter|ization.|
|00002d80| 20 20 4c 69 6b 65 20 6f | 74 68 65 72 20 69 6e 74 | Like o|ther int|
|00002d90| 65 72 61 63 74 69 76 65 | 2c 0a 73 79 6d 62 6f 6c |eractive|,.symbol|
|00002da0| 69 63 20 6c 61 6e 67 75 | 61 67 65 73 2c 20 50 72 |ic langu|ages, Pr|
|00002db0| 6f 6c 6f 67 20 69 73 20 | 61 6c 73 6f 20 67 6f 6f |olog is |also goo|
|00002dc0| 64 20 66 6f 72 20 72 61 | 70 69 64 20 70 72 6f 74 |d for ra|pid prot|
|00002dd0| 6f 74 79 70 69 6e 67 2e | 0a 0a 20 20 20 20 20 41 |otyping.|.. A|
|00002de0| 6c 73 6f 2c 20 70 6c 65 | 61 73 65 20 6e 6f 74 65 |lso, ple|ase note|
|00002df0| 20 74 68 61 74 20 74 68 | 65 72 65 20 61 72 65 20 | that th|ere are |
|00002e00| 6d 61 6e 79 20 64 69 66 | 66 65 72 65 6e 74 20 22 |many dif|ferent "|
|00002e10| 50 72 6f 6c 6f 67 73 22 | 0a 61 6e 64 20 6f 74 68 |Prologs"|.and oth|
|00002e20| 65 72 20 6c 6f 67 69 63 | 20 70 72 6f 67 72 61 6d |er logic| program|
|00002e30| 6d 69 6e 67 20 6c 61 6e | 67 75 61 67 65 73 20 61 |ming lan|guages a|
|00002e40| 76 61 69 6c 61 62 6c 65 | 2c 20 61 6c 6c 20 77 69 |vailable|, all wi|
|00002e50| 74 68 0a 64 69 66 66 65 | 72 65 6e 74 20 63 61 70 |th.diffe|rent cap|
|00002e60| 61 62 69 6c 69 74 69 65 | 73 2e 0a 0a 09 09 09 2a |abilitie|s......*|
|00002e70| 09 2a 09 2a 0a 0a 36 2e | 20 4d 79 20 50 72 6f 6c |.*.*..6.| My Prol|
|00002e80| 6f 67 20 70 72 6f 66 20 | 61 73 73 69 67 6e 65 64 |og prof |assigned|
|00002e90| 20 6d 65 20 74 68 69 73 | 20 70 72 6f 62 6c 65 6d | me this| problem|
|00002ea0| 2e 20 20 43 61 6e 20 79 | 6f 75 20 68 65 6c 70 0a |. Can y|ou help.|
|00002eb0| 20 20 20 6d 65 20 77 69 | 74 68 20 69 74 3f 0a 0a | me wi|th it?..|
|00002ec0| 20 20 20 20 20 49 66 20 | 79 6f 75 72 20 69 6e 73 | If |your ins|
|00002ed0| 74 72 75 63 74 6f 72 20 | 61 73 73 69 67 6e 65 64 |tructor |assigned|
|00002ee0| 20 69 74 20 74 6f 20 79 | 6f 75 2c 20 68 65 20 6f | it to y|ou, he o|
|00002ef0| 72 20 73 68 65 20 70 72 | 6f 62 61 62 6c 79 0a 77 |r she pr|obably.w|
|00002f00| 61 6e 74 65 64 20 79 6f | 75 20 74 6f 20 64 6f 20 |anted yo|u to do |
|00002f10| 69 74 20 79 6f 75 72 73 | 65 6c 66 2e 20 20 49 66 |it yours|elf. If|
|00002f20| 20 69 74 27 73 20 61 6e | 20 69 6e 74 72 6f 64 75 | it's an| introdu|
|00002f30| 63 74 6f 72 79 20 50 72 | 6f 6c 6f 67 0a 63 6f 75 |ctory Pr|olog.cou|
|00002f40| 72 73 65 2c 20 79 6f 75 | 72 20 71 75 65 73 74 69 |rse, you|r questi|
|00002f50| 6f 6e 20 6d 69 67 68 74 | 20 62 65 20 65 6c 65 6d |on might| be elem|
|00002f60| 65 6e 74 61 72 79 20 74 | 6f 20 6d 6f 73 74 20 72 |entary t|o most r|
|00002f70| 65 61 64 65 72 73 2c 20 | 73 6f 20 69 74 0a 6d 69 |eaders, |so it.mi|
|00002f80| 67 68 74 20 62 65 20 61 | 20 77 61 73 74 65 20 6f |ght be a| waste o|
|00002f90| 66 20 6e 65 74 77 6f 72 | 6b 20 72 65 73 6f 75 72 |f networ|k resour|
|00002fa0| 63 65 73 20 74 6f 20 61 | 73 6b 20 69 74 2e 20 20 |ces to a|sk it. |
|00002fb0| 50 6c 65 61 73 65 20 61 | 73 6b 0a 79 6f 75 72 20 |Please a|sk.your |
|00002fc0| 69 6e 73 74 72 75 63 74 | 6f 72 2c 20 61 20 66 72 |instruct|or, a fr|
|00002fd0| 69 65 6e 64 2c 20 61 20 | 74 65 61 63 68 69 6e 67 |iend, a |teaching|
|00002fe0| 20 61 73 73 69 73 74 61 | 6e 74 2c 20 6f 72 20 61 | assista|nt, or a|
|00002ff0| 20 6c 6f 63 61 6c 0a 6e | 65 77 73 67 72 6f 75 70 | local.n|ewsgroup|
|00003000| 20 66 6f 72 20 68 65 6c | 70 20 66 69 72 73 74 2e | for hel|p first.|
|00003010| 0a 0a 20 20 20 20 20 54 | 68 61 74 20 62 65 69 6e |.. T|hat bein|
|00003020| 67 20 73 61 69 64 2c 20 | 74 68 65 72 65 20 61 72 |g said, |there ar|
|00003030| 65 20 63 6f 6d 70 2e 6c | 61 6e 67 2e 70 72 6f 6c |e comp.l|ang.prol|
|00003040| 6f 67 20 72 65 61 64 65 | 72 73 20 77 68 6f 0a 77 |og reade|rs who.w|
|00003050| 6f 75 6c 64 20 62 65 20 | 67 6c 61 64 20 74 6f 20 |ould be |glad to |
|00003060| 68 65 6c 70 20 70 65 6f | 70 6c 65 20 6d 61 6b 69 |help peo|ple maki|
|00003070| 6e 67 20 61 20 6c 65 67 | 69 74 69 6d 61 74 65 20 |ng a leg|itimate |
|00003080| 61 74 74 65 6d 70 74 20 | 74 6f 0a 6c 65 61 72 6e |attempt |to.learn|
|00003090| 20 50 72 6f 6c 6f 67 2e | 0a 0a 09 09 09 2a 09 2a | Prolog.|.....*.*|
|000030a0| 09 2a 0a 0a 37 2e 20 43 | 61 6e 20 79 6f 75 20 73 |.*..7. C|an you s|
|000030b0| 75 67 67 65 73 74 20 73 | 6f 6d 65 20 62 6f 6f 6b |uggest s|ome book|
|000030c0| 73 20 6f 6e 20 50 72 6f | 6c 6f 67 3f 0a 0a 20 20 |s on Pro|log?.. |
|000030d0| 20 20 20 54 68 65 20 50 | 72 6f 6c 6f 67 20 52 65 | The P|rolog Re|
|000030e0| 73 6f 75 72 63 65 20 47 | 75 69 64 65 20 28 73 65 |source G|uide (se|
|000030f0| 65 20 61 62 6f 76 65 2c | 20 71 75 65 73 74 69 6f |e above,| questio|
|00003100| 6e 20 33 29 20 63 6f 6e | 74 61 69 6e 73 0a 61 20 |n 3) con|tains.a |
|00003110| 6c 69 73 74 69 6e 67 20 | 6f 66 20 50 72 6f 6c 6f |listing |of Prolo|
|00003120| 67 20 62 6f 6f 6b 73 2e | 20 20 49 74 20 69 73 20 |g books.| It is |
|00003130| 6d 61 69 6e 74 61 69 6e | 65 64 20 62 79 20 4d 61 |maintain|ed by Ma|
|00003140| 72 6b 20 4b 61 6e 74 72 | 6f 77 69 74 7a 0a 28 4d |rk Kantr|owitz.(M|
|00003150| 61 72 6b 2e 4b 61 6e 74 | 72 6f 77 69 74 7a 40 47 |ark.Kant|rowitz@G|
|00003160| 4c 49 4e 44 41 2e 4f 5a | 2e 43 53 2e 43 4d 55 2e |LINDA.OZ|.CS.CMU.|
|00003170| 45 44 55 29 2c 20 61 6e | 64 20 70 6f 73 74 65 64 |EDU), an|d posted|
|00003180| 20 70 65 72 69 6f 64 69 | 63 61 6c 6c 79 0a 6f 6e | periodi|cally.on|
|00003190| 20 63 6f 6d 70 2e 6c 61 | 6e 67 2e 70 72 6f 6c 6f | comp.la|ng.prolo|
|000031a0| 67 2e 0a 0a 20 20 20 20 | 20 48 65 72 65 20 61 72 |g... | Here ar|
|000031b0| 65 20 73 6f 6d 65 20 6f | 66 20 74 68 65 20 6d 6f |e some o|f the mo|
|000031c0| 73 74 20 70 6f 70 75 6c | 61 72 20 62 6f 6f 6b 73 |st popul|ar books|
|000031d0| 20 6f 6e 20 50 72 6f 6c | 6f 67 2e 0a 0a 5f 50 72 | on Prol|og..._Pr|
|000031e0| 6f 67 72 61 6d 6d 69 6e | 67 20 69 6e 20 50 72 6f |ogrammin|g in Pro|
|000031f0| 6c 6f 67 5f 2e 20 20 57 | 69 6c 6c 69 61 6d 20 46 |log_. W|illiam F|
|00003200| 2e 20 43 6c 6f 63 6b 73 | 69 6e 20 61 6e 64 20 43 |. Clocks|in and C|
|00003210| 68 72 69 73 74 6f 70 68 | 65 72 20 53 2e 0a 4d 65 |hristoph|er S..Me|
|00003220| 6c 6c 69 73 68 2e 20 20 | 53 70 72 69 6e 67 65 72 |llish. |Springer|
|00003230| 2d 56 65 72 6c 61 67 2c | 20 31 39 38 37 2e 20 20 |-Verlag,| 1987. |
|00003240| 28 49 6e 74 72 6f 64 75 | 63 74 6f 72 79 2e 29 0a |(Introdu|ctory.).|
|00003250| 0a 5f 54 68 65 20 41 72 | 74 20 6f 66 20 50 72 6f |._The Ar|t of Pro|
|00003260| 6c 6f 67 3a 20 20 41 64 | 76 61 6e 63 65 64 20 50 |log: Ad|vanced P|
|00003270| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 54 65 63 68 6e |rogrammi|ng Techn|
|00003280| 69 71 75 65 73 5f 2e 20 | 20 4c 65 6f 6e 0a 53 74 |iques_. | Leon.St|
|00003290| 65 72 6c 69 6e 67 20 61 | 6e 64 20 45 68 75 64 20 |erling a|nd Ehud |
|000032a0| 53 68 61 70 69 72 6f 2e | 20 20 4d 49 54 20 50 72 |Shapiro.| MIT Pr|
|000032b0| 65 73 73 2c 20 31 39 38 | 36 2e 20 20 28 41 64 76 |ess, 198|6. (Adv|
|000032c0| 61 6e 63 65 64 2e 29 0a | 0a 5f 54 68 65 20 43 72 |anced.).|._The Cr|
|000032d0| 61 66 74 20 6f 66 20 50 | 72 6f 6c 6f 67 5f 2e 20 |aft of P|rolog_. |
|000032e0| 20 52 69 63 68 61 72 64 | 20 41 2e 20 4f 27 4b 65 | Richard| A. O'Ke|
|000032f0| 65 66 65 2e 20 20 4d 49 | 54 20 50 72 65 73 73 2c |efe. MI|T Press,|
|00003300| 20 31 39 39 30 2e 0a 28 | 41 64 76 61 6e 63 65 64 | 1990..(|Advanced|
|00003310| 2e 29 0a 0a 5f 46 6f 75 | 6e 64 61 74 69 6f 6e 73 |.).._Fou|ndations|
|00003320| 20 6f 66 20 4c 6f 67 69 | 63 20 50 72 6f 67 72 61 | of Logi|c Progra|
|00003330| 6d 6d 69 6e 67 5f 2e 20 | 20 4a 6f 68 6e 20 4c 6c |mming_. | John Ll|
|00003340| 6f 79 64 2e 20 0a 53 70 | 72 69 6e 67 65 72 2d 56 |oyd. .Sp|ringer-V|
|00003350| 65 72 6c 61 67 2c 20 31 | 39 38 38 20 28 32 6e 64 |erlag, 1|988 (2nd|
|00003360| 20 65 64 29 2e 20 20 28 | 4c 6f 67 69 63 20 70 72 | ed). (|Logic pr|
|00003370| 6f 67 72 61 6d 6d 69 6e | 67 20 74 68 65 6f 72 79 |ogrammin|g theory|
|00003380| 2e 29 0a 0a 09 09 09 2a | 09 2a 09 2a 0a 0a 38 2e |.).....*|.*.*..8.|
|00003390| 20 41 72 65 20 74 68 65 | 72 65 20 61 6e 79 20 46 | Are the|re any F|
|000033a0| 54 50 20 61 72 63 68 69 | 76 65 20 73 69 74 65 73 |TP archi|ve sites|
|000033b0| 20 66 6f 72 20 63 6f 6d | 70 2e 6c 61 6e 67 2e 70 | for com|p.lang.p|
|000033c0| 72 6f 6c 6f 67 3f 0a 0a | 20 20 20 20 20 59 65 73 |rolog?..| Yes|
|000033d0| 2e 20 20 41 73 20 6f 66 | 20 74 68 65 20 6c 61 74 |. As of| the lat|
|000033e0| 65 73 74 20 63 68 65 63 | 6b 2c 20 74 68 65 20 66 |est chec|k, the f|
|000033f0| 6f 6c 6c 6f 77 69 6e 67 | 20 61 72 63 68 69 76 65 |ollowing| archive|
|00003400| 20 73 69 74 65 73 0a 63 | 6f 6e 74 61 69 6e 20 73 | sites.c|ontain s|
|00003410| 65 6c 65 63 74 65 64 20 | 72 65 63 65 6e 74 20 61 |elected |recent a|
|00003420| 72 74 69 63 6c 65 73 20 | 66 72 6f 6d 20 63 6f 6d |rticles |from com|
|00003430| 70 2e 6c 61 6e 67 2e 70 | 72 6f 6c 6f 67 20 69 6e |p.lang.p|rolog in|
|00003440| 20 74 68 65 0a 69 6e 64 | 69 63 61 74 65 64 20 64 | the.ind|icated d|
|00003450| 69 72 65 63 74 6f 72 69 | 65 73 2e 0a 0a 22 63 73 |irectori|es..."cs|
|00003460| 2e 64 61 6c 2e 63 61 22 | 3a 20 2f 70 75 62 2f 63 |.dal.ca"|: /pub/c|
|00003470| 6f 6d 70 2e 61 72 63 68 | 69 76 65 73 2f 63 6f 6d |omp.arch|ives/com|
|00003480| 70 2e 6c 61 6e 67 2e 70 | 72 6f 6c 6f 67 0a 22 69 |p.lang.p|rolog."i|
|00003490| 6e 66 6f 32 2e 72 75 73 | 2e 75 6e 69 2d 73 74 75 |nfo2.rus|.uni-stu|
|000034a0| 74 74 67 61 72 74 2e 64 | 65 22 3a 0a 20 20 2f 70 |ttgart.d|e":. /p|
|000034b0| 75 62 2f 63 6f 6d 6d 2f | 6e 65 77 73 2f 61 72 63 |ub/comm/|news/arc|
|000034c0| 68 69 76 65 2f 63 6f 6d | 70 2e 61 72 63 68 69 76 |hive/com|p.archiv|
|000034d0| 65 73 2f 61 75 74 6f 2f | 63 6f 6d 70 2e 6c 61 6e |es/auto/|comp.lan|
|000034e0| 67 2e 70 72 6f 6c 6f 67 | 0a 0a 20 20 20 20 20 53 |g.prolog|.. S|
|000034f0| 6f 6d 65 20 6f 74 68 65 | 72 20 73 69 74 65 73 20 |ome othe|r sites |
|00003500| 63 6f 6e 74 61 69 6e 20 | 63 6f 70 69 65 73 20 6f |contain |copies o|
|00003510| 66 20 74 68 69 73 20 46 | 41 51 20 6c 69 73 74 20 |f this F|AQ list |
|00003520| 61 6e 64 20 74 68 65 0a | 50 72 6f 6c 6f 67 20 52 |and the.|Prolog R|
|00003530| 65 73 6f 75 72 63 65 20 | 47 75 69 64 65 20 28 73 |esource |Guide (s|
|00003540| 65 65 20 71 75 65 73 74 | 69 6f 6e 20 33 29 2e 20 |ee quest|ion 3). |
|00003550| 20 46 6f 72 20 75 73 65 | 72 73 20 77 69 74 68 20 | For use|rs with |
|00003560| 22 61 72 63 68 69 65 22 | 0a 61 63 63 65 73 73 2c |"archie"|.access,|
|00003570| 20 74 79 70 65 20 22 61 | 72 63 68 69 65 20 63 6f | type "a|rchie co|
|00003580| 6d 70 2e 6c 61 6e 67 2e | 70 72 6f 6c 6f 67 22 20 |mp.lang.|prolog" |
|00003590| 66 6f 72 20 61 6e 20 75 | 70 2d 74 6f 2d 64 61 74 |for an u|p-to-dat|
|000035a0| 65 20 6c 69 73 74 20 6f | 66 0a 73 69 74 65 73 20 |e list o|f.sites |
|000035b0| 68 61 76 69 6e 67 20 65 | 69 74 68 65 72 20 61 72 |having e|ither ar|
|000035c0| 63 68 69 76 65 73 20 6f | 72 20 74 68 65 20 70 65 |chives o|r the pe|
|000035d0| 72 69 6f 64 69 63 20 70 | 6f 73 74 69 6e 67 73 2e |riodic p|ostings.|
|000035e0| 0a 0a 09 09 09 2a 09 2a | 09 2a 0a 0a 39 2e 20 48 |.....*.*|.*..9. H|
|000035f0| 6f 77 20 63 61 6e 20 49 | 20 67 65 74 20 61 20 63 |ow can I| get a c|
|00003600| 6f 70 79 20 6f 66 20 74 | 68 65 20 64 72 61 66 74 |opy of t|he draft|
|00003610| 20 49 53 4f 20 50 72 6f | 6c 6f 67 20 73 74 61 6e | ISO Pro|log stan|
|00003620| 64 61 72 64 3f 0a 20 20 | 20 57 68 65 72 65 20 63 |dard?. | Where c|
|00003630| 61 6e 20 49 20 67 6f 20 | 66 6f 72 20 6d 6f 72 65 |an I go |for more|
|00003640| 20 69 6e 66 6f 72 6d 61 | 74 69 6f 6e 20 61 62 6f | informa|tion abo|
|00003650| 75 74 20 69 74 3f 0a 0a | 20 20 20 20 20 59 6f 75 |ut it?..| You|
|00003660| 20 63 61 6e 20 70 69 63 | 6b 20 75 70 20 61 20 63 | can pic|k up a c|
|00003670| 6f 70 79 20 62 79 20 61 | 6e 6f 6e 79 6d 6f 75 73 |opy by a|nonymous|
|00003680| 20 46 54 50 20 66 72 6f | 6d 20 73 69 74 65 0a 22 | FTP fro|m site."|
|00003690| 61 69 2e 75 67 61 2e 65 | 64 75 22 2c 20 64 69 72 |ai.uga.e|du", dir|
|000036a0| 65 63 74 6f 72 79 20 22 | 2f 70 75 62 2f 70 72 6f |ectory "|/pub/pro|
|000036b0| 6c 6f 67 2e 73 74 61 6e | 64 61 72 64 22 2e 20 20 |log.stan|dard". |
|000036c0| 54 68 65 20 64 69 72 65 | 63 74 6f 72 79 0a 61 6c |The dire|ctory.al|
|000036d0| 73 6f 20 63 6f 6e 74 61 | 69 6e 73 20 61 20 73 75 |so conta|ins a su|
|000036e0| 6d 6d 61 72 79 20 6f 66 | 20 74 68 65 20 73 74 61 |mmary of| the sta|
|000036f0| 6e 64 61 72 64 2c 20 62 | 79 20 4d 69 63 68 61 65 |ndard, b|y Michae|
|00003700| 6c 20 43 6f 76 69 6e 67 | 74 6f 6e 2c 0a 69 6e 20 |l Coving|ton,.in |
|00003710| 74 68 65 20 22 69 73 6f | 70 72 6f 6c 6f 67 22 20 |the "iso|prolog" |
|00003720| 66 69 6c 65 73 2e 20 20 | 4e 6f 74 65 20 74 68 61 |files. |Note tha|
|00003730| 74 20 6e 6f 20 6f 6e 65 | 20 61 74 20 74 68 61 74 |t no one| at that|
|00003740| 20 73 69 74 65 20 63 61 | 6e 0a 61 6e 73 77 65 72 | site ca|n.answer|
|00003750| 20 61 6e 79 20 71 75 65 | 73 74 69 6f 6e 73 20 61 | any que|stions a|
|00003760| 62 6f 75 74 20 74 68 65 | 20 73 74 61 6e 64 61 72 |bout the| standar|
|00003770| 64 3b 20 69 74 20 69 73 | 20 6a 75 73 74 20 61 6e |d; it is| just an|
|00003780| 20 46 54 50 20 73 69 74 | 65 0a 66 6f 72 20 74 68 | FTP sit|e.for th|
|00003790| 65 20 73 74 61 6e 64 61 | 72 64 20 69 6e 20 74 68 |e standa|rd in th|
|000037a0| 65 20 55 53 41 2e 0a 0a | 20 20 20 20 20 41 20 63 |e USA...| A c|
|000037b0| 6f 70 79 20 6f 66 20 52 | 69 63 68 61 72 64 20 4f |opy of R|ichard O|
|000037c0| 27 4b 65 65 66 65 27 73 | 20 50 72 6f 6c 6f 67 20 |'Keefe's| Prolog |
|000037d0| 73 74 61 6e 64 61 72 64 | 20 64 72 61 66 74 20 66 |standard| draft f|
|000037e0| 72 6f 6d 20 31 39 38 34 | 0a 69 73 20 61 76 61 69 |rom 1984|.is avai|
|000037f0| 6c 61 62 6c 65 20 66 72 | 6f 6d 20 22 66 74 70 2e |lable fr|om "ftp.|
|00003800| 65 63 72 63 2e 64 65 22 | 2c 20 66 69 6c 65 20 2f |ecrc.de"|, file /|
|00003810| 70 75 62 2f 65 63 6c 69 | 70 73 65 2f 73 74 64 2f |pub/ecli|pse/std/|
|00003820| 70 6c 73 74 64 2e 64 6f | 63 22 2e 0a 0a 20 20 20 |plstd.do|c"... |
|00003830| 20 20 46 6f 72 20 6d 6f | 72 65 20 69 6e 66 6f 72 | For mo|re infor|
|00003840| 6d 61 74 69 6f 6e 20 61 | 62 6f 75 74 20 74 68 65 |mation a|bout the|
|00003850| 20 49 53 4f 20 50 72 6f | 6c 6f 67 20 73 74 61 6e | ISO Pro|log stan|
|00003860| 64 61 72 64 2c 20 63 6f | 6e 74 61 63 74 0a 0a 52 |dard, co|ntact..R|
|00003870| 6f 67 65 72 20 53 63 6f | 77 65 6e 20 0a 49 53 4f |oger Sco|wen .ISO|
|00003880| 2f 49 45 43 20 4a 54 43 | 31 20 53 43 32 32 20 57 |/IEC JTC|1 SC22 W|
|00003890| 47 31 37 20 28 50 72 6f | 6c 6f 67 29 20 63 6f 6e |G17 (Pro|log) con|
|000038a0| 76 65 6e 65 72 2c 20 0a | 44 49 54 43 2f 39 33 2c |vener, .|DITC/93,|
|000038b0| 20 20 4e 61 74 69 6f 6e | 61 6c 20 50 68 79 73 69 | Nation|al Physi|
|000038c0| 63 61 6c 20 4c 61 62 6f | 72 61 74 6f 72 79 0a 54 |cal Labo|ratory.T|
|000038d0| 45 44 44 49 4e 47 54 4f | 4e 2c 20 4d 69 64 64 6c |EDDINGTO|N, Middl|
|000038e0| 65 73 65 78 20 54 57 31 | 31 20 30 4c 57 0a 55 4e |esex TW1|1 0LW.UN|
|000038f0| 49 54 45 44 20 4b 49 4e | 47 44 4f 4d 0a 54 65 6c |ITED KIN|GDOM.Tel|
|00003900| 3a 20 2b 34 34 20 38 31 | 20 39 34 33 20 36 39 35 |: +44 81| 943 695|
|00003910| 36 0a 46 61 78 3a 20 2b | 34 34 20 38 31 20 39 37 |6.Fax: +|44 81 97|
|00003920| 37 20 37 30 39 31 0a 45 | 2d 6d 61 69 6c 3a 20 72 |7 7091.E|-mail: r|
|00003930| 73 73 40 73 65 67 2e 6e | 70 6c 2e 63 6f 2e 75 6b |ss@seg.n|pl.co.uk|
|00003940| 0a 0a 09 09 09 2a 09 2a | 09 2a 0a 0a 31 30 2e 20 |.....*.*|.*..10. |
|00003950| 48 6f 77 20 64 6f 65 73 | 20 74 68 65 20 57 41 4d |How does| the WAM|
|00003960| 20 28 57 61 72 72 65 6e | 20 41 62 73 74 72 61 63 | (Warren| Abstrac|
|00003970| 74 20 4d 61 63 68 69 6e | 65 29 20 77 6f 72 6b 3f |t Machin|e) work?|
|00003980| 20 20 48 6f 77 20 64 6f | 20 49 0a 20 20 20 77 72 | How do| I. wr|
|00003990| 69 74 65 20 61 20 57 41 | 4d 2d 62 61 73 65 64 20 |ite a WA|M-based |
|000039a0| 63 6f 6d 70 69 6c 65 72 | 20 6f 72 20 61 20 57 41 |compiler| or a WA|
|000039b0| 4d 20 65 6d 75 6c 61 74 | 6f 72 3f 0a 0a 20 20 20 |M emulat|or?.. |
|000039c0| 20 20 52 65 70 6f 72 74 | 65 64 6c 79 20 74 68 65 | Report|edly the|
|000039d0| 20 62 65 73 74 20 74 75 | 74 6f 72 69 61 6c 20 69 | best tu|torial i|
|000039e0| 73 20 48 61 73 73 61 6e | 20 41 69 74 2d 4b 61 63 |s Hassan| Ait-Kac|
|000039f0| 69 27 73 20 62 6f 6f 6b | 0a 5f 57 61 72 72 65 6e |i's book|._Warren|
|00003a00| 27 73 20 41 62 73 74 72 | 61 63 74 20 4d 61 63 68 |'s Abstr|act Mach|
|00003a10| 69 6e 65 3a 20 41 20 54 | 75 74 6f 72 69 61 6c 20 |ine: A T|utorial |
|00003a20| 52 65 63 6f 6e 73 74 72 | 75 63 74 69 6f 6e 5f 20 |Reconstr|uction_ |
|00003a30| 28 4d 49 54 0a 50 72 65 | 73 73 2c 20 31 39 39 31 |(MIT.Pre|ss, 1991|
|00003a40| 29 2e 20 20 41 20 70 75 | 62 6c 69 63 2d 64 6f 6d |). A pu|blic-dom|
|00003a50| 61 69 6e 20 57 41 4d 20 | 65 6d 75 6c 61 74 6f 72 |ain WAM |emulator|
|00003a60| 2c 20 77 72 69 74 74 65 | 6e 20 69 6e 20 43 2b 2b |, writte|n in C++|
|00003a70| 20 62 79 0a 48 65 72 76 | 65 20 54 6f 75 61 74 69 | by.Herv|e Touati|
|00003a80| 2c 20 69 73 20 61 76 61 | 69 6c 61 62 6c 65 20 62 |, is ava|ilable b|
|00003a90| 79 20 61 6e 6f 6e 79 6d | 6f 75 73 20 46 54 50 20 |y anonym|ous FTP |
|00003aa0| 61 74 20 73 69 74 65 0a | 22 67 61 74 65 6b 65 65 |at site.|"gatekee|
|00003ab0| 70 65 72 2e 64 65 63 2e | 63 6f 6d 22 2c 20 69 6e |per.dec.|com", in|
|00003ac0| 20 64 69 72 65 63 74 6f | 72 79 20 22 70 75 62 2f | directo|ry "pub/|
|00003ad0| 70 6c 61 6e 2f 70 72 6f | 6c 6f 67 2f 75 63 62 22 |plan/pro|log/ucb"|
|00003ae0| 2e 0a 0a 09 09 09 2a 09 | 2a 09 2a 0a 0a 31 31 2e |......*.|*.*..11.|
|00003af0| 20 49 73 20 74 68 65 72 | 65 20 61 20 57 57 57 20 | Is ther|e a WWW |
|00003b00| 28 57 6f 72 6c 64 20 57 | 69 64 65 20 57 65 62 29 |(World W|ide Web)|
|00003b10| 20 70 61 67 65 20 6f 6e | 20 6c 6f 67 69 63 20 70 | page on| logic p|
|00003b20| 72 6f 67 72 61 6d 6d 69 | 6e 67 3f 0a 0a 20 20 20 |rogrammi|ng?.. |
|00003b30| 20 20 59 65 73 2c 20 74 | 68 65 72 65 20 69 73 20 | Yes, t|here is |
|00003b40| 6f 6e 65 20 62 79 20 4a | 6f 6e 61 74 68 61 6e 20 |one by J|onathan |
|00003b50| 42 6f 77 65 6e 3b 20 74 | 68 65 20 55 52 4c 20 69 |Bowen; t|he URL i|
|00003b60| 73 0a 22 68 74 74 70 3a | 2f 2f 77 77 77 2e 63 6f |s."http:|//www.co|
|00003b70| 6d 6c 61 62 2e 6f 78 2e | 61 63 2e 75 6b 2f 61 72 |mlab.ox.|ac.uk/ar|
|00003b80| 63 68 69 76 65 2f 6c 6f | 67 69 63 2d 70 72 6f 67 |chive/lo|gic-prog|
|00003b90| 2e 68 74 6d 6c 22 2e 0a | 48 65 20 69 6e 76 69 74 |.html"..|He invit|
|00003ba0| 65 73 20 75 73 20 74 6f | 20 6d 61 69 6c 20 68 69 |es us to| mail hi|
|00003bb0| 6d 20 61 74 20 22 62 6f | 77 65 6e 40 63 6f 6d 6c |m at "bo|wen@coml|
|00003bc0| 61 62 2e 6f 78 2e 61 63 | 2e 75 6b 22 20 77 69 74 |ab.ox.ac|.uk" wit|
|00003bd0| 68 20 61 6e 79 0a 72 65 | 6c 65 76 61 6e 74 20 69 |h any.re|levant i|
|00003be0| 6e 66 6f 72 6d 61 74 69 | 6f 6e 20 66 6f 72 20 69 |nformati|on for i|
|00003bf0| 6e 63 6c 75 73 69 6f 6e | 2e 0a 0a 09 09 09 2a 09 |nclusion|......*.|
|00003c00| 2a 09 2a 0a 0a 41 63 6b | 6e 6f 77 6c 65 64 67 65 |*.*..Ack|nowledge|
|00003c10| 6d 65 6e 74 73 0a 0a 20 | 20 20 20 20 46 6f 72 20 |ments.. | For |
|00003c20| 68 65 6c 70 20 69 6e 20 | 70 75 74 74 69 6e 67 20 |help in |putting |
|00003c30| 74 6f 67 65 74 68 65 72 | 20 74 68 69 73 20 46 41 |together| this FA|
|00003c40| 51 2c 20 74 68 61 6e 6b | 73 20 74 6f 20 41 6e 64 |Q, thank|s to And|
|00003c50| 72 65 77 0a 44 61 76 69 | 73 6f 6e 2c 20 4d 69 6b |rew.Davi|son, Mik|
|00003c60| 65 20 42 72 61 64 79 2c | 20 4d 69 63 68 61 65 6c |e Brady,| Michael|
|00003c70| 20 43 6f 76 69 6e 67 74 | 6f 6e 2c 20 53 74 65 70 | Covingt|on, Step|
|00003c80| 68 65 6e 20 42 65 76 61 | 6e 2c 20 4a 6f 68 6e 0a |hen Beva|n, John.|
|00003c90| 44 6f 77 64 69 6e 67 2c | 20 54 68 69 6c 6f 20 4b |Dowding,| Thilo K|
|00003ca0| 69 65 6c 6d 61 6e 6e 2c | 20 50 61 75 6c 20 53 69 |ielmann,| Paul Si|
|00003cb0| 6e 67 6c 65 74 6f 6e 2c | 20 44 61 76 65 20 4d 6f |ngleton,| Dave Mo|
|00003cc0| 66 66 61 74 74 2c 20 44 | 61 6e 69 20 64 65 0a 52 |ffatt, D|ani de.R|
|00003cd0| 69 64 64 65 72 2c 20 50 | 65 72 20 42 69 6c 73 65 |idder, P|er Bilse|
|00003ce0| 2c 20 43 68 72 69 73 20 | 4d 6f 73 73 2c 20 4b 61 |, Chris |Moss, Ka|
|00003cf0| 74 68 6c 65 65 6e 20 50 | 69 65 72 63 6f 2c 20 50 |thleen P|ierco, P|
|00003d00| 61 75 6c 20 54 61 72 61 | 75 2c 0a 4a 6f 6e 61 74 |aul Tara|u,.Jonat|
|00003d10| 68 61 6e 20 4b 61 6d 65 | 6e 73 2c 20 4a 61 6e 20 |han Kame|ns, Jan |
|00003d20| 57 69 65 6c 65 6d 61 6b | 65 72 2c 20 44 61 67 20 |Wielemak|er, Dag |
|00003d30| 57 61 68 6c 62 65 72 67 | 2c 20 4d 69 63 68 61 20 |Wahlberg|, Micha |
|00003d40| 4d 65 69 65 72 2c 20 44 | 6f 6e 0a 53 61 6e 6e 65 |Meier, D|on.Sanne|
|00003d50| 6c 6c 61 2c 20 43 6c 69 | 76 65 20 53 70 65 6e 73 |lla, Cli|ve Spens|
|00003d60| 65 72 2c 20 59 75 61 6e | 20 4c 69 75 2c 20 4a 6f |er, Yuan| Liu, Jo|
|00003d70| 6e 61 73 20 42 61 72 6b | 6c 75 6e 64 2c 20 61 6e |nas Bark|lund, an|
|00003d80| 64 20 49 61 6e 0a 44 69 | 63 6b 69 6e 73 6f 6e 2e |d Ian.Di|ckinson.|
|00003d90| 20 20 53 70 65 63 69 61 | 6c 20 74 68 61 6e 6b 73 | Specia|l thanks|
|00003da0| 20 74 6f 20 4a 6f 68 6e | 20 44 6f 77 64 69 6e 67 | to John| Dowding|
|00003db0| 20 66 6f 72 20 73 75 67 | 67 65 73 74 69 6e 67 20 | for sug|gesting |
|00003dc0| 61 20 67 6f 6f 64 0a 66 | 6f 72 6d 61 74 20 66 6f |a good.f|ormat fo|
|00003dd0| 72 20 74 68 65 20 6c 69 | 73 74 2c 20 61 6e 64 20 |r the li|st, and |
|00003de0| 74 6f 20 43 68 72 69 73 | 20 4d 6f 73 73 2c 20 44 |to Chris| Moss, D|
|00003df0| 61 67 20 57 61 68 6c 62 | 65 72 67 2c 20 61 6e 64 |ag Wahlb|erg, and|
|00003e00| 20 4d 61 72 6b 0a 4b 61 | 6e 74 72 6f 77 69 74 7a | Mark.Ka|ntrowitz|
|00003e10| 20 66 6f 72 20 74 68 65 | 69 72 20 77 6f 72 6b 20 | for the|ir work |
|00003e20| 6f 6e 20 74 68 65 20 50 | 72 6f 6c 6f 67 20 52 65 |on the P|rolog Re|
|00003e30| 73 6f 75 72 63 65 20 47 | 75 69 64 65 2e 0a 0a 2d |source G|uide...-|
|00003e40| 2d 4a 61 6d 69 65 20 41 | 6e 64 72 65 77 73 2e 0a |-Jamie A|ndrews..|
|00003e50| 20 20 6a 61 6d 69 65 40 | 63 73 2e 73 66 75 2e 63 | jamie@|cs.sfu.c|
|00003e60| 61 0a 0a | |a.. | |
+--------+-------------------------+-------------------------+--------+--------+
