home *** CD-ROM | disk | FTP | other *** search
/ Monster Media 1994 #1 / monster.zip / monster / FREQ_QA / PROLOG.ZIP / 00000154.TXT
Text File  |  1994-03-15  |  65KB  |  995 lines
  1. Uï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  2. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  3. α â─ ÷|ìF▒Pìå■■PÜh
  4. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  5. α â─ ÷|ìF▒Pìå■■PÜh
  6. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  7. α â─ÄN6& 6 & 6ìå" PÜ╝
  8. α â─╕vPìår PÜh
  9. α â─╕éPìå" PÜh
  10. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  11. α â─ÄP6& 6(& 6&ìå" PÜh
  12. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår PܬCα â─ï≡â■ uΘƒ╞år ╕Pìår PVÜj3α â─ 6d 6bìår PÜ°
  13. α â─ └ud╕pP╕~╣ùQPVÜj3α â─ìF■PïFε-ÇPÄ86& 6÷& 6⌠VÜPα â─ ÄR6&╟╕[ÖRPïFεïV≡-Çâ┌RPÜ║α Ä,6&úVÜ╚2α â─^ïσ]╦Uï∞ü∞╘WV+└PPÜ(α â─ëFⁿëV■ÄN6& 6 & 6ìFäPÜ╝
  14. α â─ÄN6& 6 & 6ìå4 PÜ╝
  15. α â─╕ÄPìFäPÜh
  16. α â─╕ÜPìå4 PÜh
  17. α â─ìF╘Pìå4 PÜXXα â─@uQÄN6& 6 & 6ìå4 PÜ╝
  18. α â─ÄP6& 6(& 6&ìå4 PÜh
  19. α â─ìF╘Pìå4 PÜXXα â─@uΘ3ïFµïVΦ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  20. α â─╕ªPìF¼PÜh
  21. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷-------------------------------------
  22.  
  23. ;;; *EOF*
  24. JÄF■&èG9êFα
  25. └t ÄFε&èD8Fαu0ÄF■ìwⁿ&ïëF▐;F⌠ÄF■&÷@t┐δï°+~⌠9~÷~ë~÷ëâ├[A9Nµ~Θa ü~÷í}Θ╡╕á+F⌠ëF≥╤f≡â~≡@~╟F≡3╔9NµΘöÄ86&í⌠&ï÷>ï╪ëV■ï~∞╕╘Ä╪â~t ÄF■ìw╞&÷uZÄF■ìw╨&è*ΣàF≡tJÄF■&èêFΓ
  26. └t    ÄFε&8Eu4ÄF■ìw &èêFα
  27. └t    ÄFε&8EuÄF■ìw┬&ïF≥ëF°;F÷}ëF÷ëâ├[A9Nµïü~÷áïV÷δ║áâ~tâ·}║ï┬^_ïσ]╦Éear all searchUï∞ü∞╢WV╕╚Pܬ α â─ï≡ëV■ ╨t5╕╨PÜ6    â─ └u$ïF■PVìåV PÜ╝
  28. α â─ìåV PÜ┘â─δÉ╞åV ╕▄PìåV PÜh
  29. α â─ìF╓PìåV PÜXXα â─ └t$ìåV P╕ΦP╕╠(PÜ─α â─ ╕·PÜ≤α â─ï~ΣW╕PÜα â─ï≡ëV· ╨u╕ P╕╠(PÜ─α â─╕·PÜ≤α â─╕P╕-PìåV PÜ26    â─
  30. ëFⁿëV■ ╨u$ìåV P╕0P╕╠(PÜ─α â─ ╕·PÜ≤α â─ v■ vⁿW╕P v·VÜα â─ ;╟t2ìåV P╕LP╕╠(PÜ─α â─  v■ vⁿܪα â─╕·PÜ≤α â─ v■ vⁿܪα â─ └t$ìåV P╕wP╕╠(PÜ─α â─ ╕·PÜ≤α â─ïF·╗
  31. Ä 3ë₧R îåT &ë7&ëGìL╗XÄ"3ë₧N îåP &ë&ëGÄ└&ï<ü pt#╕pPW╕ÖP╕╠(PÜ─α â─ ╕·PÜ≤α â──₧N &ï&ïWï╧╤ß╤ß┴ï≡ëVⁿ╟F°â ~>║ìM ëV■ëv·ë~÷ï≥ï~·╕ùÄ╪ÄZïX&ï&+╟ïVⁿ&ë&ëPâ╞IuΣïv·─₧N &─ïFⁿ&ë7&ëG─₧R &─&ï╤α╤α&G├î┬ï°ëV÷ï╪&ïÄ$3&ú·    â╟ï┬&ë>
  32. &ú
  33. &ï·    ╤π╤π▀Ä┬&ïÄ&3&ë║ìOëF÷&ë└&ú┬&ï║╤Γ╤Γ╩ï∙╗HÄ(3ë₧J îåL &ë&ëGâ┴Ä*3&ë┤&ú╢ÄF÷&ï╤Γ╤Γ╩ï±ëFⁿPQÜ" α â─@≡╟F°─₧J &─&â?~Gë~⌠║ëV■ëv·ï≥ïN°ï~·╕ùÄ╪─┤&ï&+╟ïVⁿ&ë&ëPâ╞A─₧J &─&9┌ï~⌠ïv·Ä*3&─┤ïFⁿ&ë7&ëG─₧J &─&ï@╤α╤α&G°ïF÷Ä,3&ë>ä
  34. &úå
  35. ìMÄ.3&ë▄ &ú▐ ╕^_ïσ]╦É&àÜuΘ0  Uï∞â∞.WVÜ4┘ÄZ9&╟3└Ä\9&ú6Ä^9&ú"Ä`9&ú╓ Äb9&úrÄd9&ïbÄf9&ëdÄh9&ïfÄj9&ëh+╔ëN÷ëN⌠ v vÜZ α    â─RP╕╠"P╕r ╣ùQPÜαα â─ ╕÷╣ùïVï^ï±Vï°ï≥Ä┴Ä█╣≤Ñ^║╢╣ùëV≡ëN≥Vï·ï≡Ä┴╣≤ÑÄl9&â>nu-Än9&─X& ╖B& ╖@Ü┌α    â─╕╧"PÜ|α    â─3└Θb╕r ╣ùQPÜÆ┘â─ └tτï~
  36.  Θ╛╕P v≥ v≡PÜ┘â─ └t!2└P░PÜ╢]    â─Äp9&àÜt¡ÜN┘δªÉ2└P░PÜ╢]    â─Äp9&àÜuÜ╬┘╕,
  37. ╣ùQPÜ╚┘â─2└P░PÜ╢]    â─Äp9&àÜuΘ0  ~+└PPÜ(α â─ëF⌠ëV÷╕PÜⁿ┘â─+└PPÜ(α â─ï╚ï┌+F⌠V÷Ä~9&ú║&ë╝SQ v÷ v⌠ï≡ï∙ëvΓëVΣï≤Ürα    â─ëFⁿëV■Ä~9&Ω&∞╣d3█SQRPÜåα ëF°ëV·╕dÖRP v■ vⁿÜ║α ëFⁿëV■ v· v°RP╕<ÖRP╣─ ╗  SQ╕ÖRP vΣ vΓÜ║α RPëF▐ëVαÜTα ╣─ ╗  SQ vα v▐ëF┌ëV▄ÜTα ╣<3█SQ vΣ vΓëF╓ëV╪Ü║quest@cs.cmu.edu. Bugs should be sent toπ   elp-bugs@cs.cmu.edu.ππSee the Scheme FAQ for information on implementations of Prolog in Scheme.ππ----------------------------------------------------------------π;;; *EOF*ππΦé─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕Θå  tΘ╣╕╘Ä╪╕[≈.ï╪╕ùÄ└&í⌠&ï÷Ä┬╪îFε&÷GÇt1&9}&ïG≈╪╣ùÄ┴&;z
  38. ~3└Θ6╕ùÄ└&íz
  39. ÄFε&9G|τ╕╘Ä└&íëFΩ └u╕╘Ä└&â>tÄFε&÷Gu╕ùÄ└&÷Ç
  40. t│â~Ωu╕╘Ä└&â>tÄFε&÷Gt╕ùÄ└&÷Ç
  41. uë╕P v≥ v≡PÜ┘â─ └tΘ}ⁿÜ╬┘╗pÄr9ë^µîFΦ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áJPÄv9& 68& 66Ü≡┘â─+└PPÜ(α â─ëF⌠ëV÷Äz9&â>|u Ä|9&╟z╕,
  42. ╣ùQPÜî┘â─ï≡ ÷|Θ%ⁿ─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕P v≥ v≡╕PÜ┘â─ï╞ΘÆÄn9&─X& ╖F& ╖DÜ┌α    â─╕P v≥ v≡╕PÜ┘â─Är9&â>ptMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─Ü÷┘╕^_ïσ]╦Uï∞â∞WV╕ P3└ÄZ9&úP╕÷╣ùQPÜα â─ÄÇ9+└&ú&ú■ï~  u1Äé9&9>"t2└P░PÜ╢]    â─Äp9&àÜuÜ|]    ÷─uΘ╗Ää9&╟Äå9&íëF· └|#╕[≈n·ï≡Äê9&─⌠&÷@t Ää9&╟2└P░PÜ╢]    â─=  tΘ╨Äz9&â>|u Ä|9&╟zÄr9&â>ptÄt9&â>vtÜT┘Äé9&â>"t2└P░PÜ╢]    â─Äp9&àÜtΘ  t╛3 δÉ╕⌠PÜ▐┘â─ï≡â■tΘéÄè9&íN& Lts╕dPÜ╒    â─ëFⁿëV■Ü|]    ÷─t6ë~ v■ vⁿÜ`╒    â─ └u!╕dPÜ╒    â─ëFⁿëV■Üè]    Ü|]    ÷─u═Ü°]    3└PÄè9& 6N& 6LÜ└┘â─ΘΩ■â■tm╕pPÜ╒    â─ëFⁿëV■RPÜ`╒    â─ └tΘP■ë~Ü|]    ÷─tΘ@■2└P░PÜ╢]    â─=  tΘ*■Ü─α     v■ vⁿÜ`╒    â─ └t╞Θ■Ü─α    3└δbÉ2└P░PÜ╢]    â─Äp9&àÜt;3└PÜⁿ┘â─ÜN┘Ä^9&â>"uÄ\9&â>6u Ä`9&â>╓ t ÉΦδÜN┘ÉΦ(╕^_ïσ]╦ÉUï∞ü∞·WV╗Äå9ë₧
  43.  îå  &â?|%╕[&≈/Äê9&⌠&ï÷ì~ñï≡Ä┌╣-≤Ññ─₧
  44.  &â?}ΘÄÄ^9&â>"t5Ç~║t/èF║*ΣPÄn9&─X& ╖N& ╖LÜ┌α    â─èF║*ΣPÉΦⁿâ─3÷ì~πÄî9&Ç╝& t1èB╗*ΣPWÄn9&─X& ╖R& ╖PÜ┌α    â─
  45. èB╗*ΣPÉΦ║â─Fâ╟ìF√;°r╕╗╓ Ä`9ë₧ îå &â?u Ä\9&â>6t?─₧
  46.  &â?|5Ç~╣t/èF╣*ΣPÄn9&─X& ╖V& ╖TÜ┌α    â─èF╣*ΣPÉΦOâ─ÄÄ9&í▓& ░uΘ─₧ &â?uÄ\9&â>6uÄ^9&â>"uΘ⌡Än9&─X& ╖Z& ╖XÜ┌α    â─ÄÉ9& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─ÄÄ9& 6▓& 6░ìå PÜ╝
  47. α â──₧
  48.  &â?|ìF┴Pìå PÜh
  49. α â─Ü╥┘ìå PÜ╠┘â─Ü╞┘░P░PÜ╢]    â─Än9&─X& ╖^& ╖\Ü┌α    â─ÄÆ9& 6á& 6₧Ü`┘â─Ü┘╕pPÜ╒    â─Äö9&úR&ëT3└Ä^9&ú"Ä\9&ú6─₧ &ë^_ïσ]╦ÉUï∞ÜÇ┘╕╨"PÄû9& 6°& 6÷Än9&─X& ╖å& ╖äÜ┌α    ïσÄÉ9& 6¿& 6ªÜ`┘ïσÜû┘Ät9&â>vtÄÿ9& 6╕3└PÜ≥]    ïσÄÜ9&â>LtÜr╣ Ä£9&â>duÜ.]     vÜ≤α ïσ]╦Uï∞Vïv ÷u3└Öδ,Ü─α ï╚ï╞Ö+┬╤°ìTï╪ï┴ï╩Ö≈∙ï┬├╣d≈ΘPÜ╒    â─^ïσ]╦ÉUï∞â∞WVï~Ä₧9&íB&ïDÄF&9Eu    &9U
  50. uΘ&ïE
  51. & EuΘÄá9&─α&╞Äó9& 6▐& 6▄╕╞KPÜ╝
  52. α â─╕╞KPÜ" α â─╞KëF÷î^°╟F■Äñ9&í& uΘ╗ï~■─N╕ùÄ╪ï±ïïW&9Du&9T
  53. tGâ├ïG uΓΘφÉĪ9ï▀╤π╤π&ïç╢&ïù╕ëV⌠ ╨uΘ╠ïV⌠ï≡ëVⁿÄ┬ï▐&Ç?u$ï~÷Ä¿9&â>t3╕┌"P v°WÜαα â─ΘùÉï~÷Ä^ⁿÄF°ï▐Fèï▀G&êÇ<u≡δ┬É─^& 7╕▄"P v°Wδ_ÉĬ9& 6╓& 6╘╕╞KPÜ╝
  54. α â─╕╞KPÜ" α â─╞Kï≡î^°Ä¼9&í≡ÄF&9t&Ä¿9&â>uÄF& 5╕π"PìD  v°PÜαα â─
  55. ╕╞Kî┌^_ïσ]╦ÉUï∞â∞Ät9&â>vuΘ½Är9&â>puΘ£3└PÜ,╣ â─Äå9&í@P╕Ω"P╕r ╣ùQPÜαα ╕
  56. αP╣QÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─Ä░9&í£@PÄ▓9& 6╛
  57. ╕∩"P╕r ╣ùQPÜαα â─ ╕
  58. P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─ÉΦΣÄ┤9&íbëF■ └t'PÄ╢9& 6& 6╕·"P╕r ╣ùQPÜαα â─δ$ÉÄ╢9& 6& 6╕ #P╕r ╣ùQPÜαα â─ ╕P╣QÄ«9& 6·& 6°Ü`┘â─╕#PÄ«9& 6·& 6°ÜZ┘â─╕P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─3└PÄ╕9& 6^Üα    ïσ]╦ÉÄt9&â>vt&Är9&â>pt╕ PÄ║9& 6û& 6öÜÉ┘â─╦ÉUï∞â∞.WVï~╗FLï≤î^·╞  }Θdï╟╣[≈ΘëF╘╗⌠Äê9ë^╓îF╪&─╪&÷Gt╞FLBï╞î┌@ï≡ëV·â~t    Ä┬ï╪F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Câ~t
  59. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Dâ~t
  60. ÄF·ï▐F&╞ â~t$─^╓&─^╘&÷G@tÄF·ï▐F&╞FÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Hâ~t
  61. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Kâ~t
  62. ÄF·ï▐F&╞ ─^╓&─^╘&÷GÇtyÄF·ï▐F&╞Lâ~ti─^╓&─^╘&ïGëF╥ └|@P╕+#δ É╕  +F╥P╕0#PìF┌PÜαα â─
  63. ìF┌î╥ï╚Ä┌ï╪6Ç?t!ëv°ëNⁿï°ï▀Gè─^° F°&êÇ=uφïv°ï~â~t$─^╓&─^╘&÷GtÄF·ï▐F&╞MÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Nâ~t
  64. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Sâ~t
  65. ÄF·ï▐F&╞ ─^╓&─^╘&÷G tÄF·ï▐F&╞Râ~t
  66. ÄF·ï▐F&╞ â~tï^╘─~╓&─=&÷At
  67. ÄF·ï▐F&╞XÄF·&╞╕FLî┌^_ïσ]├ÉUï∞Ät9&â>vuΘ╚Är9&â>puΘ╣Ä╝9&â>≡uÉΦ²3└PÄå9& 6Φ+²ïσRPÄå9&í@P╕5#P╕r ╣ùQPÜαα ïσ╕
  68. P╣QÄ«9& 6·& 6°Ü`┘ïσ╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘ïσ╕
  69. P╕PÄ«9& 6·& 6°Ü`┘ïσ v vÄ«9& 6·& 6°ÜZ┘ïσÜT┘ïσ]╦Uï∞ü∞¼WV3└PÜz┘â─ï°╗Ä╛9ë₧` îåb &â?}ΘTÄt9&â>vuΘEÉΦⁿW─₧` &ï@P╛XÄn9ë╢\ îå^ &─& ╖f& ╖dìåd PÜαα â─ ╕P╕P╗öÄ║9ë₧X îåZ & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╕P─₧` & 7Φ╦√â─Ä┬ï╪ï≤îF·&Ç?tTï┬PV─₧\ &─& ╖j& ╖hìåd PÜαα â─ ╕PP─₧X & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╗╠Ä└9ë₧T îåV &ïG& uΘ9& w& 7ìåd PÜ╝
  70. α â─╕A#Pìåd PÜh
  71. α â─╕P╕J#Pìåd PÜ26    â─
  72. ï≡ëV· ╨uΘεïF·PV╣QQìN⌠Qï°Üα â─ ëFⁿWVܪα â─â~ⁿuΘ┐ïvⁿ╤µïr≥─₧T & w& 7ìåd PÜ╝
  73. α â─╕M#Pìåd PÜh
  74. α â─3└PìÄd QìN╚QÜ*6    â─
  75. └uqëv■ìFµPÜó α â─;╞╕Pìåd PìF╚PÜ*6    â─
  76. └t╘δ@É╕2P╕P─₧X & w& 7Ü`┘â──₧\ &─& ╖n& ╖l─₧X & w& 7ÜZ┘â─ÜT┘^_ïσ]╦R$bàCLS╦░Uï∞â∞.WVÄ╬4╕ù┐µ╛Φ Ä╪╣≤ÑÄ╨4&╟╝
  77. ╕&╣╘QPÜ(α â─Ä╥4+└&ú,&ú*&ú(&ú0&ú.╗pÄ╘4ë^ΣîFµ&9t&Ä╓4&9vtÄ╪4&─X& ╖& ╖Ü£┘â─╟Fⁿ≥Ä┌4ï^ⁿ&â?uΘ╟ï├-╣ùì~Φï≡Ä┘╣≤Ñâ~εt%ïFεëF∞╟FεÄ▄4&íèëFΓ └~ëFΩδÉ╟FΩìFΦPÜ■α    â─RPÄ╬4& 6°& 6÷╕Γ
  78. P╕r ╣ùQPÜαα â─╕r ╣ùQPÜéBα â─ìFΦPÜ■α    â─RP╕δ
  79. P╕r ╣ùQPÜαα â─ ╕r ╣ùQPÜéBα â─âFⁿ ü~ⁿjsΘ) +└ëF≥ëF≡ëFΦëFΩëF∞ëFε╗εÄ▐4ë^▐îFα&ëÄα4&â>v└% ╗Σ ÄΓ4ë^┌îF▄&ëÄΣ4&â>x╔≈┘ ┴─^┌&ëĵ4&í╛
  80. ÄΦ4&9«s ÄΩ4&â> t─^┌&Ç3└P╣╢║ùëN╓ëV╪RQ╣QÉΦDâ─â~uΘ╬╕÷╣ùQP╕PÜ╝α    â─Üÿ┘ └tΘuÜ░┘HtpHtHHtMΘcܬ┘ └uΘW─^▐&ï─^┌&àub╕Ä∞4&úhÄε4&údÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─δñÜñ┘ └uΘ─^▐&ï─^┌&àu2δ┤Ä∞4&╟h3└PÜ₧┘ΘΣÄ≡4&╟T  ╕Ä∞4&úhΘ┼É╕Θ╛╕t╣ùëF╥ëN╘ÉΦ3 ─^╥&9?~1╛Ä≥4& t& 4╕ª    ╣ùQPÜ╠Fα â─ └uΘâ╞G─^╥&9?╥Ü╢┘ï°HuΘ≤HuΘGHtvHuΘ╛â }ΘWÄ⌠4&ít;╟ΘE2└P░PÜ╢]    â─Ä÷4&àÜuΘ)ìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ⌐â─Ä°4╤τ& ╡Ü┌┘ΘφÉÜ╘┘ └uΘπ─^▐&ï─^┌&àtΘü╕Äε4&údÄ∞4&úhÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─Θµ■Ü╬┘ └uΘò─^▐&ï─^┌&àtΘπδ░Éâ╟Θ6 2└P░PÜ╢]    â─Ä÷4&àÜuΘ_Ä·4&â>tΘPìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ╨â─Ü╚┘Θ"É2└P░PÜ╢]    â─Ä÷4&àÜuΘ╟FΦⁿìFΦP╣QÜ╝α    â─╟FΦÄⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕≥
  81. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä∞4&╟h3└PÜ┬┘ΘOÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕°
  82. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä≡4&╟T  Ä∞4&╟hΘùÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕■
  83. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘3└PÜ╝┘â─Ä5&╞ª    Ä5&íbÄε4&údÄ5&ífÄ∞4&úh╕P v╪ v╓╕PÉΦfâ─3└P v╪ v╓╕PÉΦQâ─^_ïσ]╦WV╕ùÄ╪+└úú■úⁿú·ú°ú÷╣ùÄ┴&úε╣ùÄ┴&úr╣ùÄ┴&ú╓ ╣ùÄ┴&ú6╣ùÄ┴&ú"╣╘Ä┴&úµ╣ùÄ┴&ú╝
  84. ╣ùÄ┴&ú≥╕ùÄ└╕ù┐µ╛Φ Ä╪╣≤Ñ^_╦ÉUï∞â∞V╕XPÜ╒    â─ëF·ëVⁿRPÜ`╒    â─ └uuïv2└P░PÜ╢]    â─Ä÷4&àÜtYܵα     └uP2└P░PÜ╢]    â─÷─ tÄFï▐F&è
  85. └t*<t&PÜ÷]    â─δÉÜ─α     vⁿ v·Ü`╒    â─ └tùδÉ╕δ'É2└P░PÜ╢]    â─Ü:]    ╕
  86. PÜÄα    â─Ü°]    3└^ïσ]╦ÉUï∞ü∞(WV╗bÄ5ë₧▐■îåα■&â?uΘ] v
  87.  vÜα┘rsions for CLX, Express
  88. Windows, NCW, CLUE, CLM/GINA, Common Windows, LispView, Winterp, CLIM
  89. and YY. Several implementations have a mouse sensitivity feature and
  90. others have implementation-specific features.  A copy has been made
  91. available from the Lisp Utilities Repository. For further information,
  92. contact Masayuki Ida <ida@csrl.aoyama.ac.jp>.
  93.  
  94. ----------------------------------------------------------------
  95. ;;; *EOF*
  96.  
  97. ╪4&─X& ╖>& ╖<Ü┌α    â─ΘU■ïF■PVܪα â─ìFΓPìåb PÜh
  98. α â─ìåb PìåΓ■PÜ<α â─ └uX9F t!ìåb PÄ╪4&─X& ╖B& ╖@Ü┌α    â─íFï╚╤α┴╤α╤αεDëFⁿî^■ FïFïV
  99. ï≡Ä┌─~ⁿ╣≤ÑΘ≤Éâ~ t+ v
  100.  vÜZ α    â─RPÄ╪4&─X& ╖F& ╖DÜ┌α    â─ìåΓ■PÜéBα â─Θâ²â>FuΘy²3÷96F~%┐εD╕ P v
  101.  vWÜdα â─
  102. └t
  103. â╟ F;6F|▐96F/â~ uΘ=² v
  104.  vÜZ α    â─RPÄ╪4&─X& ╖J& ╖HΘ╖■ï~ÄF
  105. &â}t=& u& u v■ vⁿ╕i Pìåb PÜαα â─ÄF
  106. & u╕y PìFΓPÜαα â─
  107. δ2É v■ vⁿìåb PÜ╝
  108. α â─ÄF
  109. & u& u╕é PìFΓPÜαα â─ ï▐╤πü├Fë₧╪■â?tÄ5& 6┌& 6╪ìåb PÜ╝
  110. α â─ìFΓPìåb PÜh
  111. α â─ï₧╪■╟ï■F;6F}rï╞╤αFëF·ï╟╤αFëF°ï╞╤α╞╤α╤αεDëF■ï╟╤α╟╤α╤αεDëFⁿíF+╞ëF÷ë~≥ëv⌠ïF■ï^ⁿï√ï≡╣≤Ñï^·âF·ïï^°âF°ëâFⁿ âF■  N÷u╨ Fìåb PÜéBα â─ └u$9F uΘ╗√ìåb PÄ╪4&─X& ╖N& ╖LΘ?²â~ uΘ├ìåb PÄ╪4&─X& ╖R& ╖PÜ┌α    â─ΘƒÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨uΘé─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─╕ Pìåb PÜ¿α â─RPܪα δDÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨t-─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─ìåb PÜéBα â─3└^_ïσ]╦Uï∞â∞(╗$Ä
  112. 5ë^▐îFα&â?uΘ≡╗╪Ä5ë^┌îF▄&ïG& uΘ╫íÆ É t 6Æ  6É Ü`╒    â─ └uΘ╖╕dPÜ╒    â─úÉ ëÆ Ä5&íbëF╪ └tP─^┌& w& 7╕ö P╕NFPÜαα â─δ─^┌& w& 7╕ó P╕NFPÜαα â─ ìFΓP╕NFPÜXXα â─ └uD╕NFPÜéBα â──^▐& 7Ä╪4&─X& ╖₧& ╖£Ü┌α    â─Ä 5&╟z─^▐& 7ܵ┘ïσ]╦3└Ä╪9&úRúzLúxLÄ┌9&9ptIÄ▄9&9vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕╠#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕ε#PÜ|α    â─Ü°]    Äα9&á£$■P░PÜ╢]    â─╕PΦ½â─ └u ÄΓ9&─X& ╖N& ╖LÜ┌α    â─3└δnÉÄ┌9&â>ptJÄ▄9&â>vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕∙#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕$PÜ|α    â─╕PΦΣâ─╦V3└Ä╪9&úRúzLúxLÄ┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕&$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕H$PÜ|α    â─Ü:]    Äα9&á£$■P░PÜ╢]    â─3└PΦNâ─ └tzÄ┌9&â>ptKÄ▄9&â>vt?╕PPÄ▐9& 6û& 6öÜ`┘â─╕S$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉÉ╕u$PÜ|α    â─3└PΦâ─ï≡ ÷uÜ4┘ï╞^╦ÉUï∞â∞WVÄΣ9&í╕
  113. &ï║
  114. ï°ëV≡ï╚ï┌Ç─ëF≥ëV⌠╕Ç$PSQÜ╝
  115. α â─╕ç$P v≡WΦöâ─╕÷╣ùQPΦrâ─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP╕ë$PÜ┌α    â─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP v≡WΦ'â─3└ëF■ëF·ÄΦ9&9Σ~Që~ε╛≡ï°Äµ9&9>µt,╕ù$P v≡ vεΦ≡â─╕ùPVÜZ α    â─RP v≡ vεΦ╒â─â╞ GÄΦ9&9>Σ║ï~ε╕Ö$P v≡WΦ┤â─╗8ÄΩ9ë^µîFΦ+└&ëG&ë9Ft╕÷╣ùQPÜ:┘â─ └'â~uZízLï╚╤α┴╤α╤α0╣ùQPÜ:┘â─ └~9─^µ&ïG& t-╕P& w& 7 v⌠ v≥Ü< α â─
  116. ─^≥&╞GS v≡WΦ%â─╕£$P v≡WΦâ─â~t)Ä∞9&â>^uÄε9&â>`t╕ó$δ6╕º$δ1É╕¼$δ+ÉÄ≡9&÷▓t╕▒$P v≡WΦ╠â─Ä≡9&÷│Çu╕╢$P v≡WΦ▒â─╕╗$P v≡WΦóâ─Ä≥9&â>Σ └≈╪¿t+╕ùÄ└&ÇΣ â~u:&íΣ ╣ùÄ┘#εëFΣ¿t╛δ&É╕ùÄ└δ┘É÷FΣt╛δÉïv■¿t
  117. ╛δ&ï6Σ â■└≈╪¿t╕╛$δ`Éâ~t6≈╞t╕├$P v≡WΦâ─≈╞t╕╚$P v≡WΦ√â─ï╞¿t3╕═$δ"É≈╞t╕╥$δÉ≈╞t╕╫$δ
  118. Éï╞¿t╕▄$P v≡WΦ┬â─Ä≡9&÷│Çtâ~tÄ⌠9&â>zu╕ß$P v≡WΦòâ─╕µ$P v≡WΦåâ─╕ε$P v≡WΦwâ─╕≤$P v≡WΦhâ─Ä÷9&â>j uÄΓ9&─X&ïç╝&ïù╛δ╕⌡$î┌ëFⁿëV■RPÄ°9& 6⌠Ä·9& 6≥╕÷$P╕P╕%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦⁿâ─╕%P v≡WΦφâ─Äⁿ9& 6║& 6╕Ä■9& 6╛& 6╝Ä:& 6╢& 6┤╕#%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦBâ─Ä:& 6╞& 6─Ä:& 6╩& 6╚Ä:& 6┬& 6└╕0%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦ⌡â─╕=%P v≡WΦDâ─Ä:&í&&ï(Ç─0ü╥T|RP╕E%P v⌠ v≥Üαα â─  v⌠ v≥ v≡WΦ â─ v≡WÜ" α â─ï≡Äα9&á£$■P░PÜ╢]    â─╟FΩ╕pPÜ╒    â─ëF÷ëV°ëv∞ë~εïv≥ v∞╕O%P v⌠VÜαα â─
  119.  v⌠VÜ" α â─P v⌠VÜj!α    â─ëF■╕P╣Q╣\%QÜJ]    â─╕P v⌠VÜ" α â─P v⌠VÜJ]    â─╕P v∞ v≡ vεÜJ]    â─╟F·â~∞~;ï~■ïv·Ä^≡ï^εèÿï╪ï╟è─*Σ3╪╤π╕QÄ└ï╟èα*└&3çZï°F;v∞|╓ë~■ïv≥Ü°]     v■╕_%P v⌠VÜαα â─
  120. ╕P v⌠VÜ" α â─P v⌠VÜJ]    â─ïFΩ FΩ=vΘτ╕╨PÜ╒    â─ëFⁿëV■ v° v÷Ü`╒    â─ └tΘ 2└P░PÜ╢]    â─Ä
  121. :&àÜuΘ v■ vⁿÜ`╒    â─ └tΘº■Ü|]    ÷─uܵα     └tΘ▒Ü─α    δ¥3└PÜ(α    â─ï°-*uï╕i%P v⌠VÜ╝
  122. α â─ v⌠VΦ2â─ └uΘi  6`# 6^# v⌠VÜ╠Fα â─ └uΘN  6p# 6n# v⌠ v≥Ü╠Fα â─ └tΘ■╕Θ╩ï~εÄΓ9&─X& ╖Ω& ╖Φ╕e%PïF≡PWï≡Üαα â─ ï╞ï≈ëF■ëvⁿΘàÉ2└P░PÜ╢]    â─ÄΓ9&─X&ïçá&ïùóï°ëV■δ\2└P░PÜ╢]    â─Ä
  123. :&àÜuÄΓ9&─X&ïçÇ&ïùéδ╦ÄΓ9&─X& ╖Ω& ╖Φ╕k%PïF⌠PVï°Üαα â─ ï╟ï■ëF■ v■WÜ┌α    â─3└^_ïσ]├Uï∞ü∞ WV╟Få╟åP ╞å{ ╟å8 o%î₧: ╟å< w%î₧> ╟å@ ~%î₧B ╟åD à%î₧F ╟åH ï%î₧J +└ëåN ëåL ÄΣ9&í╕
  124. &ï║
  125. ëåv ëûx Ç─ï≡ëû~ Ç─ï°ëûp Ç─ëår ëût ╗8ÄΩ9ë₧■îå
  126. ■+└&ëG&ëë╛n Ä┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕æ%PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕╡%PÜ|α    â─╗TÄ :ë₧■îå■&╟╕╨PÜ╒    â─ëF∞ëVε╕pPÜ╒    â─ëF≡ëV≥+└ëF÷ëF⌠èå{ ■å{ <vΘvâ~uZ 6`# 6^#╕└%P ╢~ VÜαα â─ ╕P ╢~ VÜ" α â─P ╢~ VÜJ]    atures are: Arbitrary long integers, fast interpreter only, source
  127.    line debugger, user interface toolkit, persistent objects. It is
  128.    available from the CMU AI repository as 
  129.      
  130. ftp.cs.cmu.edu:user/ai/lang/prolog/impl/prolog/jbprolog/JBprolog2.1.2.sit.hqx
  131.    For more information contact Jan Burse, jburse@clients.switch.ch,
  132.    XLOG, Scheuchzerstr. 67, 8006 Zrich, Switzerland.
  133.  
  134. Prolog/Mali (Lambda-Prolog):
  135.    Prolog/Mali is a compiler for the higher-order language Lambda-Prolog.
  136.    Lambda-Prolog is an extension of Prolog defined by Miller (Miller,
  137.    D.A., and Nadathur, G., "Higher-order logic programming", 3rd
  138.    International Conference on Logic Programming, pages 448-462, London
  139.    1986). It is an extension of Prolog where terms are simply typed
  140.    lambda terms and clauses are higher order hereditary Harrop formulas.
  141.    The main novelties are universal quantification on goals and
  142.    implication.  Prolog/Mali is a complete system which includes a C
  143.    translator, a linker, libraries, runtime, and documentation, and runs
  144.    on UNIX.  It requires the MALI-V06 abstract memory package.
  145.    Prolog/Mali is available by anonymous ftp from ftp.irisa.fr:pm/.
  146.    Written by Pascal Brisset <brisset@irisa.fr> (or <brisset@ecrc.de>)
  147.    and Olivier Ridoux (ridoux@irisa.fr). To be added to the mailing list,
  148.    send mail to prolog-mali-request@irisa.fr. For more information, send
  149.    mail to pm@irisa.fr.
  150.  
  151. LIFE:
  152.    LIFE (Logic, Inheritance, Functions, and Equations) is an experimental
  153.    programming language with a powerful facility for structured type
  154.    inheritance. It reconciles styles from functional programming, logic
  155.    programming, and object-oriented programming. It subsumes the
  156.    functionality of its precursor languages LOGIN and Le_Fun, and may be
  157.    seen as an extension of Prolog. The syntax of Wild_LIFE has been kept
  158.    as close as possible to that of the Edinburgh standard for Prolog.
  159.    LIFE offers natively high-level abstraction facilities and convenient
  160.    data and control structures particularly well-suited for AI
  161.    programming. LIFE implements a constraint logic programming language
  162.    with equality (unification) and entailment (matching) constraints over
  163.    order-sorted feature terms. The interplay of unification and matching
  164.    provides an implicit coroutining facility thanks to an automatic
  165.    suspension mechanism. This allows interleaving interpretation of
  166.    relational and functional expressions which specify structural
  167.    dependencies on objects. The Wild_LIFE interpreter is the first
  168.    implementation of the LIFE language available to the general public.
  169.    It is a product of the Paradise project at Digital Equipment
  170.    Corporation's Paris Research Laboratory (DEC PRL). Wild_LIFE runs on
  171.    DECstations (Ultrix), SparcStations and RS/6000 systems and should 
  172.    be portable to other Unix workstations. It is implemented in C,
  173.    and includes an interface to X Windows. Wild_LIFE is available
  174.    by anonymous ftp from gatekeeper.dec.com:pub/plan as the file
  175.    Life.tar.Z. To be added to the mailing list (life-users@prl.dec.com),
  176.    send mail to life-request@prl.dec.com. Send bug reports to
  177.    life-bugs@prl.dec.com. 
  178.  
  179. Open Prolog: 
  180.    Open Prolog (OP) is a Prolog interpreter for the Apple Macintosh.
  181.  
  182.    It follows the so-called 'Edinburgh' syntax and supports most standard
  183.    Prolog features, including Definite Clause Grammars.
  184.    Extra predicates can be added via drop-in external predicates, similar to
  185.    Hypercard's XCMDs.
  186.  
  187.    OP will work in any Macintosh from a Plus upwards, and is now 
  188.    32-bit clean.
  189.  
  190.    OP's home site is grattan.cs.tcd.ie [134.226.32.15] in 
  191.     languages/open-prolog
  192.    It is also available from other sites, such as:
  193.    sumex-aim.stanford.edu (info-mac)
  194.           mac.archive.umich.edu [141.211.165.41]
  195.           nexus.yorku.ca:/pub/prolog/  [130.63.9.1] 
  196.           aisun1.ai.uga.edu [128.192.12.9]
  197.           /afs/umich.edu/group/itd/archive/mac/development/languages 
  198.  
  199.    For more information, write to Michael Brady, Computer Science
  200.    Department, Trinity College, Dublin 2, IRELAND, send email to
  201.    brady@cs.tcd.ie, call +353 1 7021786, or fax +353 1 6772204 (5 hours
  202.    ahead of East Coast US time).
  203.  
  204. PD Prolog 19: 
  205.    wuarchive.wustl.edu:/mirrors/msdos/prolog/prolog19.arc (IBM PC)
  206.    aisun1.ai.uga.edu (128.192.12.9)
  207.  
  208. Portable Prolog System:
  209.    Portable Prolog System is an interpreter from the University of York.
  210.    Runs on any system having a Pascal compiler. For more information,
  211.    write to University of York, Software Distribution Officer, Department
  212.    of Computer Science, University of York, York, YO1 5DD, UK, call +44
  213.    (904) 59861, or fax +44 (904) 433744.
  214.  
  215. Qu-Prolog 3.2 and Ergo 4.0:
  216.  
  217.    Qu-Prolog is a high-level language designed primarily for rapid
  218.    prototyping of interactive theorem provers and, more generally, for
  219.    symbolic computation on formal languages.  Its object level includes
  220.    quantified terms and object variables.  As an example, the interactive
  221.    theorem prover Ergo 4.0 is implemented in Qu-Prolog.  The compactness
  222.    and high level of Ergo 4.0 source code demonstrate the advantages of
  223.    Qu-Prolog for such applications. Ergo includes a 'window inference'
  224.    method that is specifically designed to support hierarchical
  225.    goal-directed proofs and allow easy access to the context of a
  226.    subterm. Ergo also provides support for defining a variety of logics
  227.    and support for proving schematic theorems and answer extraction.
  228.    Ergo is being used to support the development of verified software.
  229.    The system has been tested only on a Sun4.
  230.    Qu-Prolog and Ergo are available by anonymous ftp from 
  231.       ftp.cs.uq.oz.au:pub/SVRC/
  232.    as software/qp.tar.Z and software/Ergo.tar. The tech report
  233.    techreports/tr93-18.ps.Z describes Qu-Prolog in detail. Send comments
  234.    to Peter Robinson <pjr@cs.uq.oz.au>.
  235.  
  236. SB-Prolog:
  237.    cs.arizona.edu:/sbprolog
  238.    sbcs.sunysb.edu:/pub/sbprolog
  239.  
  240.    Stony Brook Prolog runs on Sun4, Pyramid-98x, DEC3100, SGI Iris,
  241.    Amiga, and MS-DOS machines. Contact warren@sbcs.sunysb.edu for more
  242.    information. Two versions are available: version 2.5 is an
  243.    interpreter for Amigas and version 3.1 is an interpreter and compiler
  244.    for Unix and MSDOS/386.
  245.  
  246.    SB-Hilog runs in SB-Prolog and Quintus Prolog and is available on
  247.       sbcs.sunysb.edu:/pub/hilog/
  248.  
  249.    src.doc.ic.ac.uk [146.169.3.7] contains SBProlog 3.1 executables for
  250.    MS-DOS/386 in /computing/programming/languages/prolog/sbprolog,
  251.    filename sbpmsdos.zip. 
  252.  
  253.    nic.funet.fi contains SBProlog executables for Amiga in
  254.    /pub/amiga/fish/disks100-199/ff140. 
  255.  
  256.    Modular SB-Prolog (= SB-Prolog version 3.1 plus modules) is available
  257.    by anonymous FTP from ftp.dcs.ed.ac.uk (129.215.160.5), as the file
  258.    pub/dts/mod-prolog.tar.Z. Includes interpreter for SPARC. For more
  259.    information, write to Brian Paxton <mprolog@dcs.ed.ac.uk>.
  260.  
  261.    [NOTE: SB-Prolog is superseded by XSB (see below) and hence is
  262.     no longer supported by Stony Brook or the University of Arizona.
  263.     The only reason to continue using SB-Prolog is for DOS, since
  264.     XSB does not run under DOS and there are currently no plans to
  265.     port it to DOS.]
  266.  
  267. SLG:
  268.    The SLG system is a meta interpreter implementation of 
  269.    goal-oriented deductive query processing and non-monotonic 
  270.    reasoning with the following features:
  271.        * goal-oriented query evaluation of normal logic programs 
  272.          under the well-founded semantics by Van Gelder, Ross 
  273.          and Schliph;
  274.        * goal-oriented query evaluation of general logic programs 
  275.          under the alternating fixpoint logic by Van Gelder, with 
  276.          the restriction that the body of a clause has to be either
  277.          an existential conjunction of literals or a universal 
  278.          disjunction of literals.
  279.        * goal-oriented query evaluation under the stable model semantics
  280.          by Gelfond and Lifchitz.
  281.        * integration with Prolog execution, and the use of Prolog syntax 
  282.          for all programs.
  283.    The SLG system is freely available by anonymous ftp from Southern
  284.    Methodist University or SUNY at Stony Brook 
  285.       seas.smu.edu:pub/                 [129.119.3.2]
  286.       sbcs.sunysb.edu:pub/XSB/          [130.245.1.15]
  287.    as the file slg.tar.gz. Comments, requests, and bug reports should 
  288.    be sent to Weidong Chen, <wchen@seas.smu.edu>, Computer Science and 
  289.    Engineering, Southern Methodist University, Dallas, Texas 75275-0122, 
  290.    phone 214-768-3097, or David Scott Warren, <warren@cs.sunysb.edu>, 
  291.    Department of Computer Science, SUNY at Stony Brook, Stony Brook, 
  292.    NY 11794-4400, phone 516-632-8454.
  293.  
  294. SWI Prolog:
  295.    swi.psy.uva.nl:pub/SWI-Prolog/pl-1.6.12.tar.Z [192.42.96.1] (Main source)
  296.    [The patch level (last digit) is regularly updated and diffs between
  297.    patch levels are located in the same directory.]
  298.    mpii02999.ag2.mpi-sb.mpg.de:pub/tools/SWI/ [139.19.20.250] (OS/2)
  299.  
  300.    rs3.hrz.th-darmstadt.de  [130.83.55.75]
  301.    ftp.th-darmstadt.de:pub/programming/languages/prolog [130.83.22.253]
  302.  
  303.    SWI-Prolog includes a fast compiler, a profiler, C interface, a
  304.    module system, libraries, and dynamic loading. 
  305.    Runs on Atari ST, Gould PN, NeXT, HP, IBM Linux, DEC MIPS, IBM
  306.    PS/2 AIX, OS/2, IBM RS/6000, Sun3, Sun4, Sparc, and Vax.
  307.    Written by Jan Wielemaker, SWI, University of Amsterdam,
  308.    Roetersstraat 15, 1018 WB     Amsterdam, The Netherlands,
  309.    <jan@swi.psy.uva.nl>. Ported to OS/2 by Andreas Toenne, 
  310.    <atoenne@mpi-sb.mpg.de>. The mailing list is prolog@swi.psy.uva.nl.
  311.    To be added to the list, send mail to prolog-request@swi.psy.uva.nl.
  312.  
  313. Toy Prolog:
  314.    An interpreter written in Pascal. About 3500 lines of source. Free with
  315.    "Prolog for Programmers" by Kluzniak and Szpakowicz (Academic Press
  316.    1985). Toy Prolog has been ported to the Atari ST by Jens
  317.    Kilian <jensk@hpbeo82.bbn.hp.com>.
  318.  
  319. Tricia:
  320.    Tricia is a free Prolog high-level emulator with interpreter available 
  321.    by email from Uppsala University. Runs on Macintosh, Sun3, Sun4, Apollo
  322.    DN-3500/4500/5500 (OS version 10.*) and HP-730's. For more information,
  323.    write to Uppsala University, Tricia project, Computing Science
  324.    Department, Box 520, S-751 20 UPPSALA, Sweden, fax +46 18 521270, or
  325.    email to tricia-request@csd.uu.se or jonas@csd.uu.se. It is
  326.    available by anonymous ftp from
  327.       ftp.csd.uu.se:pub/Tricia/
  328.    A copy is also available in the directory
  329.       /afs/umich.edu/group/itd/archive/mac/development/languages
  330.    if your site runs the Andrew File System, or by anonymous ftp from
  331.    mac.archive.umich.edu.
  332.  
  333. XSB:
  334.    XSB is a Prolog-based Logic Programming System that extends the
  335.    standard functionality of Prolog with an implementation of OLDT
  336.    (tabling) and HiLog terms. It is a descendent of PSB-Prolog and
  337.    SB-Prolog. OLDT resolution is useful for recursive query computation,
  338.    allowing programs to terminate correctly in many cases where Prolog
  339.    does not. HiLog supports a type of higher-order programming in which
  340.    predicate symbols can be variable or structured.  This allows
  341.    unification to be performed on the predicate symbols themselves in
  342.    addition to the arguments of the predicates. XSB includes an
  343.    optimizing compiler, C interface, a module system, list processing
  344.    libraries, and dynamic loading.  XSB is a descendant of SB-Prolog.
  345.    XSB runs on Sun3, Sun4, 386/486 PCs (Linux and 386 BSD), SGI machines
  346.    (IRIX), HP 300/400 series (HP-UX) and NeXT, and can be compiled using
  347.    either the GNU C compiler or the Sun C compiler. Porting XSB to any
  348.    32-bit machine running Unix should be straightforward.  THIS IS A BETA
  349.    RELEASE. XSB is available by anonymous ftp from
  350.    sbcs.sunysb.edu:pub/XSB/XSB.tar.Z [130.245.1.15]. For further
  351.    information, write to XSB Research Group, Computer Science Department,
  352.    SUNY at Stony Brook, Stony Brook, NY 11794, or send email to
  353.    xsb-contact@cs.sunysb.edu.
  354.  
  355. See also BeBOP and NCL in [2-3].
  356.  
  357. ----------------------------------------------------------------
  358. Subject: [2-2] Commercial Prolog Implementations
  359.  
  360. AAIS Full Control Prolog (version 3.1.3) is an Edinburgh-standard
  361. compiler and interpreter that runs on all Apple 680x0 Macintosh computers
  362. (from Plus through Quadras and Powerbooks). It runs under System 6
  363. and 7 (or A/UX 3.0), requiring 4mb RAM, and is 32-bit clean.  It
  364. is built on an object-oriented kernel, includes many object-oriented 
  365. extensions to the language, functions for constructing graphical user 
  366. interfaces, direct program access to the printer for printing text or 
  367. graphics, and full support for Apple Events. There are also numerous 
  368. example programs, including source code for the AAIS Full Control 
  369. Prolog's own standard development interface, and how to interface with
  370. Oracle databases and FileMaker Pro databses.  AAIS Full Control Prolog 
  371. costs $495. (Until June 30, 1994, it is on sale for $299 a copy; directly 
  372. from AAIS only; with an educational price of $199 a copy, also direct only).
  373. For an additional $199 (and a signed license), you can get a
  374. copy of AAIS Prolog Program Creator, to join the Goedel discussion group.
  375.  
  376. IC-Prolog II:
  377.    src.doc.ic.ac.uk:/computing/programming/languages/prolog/icprolog/.
  378.    The emulator is available at present only in Sun-4 binary form.
  379.    Source code may be released later in the year when project
  380.    finishes. 
  381.  
  382.    Produced by Imperial College, IC-Prolog II is a multi-threaded
  383.    Prolog system.  It includes a Parlog sub-system, an interface to
  384.    TCP primitives and "mailboxes", a high level communication
  385.    system.  These enable distributed applications (such as
  386.    client/server systems) to be written using logic programming.
  387.    The distribution also includes a simple expert system shell and
  388.    the preprocessor for the Prolog language extension L&O from the
  389.    book "Logic & Objects" by Frank McCabe.  (The sources for the
  390.    L&O extension is also available to LPA MacProlog users in the
  391.    subdirectory 'lo'.)
  392.  
  393.    See "I.C. Prolog II : a Multi-threaded Prolog System" by Damian
  394.    Chu and Keith Clark and also "IC Prolog II: a Language for
  395.    Implementing Multi-Agent Systems" by Damian Chu.  Postscript
  396.    copies of these two papers may be found in the subdirectory
  397.    'papers'.
  398.  
  399.    Standalone versions of the Parlog system for Sun-3 and Sun-4
  400.    can also be found in this directory.
  401.  
  402.    Contact Damian Chu <dac@doc.ic.ac.uk> for questions about IC
  403.    Prolog II, and contact Zacharias Bobolakis <zb@doc.ic.ac.uk> for
  404.    information about L&O.
  405.  
  406. JB-Prolog:
  407.    JB-Prolog 2.1.2 is a slim and powerfull prolog for the MacIntosh. Its key
  408.    feersion of Arity Prolog does not
  409. itself run under MS Windows.) For more information, write to Arity
  410. Corporation, Damonmill Square, Concord, MA 01742, call 800-722-7489
  411. (508-371-1243), fax 508-371-1487, or send email to
  412. 73677.2614@compuserve.com or Paul G. Weiss <weiss@lcs.mit.edu>.
  413.  
  414. Prolog by BIM is a prolog compiler for Unix that runs on Sun4, Sparcs 
  415. and RS/6000. It includes Carmen, a user-interface generator for XView
  416. and SunView and interfaces to various databases and windowing
  417. packages. For more information, contact BIM Systems, Inc., 11111
  418. Santa Monica Boulevard, Suite 650, Los Angeles, CA 90025, call
  419. 310-445-1500, fax to 310-445-1515, or email to prolog@bim.com.
  420. Outside North-America write to BIM s.a./n.v., Kwikstraat 4, B-3078
  421. Everberg, Belgium, call +32 2 759 59 25, fax to +32 2 759 92 09 or
  422. email to prolog@sunbim.be (Kathleen Pierco). Earlier version reviewed
  423. in AI Expert, January 1991.
  424.  
  425. CIM-Prolog is a high-level emulator with interpreter for Apollo Domain
  426. and Sun (Unix). Also Standard Prolog for Apollo Domain, IBM PC/AT (DOS),
  427. INMOS transputer, and Sun. A parallel version is also available.
  428. For more information, write to Creative Soft GmbH, Turnstrasse 10, D-8510
  429. Fuerth, Germany, call +49 911 7499214, or fax +49 911 747756.
  430.  
  431. Coder's Prolog 2.0 is a Prolog Interpreter from Austin Code Works. Works
  432. on any system with a C compiler (it is designed for use with C
  433. programs), including IBM PCs (MS-DOS) and Unix workstations. For
  434. more information, write to Austin Code Works, 11100 Leafwood Lane,
  435. Austin, TX 78750-3587, call 512-258-0785, fax 512-258-1342, or send
  436. email to info@acw.com. 
  437.  
  438. Cogent Prolog is an Edinburgh-standard compiler and interpreter.
  439. Compiled and interpreted code may be intermixed in the same program
  440. (for ease of debugging). The full system includes a debugger, definite
  441. clause grammar support, full-screen shell, standard listener, support
  442. for 16-bit and 32-bit protected mode, linker, .exe generator and
  443. royalty-free distributable runtime ($248). Compiler & interpreter
  444. without linker and distributable runtime ($149).  Interpreter alone
  445. ($49).  Also available is an interactive tutorial, the Active Prolog
  446. Tutor ($75) and full source code for expert system shell prototypes
  447. for forward/backward chaining, frames, Rete-network and more ($82).
  448. All are IBM-PC (DOS) based. For more info or tech support, email
  449. amzi@world.std.com, or contact Amzi! Inc., 40 Samuel Prescott Dr., Stow,
  450. MA 01775. Tel: 508-897-7332. Fax: 508-897-2784.
  451.  
  452. Delphia Prolog is an Edinburgh-standard compiler and interpreter that
  453. runs on Sun3, Sun4, Sparc, RS/6000, Apollo, HP9000/300, Unigraph 68xxx,
  454. 386/486 (SCO Unix), DecStation (Ultrix), Sony NEWS (Unix), VAX (VMS,
  455. Ultrix), uVax (Ultrix), VaxStation (Ultrix). Write to Delphia, 27 Avenue
  456. de la Republique, 38170 Seyssinet, France, call 33-76-26-68-94 or fax
  457. 33-76-26-52-27. An earlier version was reviewed in AI Expert, January 1991
  458. and Feburary 1991.
  459.  
  460. ECRC SEPIA. See ECLiPSe. SEPIA is no longer delivered as a
  461. stand-alone system, but as a part of ECLiPSe.
  462.  
  463. EDCAAD C-Prolog is a prolog interpreter for Sun (SunOS), VAX (Ultrix,
  464. VMS), Apollo, and 68000 (Unix). An inexpensive academic license is
  465. available. It is an interpreter-based system, and hence is slower than
  466. WAM-based Prologs. It is implemented in C, and should run on almost
  467. any 32-bit machine with a C compiler. For more information, write to 
  468. EdCAAD, Department of Architecture, Edinburgh University, 20 Chambers St.,
  469. Edinburgh EH1 1JZ, UK, call +44 (31) 650 1000, fax +44 (31) 667 0141,
  470. or send email to chris@caad.ed.ac.uk.
  471.  
  472. ESL Prolog-2 (Commercial Version), is a high-level emulator with
  473. interpreter and compiler for Sun3, Sun4, HP9000 (Unix), RS/6000
  474. (Unix), VAX (VMS), IBM PC (MS-DOS, Windows 3.0/3.1), and 386. It is an
  475. Edinburgh standard prolog with a number of extensions. The windows
  476. version includes BIPs for programming windows graphics and dialogues.
  477. For more information, write to Expert Systems Limited (ESL), Attn:
  478. Nick Henfrey, The Magdalen Centre, Oxford Science Park, Oxford, OX4
  479. 4GA, England, call +44-865-784474, fax +44-856-784475, or email
  480. <sales@expert.demon.co.uk>. 
  481.  
  482. HyperProlog. See Delphia Prolog.
  483.  
  484. IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
  485. the PROLOG language, combined with a powerful programming environment,
  486. especially designed for the IBM RISC System/6000 under AIX. PFA was
  487. developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
  488. System/6000 under AIX. It was selected by IBM Europe as their
  489. official PROLOG implementation for the RISC System/6000 (Program
  490. Number 5776-FAH). For more information: In North-America contact BIM
  491. systems, 11111 Santa Monica Bld, call 310-445-1500, fax to
  492. +310-445-1515; in Europe contact your local IBM representative.
  493. Elsewhere contact BIM, Kwikstraat 4, B-3078 Everberg, Belgium, call
  494. +32 2 759 59 25, or fax +32 2 759 92 09, or email prolog@sunbim.be.
  495.  
  496. IF/Prolog is a Prolog interpreter and compiler with X-window and
  497. OSF/Motif development environment, bidirectional C interface, on-line
  498. hypertext manual, and X-window, OSF/Motif interfaces and various SQL
  499. interfaces (e.g., Ingres, Oracle, and Informix). It includes a
  500. window-based debugger. It runs on Apollo, Aviion 300, Macintosh
  501. (A/UX), microVAX 2000 (Ultrix), Vax (Ultrix, VMS), VaxStation
  502. (Ultrix), DEC Alpha (OSF/1, VMS), HP9000, Sun3, Sun4, Sparc, UTS,
  503. AIX/370, IBM RS/6000, Decstation (Ultrix, OSF/1), Sequent S16, Silicon
  504. Graphics, Sony News (Unix), Motorola, Nixdorf, Interactive Unix, SCO
  505. UNIX, DOS-based 386 PCs, and Windows 3.0/3.1. For more information,
  506. write to American InterFace Computer, Inc., One Westlake Plaza, 1705
  507. Capital of Texas Highway South, Suite 200, Austin, TX 78746, call
  508. 512-327-5344, or fax 512-327-5176, or e-mail ifc@cactus.org. European
  509. Customers may write to InterFace Computer GmbH, Garmischer Strasse 4,
  510. D-8000 Muenchen 2, Germany, call +49 89 5108655, fax +49 89 5108628,
  511. or email vp@IFComputer.de. Reviewed in AI Expert January 1991.
  512. |
  513. [According to a December 7, 1993, announcement by Peter Richter,
  514. IF/Prolog has been purchased by Siemens Nixdorf Informationssysteme AG
  515. (SNI) of Munich, Germany.  SNI will continue to support IF/Prolog
  516. across ALL modern UNIX, VMS and DOS platforms together with its own
  517. SNI Prolog system (see below) and offer services for both systems.
  518. Direct questions to Annette Kolb, phone 49-89-636-46089, fax
  519. 49-89-636-40140, e-mail prolog@mch.sni.de.]
  520.  
  521. IQSOFT MProlog is a high-level emulator with interpreter for Unix,
  522. Macintosh and IBM PC (DOS). Runs on Vax (Unix 4.2 BSD), 68000-based machines
  523. (Unix), Tektronix 4404, HP3000, and Siemens 1. For more information,
  524. write to IQSOFT, SZKI Intelligent Software Ltd., Iskola u. 10.,
  525. Budapest, H-1011, Hungary, call +36 1 201 6764, fax +36 1 201 7125, or
  526. send email to szeredi@iqsoft.hu.
  527.  
  528. LPA Prolog is a prolog compiler for IBM PCs (DOS, Windows, 386) and Apple
  529. Macintosh. LPA Prolog ++ is an object-oriented programming system
  530. based on Prolog. Write to Logic Programming Associates, Ltd., Studio
  531. 4 Royal Victoria Patriotic Building, Trinity Road, London SW18 3SX,
  532. England, call +44 081-871-2016, fax +44 081-874-0449, or email
  533. lpa@cix.compulink.co.uk, UK0049@applelink.apple.com (Clive Spenser), 
  534. or 100135.134@compuserve.com. In the US call 800-949-7567.
  535. LPA products are distributed in North America by Quintus under the
  536. Quintus name.
  537.  
  538. Maxon Prolog is available for the Atari ST from the German magazine
  539. 'ST-Computer' for 298 DM. Tel: 010 49 61 96 481811.
  540.  
  541. MU-Prolog, NU-Prolog are prolog interpreters from the University of 
  542. Melbourne. Source licences are available for educational institutions.
  543. Implemented in C for BSD Unix. Currently running on Sun3, Sun4, Vax, 
  544. Elxsi, Encore, and SGI. For more information, write to University of 
  545. Melbourne, MU-Prolog Distribution, Department of Computer Science, 
  546. Parkville, Victoria 3052, Australia, call +61 3 344 7270, or send email to
  547. lee@cs.mu.oz.au or jws@cs.mu.oz.au.
  548.  
  549. OU Prolog is a prolog interpreter from Open University for IBM PC
  550. (MS-DOS). Includes video, books. Ask for item PD622 and quote
  551. reference SA69. For more information, write to Open University,
  552. Learning Materials Sales Office, PO Box 188, Milton Keynes MK7 6DH, UK.
  553.  
  554. PDC Prolog runs on IBM PCs (DOS, OS/2, Windows and SCO Unix). Formerly
  555. known as Turbo Prolog from Borland. Includes a native code compiler
  556. but is incompatible with most other prologs. Its variables are
  557. strongly typed, unlike most other prologs. For more information, write
  558. Prolog Development Center, 568 14th Street, Atlanta, GA 30318, call
  559. 800-762-2710, (404-873-1366), fax 404-872-5243 or email
  560. pdc-request@pdc.dk (general information), sales@pdc.dk (sales),
  561. support@pdc.dk (tech support). A BBS is run at 404-872-5358. European
  562. customers may write to Prolog Development Center, A/S, H.J. Holst Vej
  563. 5A, DK-2605 Broendby, Denmark, call +45 36 72 10 22, or fax +45 36 72
  564. 02 69. Reviewed in AI Expert January 1991. Other email addresses
  565. include 753CD.165@compuserve.com. To subscribe to the
  566. PDC-L@nic.surfnet.nl mailing list, a discussion list for PDC Prolog
  567. users, send mail to LISTSERV@nic.surfnet.nl with
  568.     SUBSCRIBE PDC-L <your full name>
  569. in the message body.
  570.  
  571. POPLOG is a high-level prolog emulator with interpreter for Unix. The POPLOG
  572. environment integrates four AI programming languages in one
  573. environment: Lisp, Prolog, ML and POP11. POPLOG can also load in C and
  574. Fortran binaries. Runs on VAX (Ultrix, VMS), VAXStation (Ultrix),
  575. DECStation (Ultrix), Sun 3,4, Sparc, Solbourne, HP Apollo 9000/400,
  576. Sparc (HP-UX), MIPS (RISCOS), Sequent Symmetry (Dynix), Apple
  577. Macintosh (AUX), SONY News (News-OS), and Silicon Graphics Iris
  578. (Irix). The academic version from Sussex University. For more
  579. information, write to POPLOG, Sussex University, Poplog Manager,
  580. School of Cognitive Sciences, Falmer, Brighton BN1 9QN, UK, call +44
  581. 273 608367, fax +44 273 678188, or send email to popsales@cogs.sussex.ac.uk
  582. or popmanager@cogs.sussex.ac.uk. The commercial version is available
  583. from Integral Solutions Ltd as Integral Poplog and Pop++. For more
  584. information, write to Integral Solutions Ltd, Unit 3, 23 Campbell
  585. Court, Bramley, Basingstoke Hampshire RG26 5EG, UK, call +44 256 88 20
  586. 28, fax +44 256 88 21 82, or send email to isl@integ.uucp or
  587. isl@integ.co.uk. The North American retailer is Computable
  588. Functions Inc. For more informatin, write to Computable Functions Inc.,
  589. 35 S. Orchard Drive, Amherst, MA 01002, call 413-545-3140, or fax
  590. 413-545-3140. Contact Robin Popplestone, pop@cs.umass.edu, for info
  591. on a new book on Pop-11. There's a users mailing list, and a newsgroup
  592. as well (comp.lang.pop).
  593.  
  594. Prolog III integrates constraint programming with Prolog. It runs on
  595. Apple Macintosh, IBM PC (386, MS-DOS), Next, Sun3, Sun4, Sparc, HP9000,
  596. Apollo, RS/6000, Bull DPX, Masscomp (Unix), Vax (Ultrix, VMS),
  597. DecStation and MicroVAX. For more information, write to PrologIA,
  598. Parc Technologique de Luminy, Case 919, 13288 Marseilles cedex 09, France,
  599. call 33-91-26-86-36, fax 33-91-41-96-37, or send email to
  600. prolia@dcftlx.das.net or prolia@tlxf.geomail.org. The US point of contact
  601. for Prolog III by PrologIA is BIM Systems, Inc. 
  602.  
  603. Prolog-86 is available from Solution Systems Inc. For more
  604. information, write to Solution Systems Inc., 335-D Washington Street,
  605. Norwell, MA 02061, call 617-337-6963, or fax 617-431-8419.
  606.  
  607. PTC (Prolog To C) is a portable Prolog compiler based around an
  608. optimized Prolog to ANSI C compiler.  It runs on Sun, SGI, IBM (Unix),
  609. and HP.  PTC includes an integrated compiler/interpreter,
  610. project-file-based compilation, a Motif user interface, editor,
  611. debugger, online help, and support for C modules. It costs $1,495 for
  612. the development environment and $795 for each additional runtime
  613. library. The standalone environment is $495. For more information,
  614. write to Paralogic Inc., 115 Research Drive, Bethlehem, PA 18015,
  615. call 215-861-6960, fax 215-861-8247 or send email to
  616. plogic@lehi3b15.csee.Lehigh.edu.
  617.  
  618. Quintec Prolog is a high-level emulator with interpreter for IBM PC
  619. (MS-DOS), and Unix workstations such as Vax, VAXstation (Ultrix, VMS),
  620. Decstation (Ultrix), and Sparc (SunOS4.0). For more information,
  621. write to Quintec Prolog, Quintec Systems Ltd., Midland House, West Way, 
  622. Botley, Oxford OS2 0PL, UK, call +44 865 791565, or fax +44 865 791595.
  623.  
  624. Quintus Prolog is a low level emulator that runs on Unix (Sparc, sun2,
  625. sun3, sun4, 386i, VAX (Ultrix, VMS), uVAX (Ultrix), HP9000, Apollo,
  626. DecStation, IBM RT, Sequent S/27, S/81, IBM PS/2 (AIX), Intel 80386
  627. (Unix V.3), Intergraph, Solbourne, RS/6000, and MIPS), IBM PC (DOS,
  628. Windows), and Macintosh. Includes a cross-referencing facility. For
  629. more information, contact Quintus Corporation, 2100 Geng Road, Palo
  630. Alto, CA 94303, call 1-800-542-1283 (415-813-3800), fax 415-494-7608,
  631. or email sales@quintus.com (sales), teksup@quintus.com (tech support).
  632. To be added to the users group mailing list, send mail to
  633. quintus-users-request@quintus.com. Version 3.0 reviewed in AI Expert
  634. January 1991 and February 1991 and IEEE Expert April 1991. LPA
  635. products are distributed in North America by Quintus under the Quintus name.
  636.  
  637. SICStus Prolog is a Unix prolog by SICS. It is portable to most UNIX
  638. machines (Berkeley UNIX is preferred over System V). SICS Aurora and
  639. Echo is a parallel emulator for Sequent Balance, Sequent Symmetry,
  640. Encore Multimax, and BBN Butterfly (Unix). For more information, write
  641. to SICS, Swedish Institute of Computer Science, P.O. Box 1263, S-164
  642. 28 KISTA, Sweden, call +46 8 752 15 02, fax +46 8 751 72 30, or send
  643. email to sicstus-request@sics.se or sicstus@sics.se. Bug reports
  644. and tech support questions should be sent to sicstus-bug@sics.se.
  645. To subscribe to the users group and implementors mailing list, send
  646. email to sicstus-users-request@sics.se.  
  647.  
  648. SNI Prolog Version 3 is an implementation of the Prolog language that
  649. is compatible with the ISO Standard draft. It is available from
  650. Siemens Nixdorf for Unix workstations for about DM 11100 in Germany.
  651. SNI Prolog runs on the SGI, SNI and Sun platforms, and ports to other
  652. systems, including MS-DOS, are in progress. Includes coroutines,
  653. finite domains, numerical and boolean constraints, garbage collection,
  654. incremental compilation, dynamic linking, hypertext style on-line
  655. help, a window environment with an integrated editor, interfaces to
  656. INFORMIX, Motif/XWindows and C. The constraint programming features of
  657. SNI Prolog provide support for solving problems from operations
  658. research such as dynamic resource allocation and flexible scheduling
  659. with numerical constraints or the verification of complex systems with
  660. Boolean constraints. For more information, write to Siemens Nixdorf
  661. Informationssysteme AG, Otto-Hahn-Ring 6, D-8000 Munich 83, Germany,
  662. Attn: Hans-Juergen Stenger, Systems Planning, call +49 89 636 44049,
  663. fax +49 89 636 41208, or send email to stenger@sd235-hera.zfe.siemens.de.
  664.  
  665. SPIES YAP is a high-level emulator with interpreter for the Apple
  666. Macintosh, Amiga (Atari ST), and Unix workstations including Sun3,
  667. Sun4, VAXstation, SGI, and HP9000. For more information, write to
  668. SPIES, Sociedade Portuguesa de, Importacao e Exportacao de Software,
  669. Lda Av da Republica, 46 - 2, 1000 Lisboa, Portugal, call +351 1
  670. 795075, or fax +351 1 775891.
  671.  
  672. Turbo Prolog. See PDC Prolog.
  673.  
  674. XPRO 5.0 is a Prolog development environment for OS/2. It includes
  675. a 32-bit Prolog interpreter/compiler and a rule compiler than compiles
  676. natural language-style rules into Prolog code. Includes a C/C++
  677. interface. Costs $299 (no runtime or license fees). For more
  678. information, contact: Rational Vision, 7111 West Indian School Road,
  679. Suite 131, Phoenix, AZ 85033, or phone 602-846-0371.
  680.  
  681.  
  682. See also CHIP V4 from COSYTEC in [2-6].
  683.  
  684. ----------------------------------------------------------------
  685. Subject: [2-3] Free Parallel Prolog Implementations
  686.  
  687. This section contains free parallel Prolog and logic programming
  688. implementations. 
  689.  
  690. BeBOP:
  691.    The BeBOP language combines sequential and parallel Logic Programming
  692.    (LP), object oriented programming and meta-level programming. The LP
  693.    component offers both don't know non-determinism and stream AND
  694.    parallelism, a combination not possible with concurrent LP languages.
  695.    BeBOP's object oriented features include object IDs, encapsulation,
  696.    message passing, state updating, and object behaviour modification.
  697.    The meta-level capabilities are based on the treatment of Prolog
  698.    theories as first order entities, which enables them to be updated
  699.    easily and lets fragments to be passed between objects in messages.
  700.    BeBOP is implemented by translation down to NU-Prolog, and its
  701.    parallel extension, PNU-Prolog.  The BeBOP system (BeBOP and bp) and
  702.    the PNU-Prolog preprocessor pnp can be obtained by anonymous ftp from
  703.    munnari.oz.au:pub/bebop.tar.Z [128.250.1.21].  The release comes with
  704.    a user manual, several papers (in Postscript format), sample programs,
  705.    and source code.  The BeBOP system requires the NU-Prolog system,
  706.    compiler and interpreter, the pnp preprocessor (which is included as
  707.    part of the BeBOP system release), GCC or a similar compiler, Yacc (or
  708.    Bison) and Lex. For more information, contact Andrew Davison,
  709.    <ad@cs.mu.oz.au>, Dept. of Computer Science, University of Melbourne,
  710.    Parkville, Victoria 3052, Australia, call +61 3-287-9172/9101, or fax
  711.    +61 3-348-1184.
  712.  
  713. Multi-BinProlog:
  714.    Multi-BinProlog 2.00 is a prototype Linda-style parallel extension to
  715.    BinProlog 1.71 developed by Koen De Bosschere and Paul Tarau. It uses
  716.    Koen's C-parser and C-writer which together speed-up IO considerably.
  717.    It works with shared-memory and remote procedure calls and is
  718.    available from clement.info.umoncton.ca:MultiBinProlog/
  719.    See BinProlog in [2-1] for more information.
  720.  
  721. NCL:
  722.    NCL (Net-Clause Language) is aimed at describing distributed
  723.    computation models using term unification as a basic processing and
  724.    control mechanism. It is embedded in standard Prolog and comprises two
  725.    parts -- net-clauses and data-driven rules, which can communicate each
  726.    to other and to standard Prolog programs.  A net-clause is a special
  727.    domain in the database defining a network of nodes and links. The
  728.    nodes are represented by Prolog compound terms. The variables
  729.    occurring within the nodes are global logical variables, which can be
  730.    shared within the scope of the net-clause thus playing the role of
  731.    network links.  Two control mechanisms are implemented: a spreading
  732.    activation scheme similar to the connectionist spreading activation
  733.    and to the marker passing mechanism in SN (in logic programming it is
  734.    seen as a restricted forward chaining) and a default mechanism based
  735.    on using variables to propagate terms without being bound to them,
  736.    thus implementing the non-monotonicity of default reasoning.  The
  737.    Data-driven Rules implement a full scale forward chaining for Horn
  738.    clauses.  They simulate a data-driven parallel computation, where each
  739.    rule is a process (in contrast to the traditional parallel logic
  740.    programming where each goal is a process). The NCL/Prolog interpreter
  741.    along with a reference manual and a set of examples is available by
  742.    anonymous ftp at ai.uga.edu:ai.misc/ncl.tar.Z. For more information
  743.    contact Zdravko Markov, Institute of Informatics, Bulgarian Academy of
  744.    Sciences Acad.G.Bonchev Street, Block 29A, 1113 Sofia, Bulgaria,
  745.    <markov@iinf.bg>.
  746.  
  747. PCN:
  748.    PCN (Program Composition Notation) is not a logic programming
  749.    language, but it has similarities to Strand and other concurrent logic
  750.    programming languages. PCN is a parallel programming system that
  751.    provides a simple language for specifying concurrent algorithms,
  752.    interfaces to Fortran and C, a portable toolkit that allows
  753.    applications to be developed on a workstation or small parallel
  754.    computer and run unchanged on supercomputers, and integrated debugging
  755.    and performance analysis tools. PCN includes a runtime system,
  756.    compiler, linker, a set of standard libraries, virtual topology tools,
  757.    a symbolic debugger (PDB), an execution profiler (Gauge), and a trace
  758.    analysis tool (Upshot). PCN was developed at Argonne National
  759.    Laboratory and the California Institute of Technology.  PCN runs on
  760.    Sun4, NeXT, IBM RS/6000, SGI Iris, Intel iPSC/860, Intel Touchstone
  761.    DELTA, Sequent Symmetry running Dynix (not PTX), and should be easy to
  762.    port to other architectures. PCN is in the public domain and can be
  763.    obtained by anonymous ftp from
  764.       info.mcs.anl.gov:/pub/pcn/pcn_v2.0.tar.Z 
  765.    The distribution includes a user's guide containing a tutorial and
  766.    reference material. For further information on PCN, please send email to
  767.    <pcn@mcs.anl.gov> or contact Ian Foster <foster@mcs.anl.gov>
  768.    708-252-4619 or Steve Tuecke <tuecke@mcs.anl.gov> 708-252-8711.
  769.  
  770. PDSS KL1:
  771.    PDSS KL1 is an implementation of FGHC, a concurrent logic programming
  772.    language developed at ICOT in Japan. Runs on Suns, HPs, DECs, and the
  773.    Sequent Symmetry. Available free by anonymous ftp from ftp.icot.or.jp.
  774.    A representative paper on the language is Kazunori Ueda and Takashi
  775.    Chikayama, "Design of the Kernel Language for the Parallel Inference
  776.    Machine", The Computer Journal, December, 1990. For more information,
  777.    send email to ifs@icot.or.jp or write to ICOT Free Software Desk,
  778.    Institute for New Generation Computer Technology, 21st Floor, Mita
  779.    Kokusai Bldg., 4-28, Mita 1-chome, Minato-ku, Tokyo 108, Japan, fax
  780.    +81-3-3456-1618.
  781.  
  782. ROLOG: 
  783.    ROLOG is a parallel PROLOG compiler with a reduce-OR process model.
  784.    It is available by anonymous ftp from cs.uiuc.edu:/pub/ROLOG/.
  785.  
  786. See also IC-Prolog II (a multi-threaded Prolog) in [2-1].
  787.  
  788. ----------------------------------------------------------------
  789. Subject: [2-4] Commercial Parallel Prolog Implementations
  790.  
  791. This section contains commercial parallel Prolog and logic programming
  792. implementations. 
  793.  
  794. Densitron CS Prolog is a parallel prolog compiler and interpreter for
  795. IBM PCs (MS-DOS or OS/2), T414/T800 transputer (mono or multi), 386
  796. (Unix V), uVAX (VMS), or VAX(VMS). Also standard Prolog for MS-DOS,
  797. UNIX and VAX. For more information, write to Densitron, Unit 4,
  798. Aiport Trading Estate, Biggin Hill, Kent, TN16 3BW, UK, call +44 959
  799. 76331, or fax +44 959 71017.
  800.  
  801. Paralogic is a parallel implementation of the Clocksin and Mellish
  802. Prolog. It runs on DOS-based PCs or Apple Macintoshes with the INMOS
  803. Transputers. For more information, write to Paralogic Inc., 115
  804. Research Drive, Bethlehem, PA 18015, call 215-861-6960, fax
  805. 215-861-8247 or email plogic@lehi3b15.csee.Lehigh.edu. It is also
  806. distributed by Computer Systems Architects, 905 N. University Avenue,
  807. Provo, UT 84604-3422, 800-753-4272 (801-374-2300), or fax 801-374-2306 
  808. as n-parallel Prolog.
  809.  
  810. PARLOG is a parallel emulator from Imperial College for the Sequent
  811. Balance, Sequent Symmetry, Encore Multimax, Alliant FX (Unix), Sun
  812. (Unix, 1 processor). For more information, write to Imperial College,
  813. Department of Computing, Parlog Distribution Secretary, 180 Queen's
  814. Gate, London SW7 2BZ, UK, call +44 71 589 5111 x7537, fax +44 71 589
  815. 8024, or send email to parlog@doc.ic.ac.uk. The single processor
  816. versions of PARLOG for the Sun-3 and Sun-4 are now available free of
  817. charge.  Please refer to the entry regarding IC-Prolog II in this
  818. Resource Guide. Parallel Logic Programming produces PC-PARLOG and
  819. MacPARLOG for the IBM PC and Macintosh computers.  For more
  820. information contact Parallel Logic Programming Ltd., PO Box 49,
  821. Twickenham, Middlesex TW2 5PH, UK or call +44 454 201 652.
  822.  
  823. Strand-88 is a parallel emulator for Sun3, Sun4, Sparc BBN Butterfly,
  824. GPT2000, Cogent Multimax, Intel iPSC/2, iPSC/860, MIPS RiscStation,
  825. Sequent Symmetry Balance (Unix System V or Mach, Helios) and
  826. communication component from CSTools, Express in some cases. Also
  827. Transputer systems PC hosted systems from Paracom, Telmat and others,
  828. Unix hosted systems from Meiko, Paracom, Telmat and others, Apple
  829. Macintosh, Atari ATW, and NeXT. Price dependent on configuration and
  830. scale of target machine. For more information, write to Strand
  831. Software Technologies Ltd., Ver House, London Rd, Markyate, Herts AL3
  832. 8JP, UK, call +44 582 842424, fax +44 582 840282, or send email to
  833. strand88@sstl.uucp.
  834.  
  835. SICS Aurora and Echo. See SICStus Prolog above.
  836.  
  837. ----------------------------------------------------------------
  838. Subject: [2-5] Free Constraint Systems
  839.  
  840. This section contains constraint systems, constraint logic programming
  841. systems, concurrent constraint languages, and other constraint
  842. processing systems.
  843.  
  844. cu-Prolog:
  845.    cu-Prolog is an experimental constraint logic programming language
  846.    available free from Japan's Institute for New Generation Computer
  847.    Technology (ICOT). Unlike most conventional CLP systems, cu-Prolog
  848.    allows user-defined predicates as constraints and is suitable for
  849.    implementing a natural language processing system based on the
  850.    unification-based grammar. For example, the cu-Prolog developers
  851.    implemented a JPSG (Japanese Phrase Structure Grammar) parser in
  852.    cu-Prolog with the JPSG Working Group (the chairman is Prof. GUNJI,
  853.    Takao of Osaka University) at ICOT. cu-Prolog is a complete
  854.    implementation of Constraint Unification (cu), hence the name.
  855.    cu-Prolog is implemented in C for BSD UNIX 4.2/3. Professor Sirai of
  856.    Chukyo-University has also implemented cu-Prolog for the Apple
  857.    Macintosh and DJ's GPP (80386/486 MS-DOS machine with the DOS
  858.    extender). cu-Prolog is available free by anonymous ftp from
  859.    ftp.icot.or.jp. For further information, send email to ifs@icot.or.jp,
  860.    or write to ICOT Free Software Desk, Institute for New Generation
  861.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  862.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-3456-1618.
  863.  
  864. CLP(R):
  865.    CLP(R) is a constraint logic programming language with real-arithmetic
  866.    constraints.  The implementation contains a built-in constraint solver
  867.    which deals with linear arithmetic and contains a mechanism for delaying
  868.    nonlinear constraints until they become linear.  Since CLP(R) subsumes
  869.    PROLOG, the system is also usable as a general-purpose logic programming
  870.    language. It includes facilities for meta-programming with constraints.
  871.    The system consists of a compiler, byte-code emulator, and constraint
  872.    solver. CLP(R) is written entirely in C and runs on Suns, Vaxen,
  873.    MIPS-based machines (Decstations, Silicon Graphics), IBM RS6000s and
  874.    PS2s. Includes MS-DOS support. It is available free from IBM for 
  875.    academic and research purposes only. To get a copy, write
  876.    to Joxan Jaffar, H1-D48, IBM Thomas J. Watson Research Center,
  877.    P.O. Box 704, Yorktown Heights, NY 10598, or send email to
  878.    joxan@watson.ibm.com or joxan@yktvmh.bitnet. Current version 1.2.
  879.    For more information, write to Joxan or Roland Yap
  880.    <roland@bruce.cs.monash.edu.au>.
  881.  
  882. See also ECLiPSe, Beta-Prolog, and LIFE in [2-1] and ALE in [1-2].
  883.  
  884. ----------------------------------------------------------------
  885. Subject: [2-6] Commercial Constraint Systems
  886.  
  887. This section contains constraint systems, constraint logic programming
  888. systems, concurrent constraint languages, and other constraint
  889. processing systems.
  890.  
  891. CHIP V4 (Constraint Handling In Prolog) is designed as an extension to
  892. Prolog offering three constraint solving domains: Integers, Rationals
  893. and Booleans. The system was originally developed at ECRC in Munich
  894. and now extended by the same team at COSYTEC in Paris. CHIP V4
  895. includes extensions to the three domains: symbolic constraints, update
  896. demons and cumulative constraints. The system is available with
  897. optional interfaces for X11 and DOS graphics (XGIP), Oracle or Ingres
  898. database connection (QUIC), C language interface (CLIC) and embedded
  899. application interface (EMC). CHIP V4 is written completely in C, and
  900. is available on a range of workstations including SunSparc (SunOS
  901. 4.1), IBM RS6000 (AIX 3.2), HP 9000/700 series (HPUX 9.0) and
  902. Decstation 3000 & 5000 (Ultrix 4.2) and PC386/486 (Dos 5.0).
  903. Development and Runtime licences can be purchased for single-user,
  904. multi-user or site licences together with support and maintenance. An
  905. academic discount is offered for educational and research purposes.
  906. For more information contact COSYTEC, Parc Club Orsay Universite 4 rue
  907. Jean Rostand, 91893 Orsay Cedex, France, phone +33-1-60-19-37-38, fax
  908. +33-1-60-19-36-20 or email <cosytec@cosytec.fr>.  COSYTEC is a founder
  909. member of the PVG (Prolog Vendors Group).
  910.  
  911. CLP(R) is a constraint system from Monash University for VAX, Sun, and
  912. Pyramid (Unix). Costs $150. For more information, write to Monash
  913. University, CLP(R) Distribution, Department of Computer Science,
  914. Clayton, Victoria 3168, Australia, or send email to
  915. clp@moncsbruce.oz.au.
  916.  
  917. ILOG SOLVER (formerly called PECOS) is a C++ library that implements a 
  918. CLP (Constraint Logic Programming) instance known as finite domains.
  919. It is available on most Unix platforms, including Sun, HP, IBM
  920. RS-6000, DEC, and SGI, and on Windows 3.1 for both Microsoft Visual
  921. C++ and Borland C++. This library includes:
  922.   - Prolog control structures:  non determinism, choice points,
  923.     backtracking and cut. Modification of user-defined objects can be
  924.     trailed so that their state is restored when a failure occurs.
  925.   - Finite domain logical variables, and associated constraints.
  926.   - Finite set logical variables and associated constraints.
  927.   - Interval floating point variables, and associated
  928.     constraints, analogous to what is found in BNR Prolog.
  929.   - Predefined search and optimization algorithms. 
  930. ILOG SOLVER does not use unification for passing arguments.  This
  931. enables a smooth integration with C++. For further information: In the
  932. USA and Canada, contact ILOG, Inc., 2073 Landings Drive, Mountain
  933. View, CA 94303, phone (415) 390-9000, fax (415) 390-0946, e-mail
  934. info@ilog.com.  Outside the USA and Canada: contact ILOG SA, 12 avenue
  935. Raspail, 94251 Gentilly Cedex, France, tel (+33 1) 4740-8000, 
  936. fax (+33 1) 4740-0444, e-mail info@ilog.fr.
  937.  
  938. VS Trilogy is a Prolog compiler available from Vertical Software for
  939. $395. For more information, write to Vertical Software Ltd., 14-636
  940. Clyde Ave, W. Vancouver, BC, V7T 1E1, Canada, call 604-925-0321, or fax
  941. 604-688-8479.
  942.  
  943. See also Prolog III and SNI Prolog in [2-2].
  944.  
  945. ----------------------------------------------------------------
  946. Subject: [2-7] Free Logic Programming Systems
  947.  
  948. ALF:
  949.    ALF (Algebraic Logic Functional programming language) is a
  950.    language which combines functional and logic programming techniques.
  951.    The foundation of ALF is Horn clause logic with equality which
  952.    consists of predicates and Horn clauses for logic programming, and
  953.    functions and equations for functional programming.  The abstract
  954.    machine is based on the Warren Abstract Machine (WAM) with several
  955.    extensions to implement narrowing and rewriting.     In the current
  956.    implementation programs of this abstract machine are executed by an
  957.    emulator written in C. It is available by anonymous ftp from
  958.    ftp.germany.eu.net (aka simpson.germany.eu.net) in the directory
  959.    /pub/programming/languages/LogicFunctional as the files alf_*.zoo
  960.    (Documentation, C sources for the emulator, the preprocessor and the
  961.    compiler). For further information, contact Rudolf Opalla
  962.    <opalla@julien.informatik.uni-dortmund.de>.
  963.  
  964. CORAL:
  965.    CORAL is a deductive database/logic programming system developed at
  966.    the University of Wisconsin-Madison. It is a declarative language
  967.    based on Horn-clause rules with extensions like SQL's group-by and
  968.    aggregation operators, and uses a Prolog-like syntax.
  969.  
  970.    CORAL is available via anonymous ftp from ftp.cs.wisc.edu:coral/.  The
  971.    distribution includes sourceUï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  972. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  973. α â─ ÷|ìF▒Pìå■■PÜh
  974. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  975. α â─ ÷|ìF▒Pìå■■PÜh
  976. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  977. α â─ÄN6& 6 & 6ìå" PÜ╝
  978. α â─╕vPìår PÜh
  979. α â─╕éPìå" PÜh
  980. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  981. α â─ÄP6& 6(& 6&ìå" PÜh
  982. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår penn.edu> so that he can make your binary
  983.    available.
  984.  
  985. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3].
  986.  
  987. ----------------------------------------------------------------
  988. Subject: [2-8] Commercial Logic Programming Systems
  989.  
  990. None so far. This is to be expected, as most logic programming systems
  991. are experimental.
  992.  
  993. ----------------------------------------------------------------
  994. ;;; *EOF*
  995.