home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / prolog / 2033 < prev    next >
Encoding:
Text File  |  1992-11-05  |  1.6 KB  |  38 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!news.univie.ac.at!chx400!ira.uka.de!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!moser
  3. From: moser@Informatik.TU-Muenchen.DE (Max Moser)
  4. Subject: Unification with Occur-Check in Quintus-Prolog
  5. Originator: moser@sunjessen6.informatik.tu-muenchen.de
  6. Sender: news@Informatik.TU-Muenchen.DE (USENET Newssystem)
  7. Organization: Technische Universitaet Muenchen, Germany
  8. Date: Thu, 5 Nov 1992 11:32:03 GMT
  9. Message-ID: <1992Nov5.113203.8603@Informatik.TU-Muenchen.DE>
  10. Lines: 26
  11.  
  12.  
  13. Hi there,
  14. I've got a small problem. For an efficient prototype of a kind of
  15. theorem prover I need correct unification, i.e. unification WITH occur-check.
  16. In Quintus-Prolog there are a lot of libraries including one with a
  17. correct unification. Unfortunately it is written in Prolog and therefore
  18. as slow as the rest of my program.
  19.  
  20. So my question is: can anybody out there tell me about a correct unification
  21. procedure written in C which can be linked with a Quintus-Prolog program?
  22. How can I get it?
  23. Or do you know whether it is possible at all and how to do it?
  24.  
  25. Thanks a lot for any response,
  26.     Max.
  27. -- 
  28.  
  29. _______________________________________________________________________________
  30.  Max Moser                      Forschungsgruppe KI - Intellektik
  31.  Institut f"ur Informatik         Lehrstuhl f"ur Rechnerarchitektur
  32.  Technische Universit"at M"unchen
  33.  Postfach 20 24 20                    Tel.: +49-89/521096
  34.  Arcisstr. 21                    Fax.: +49-89/526502
  35.  D-8000 M"unchen 2                  Email: moser@informatik.tu-muenchen.de
  36. _______________________________________________________________________________
  37.  
  38.