home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2341 < prev    next >
Encoding:
Internet Message Format  |  1993-01-08  |  1.5 KB

  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!caen!batcomputer!ghost.dsi.unimi.it!37.1!le9miiwa
  2. From: le9miiwa@cine88.cineca.it
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: prolog for 3b2/1000
  5. Message-ID: <1993Jan8.183521.627@cine88.cineca.it>
  6. Date: 8 Jan 93 18:35:21 +0100
  7. References: <1993Jan6.94640.11442@ms.uky.edu>
  8. Summary: C-Prolog on 3b2's at Olivetti
  9. Reply-To: lazarus@dmm06.dmm01.crsmi9.cine88.cineca.it
  10. Keywords: C-Prolog, 3b2, Olivetti
  11. Organization: CINECA, Italian Interuniversity comp. centre
  12. Lines: 42
  13.  
  14. In article <1993Jan6.94640.11442@ms.uky.edu>, levan@ms.uky.edu (Jerry LeVan) writes:
  15.  
  16. > I have heard that CProlog may run on the 3b2's.
  17. > Any pointers/aid would be greatly appreciated.
  18.  
  19. Once upon a time there was a version of C-Prolog
  20. running on 3b2 at Olivetti - it was more or less
  21. free for universities.
  22.  
  23. Then they (well, we) moved from 3b2 to Olivetti LSX -
  24. and from C-Prolog to Quintus Prolog - and I moved
  25. away from Olivetti.
  26.  
  27. So I do not know whether you will be able to find
  28. what you need.
  29.  
  30. Anyway you could try and contact:
  31.  
  32. Enrico Botto
  33. OLIVETTI Systems & Networks
  34. viale Cristoforo Colombo, 49
  35. Trezzano s/N  MI  ITALY
  36. tel.: +39 2 44570234
  37. e-mail: enrico@trzmac.ico.olivetti.it
  38.  
  39.  
  40. Buona fortuna, ciao
  41.     marco
  42.  
  43. =====================================================
  44. Marco Lazzari
  45. ISMES - Divisione Modelli Matematici
  46. viale Giulio Cesare, 29
  47. I-24123  Bergamo  ITALY
  48. tel.: +39 35 307330/1
  49. e-mail lazarus@dmm06.dmm01.crsmi9.cine88.cineca.it
  50.        le9miiwa@cine88.cineca.it
  51. =====================================================
  52.  
  53.