Where can I get a Type Inference system for prolog?

Article View: comp.lang.prolog

Article #161

#161

From: Rolando Carrera-Sanchez
Date: Wed, 08 Apr 1992 17:22

20 lines
1347 bytes

I'm interested in using a type inference system for prolog. 

Does anybody knows where could I get one or
Is there someone that has one of such systems and 
could let me have a copy?

If you have any  relevant information, please email me, to my
e-mail address rolando@aisb.ed.ac.uk

I will appreciate very much any help. If there's sufficient interest
I will summarize the results.


-- 
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>+<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
*   Rolando S Carrera, (room E17)  | e-mail: rolando@aisb.ed.ac.uk          *
*   DAI, Edinburgh University,     |                                        *
*   80 South Bridge,               |                                        *
*   Edinburgh EH1 1HN, U. K.       |                                        *
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>+<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<

Technical Details

Message-ID: <1992Apr8.182251@aifh.ed.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!aisb!aifh!rolando

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!aisb!aifh!rolando
From: rolando@aifh.ed.ac.uk (Rolando Carrera-Sanchez)
Newsgroups: comp.lang.prolog
Subject: Where can I get a Type Inference system for prolog?
Message-ID: <1992Apr8.182251@aifh.ed.ac.uk>
Date: 8 Apr 92 17:22:51 GMT
Sender: news@aisb.ed.ac.uk (Network News Administrator)
Reply-To: rolando@aifh.ed.ac.uk (Rolando Carrera-Sanchez)
Organization: Dept of AI, University of Edinburgh, Scotland
Lines: 20