Re: Specifying types

Article View: comp.lang.prolog

Article #2314

#2314

From: Chandrasekaran Periannan
Date: Fri, 14 Jun 1991 16:05

9 lines
659 bytes

	I would like to know if netters can suggest any    
introductory literarture on problems with typing logic
programming languages like Prolog and goes on to typed
prolog. 


thanks
chandra

Technical Details

Message-ID: <17311@helios.TAMU.EDU>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!helios!chandra

References: <9106111357.AA29175@ucbvax.Berkeley.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!helios!chandra
From: chandra@cs.tamu.edu (Chandrasekaran Periannan)
Newsgroups: comp.lang.prolog
Subject: Re: Specifying types
Message-ID: <17311@helios.TAMU.EDU>
Date: 14 Jun 91 16:05:26 GMT
References: <9106111357.AA29175@ucbvax.Berkeley.EDU>
Sender: usenet@helios.TAMU.EDU
Organization: Computer Science Department, Texas A&M University
Lines: 9

Reply to Parent Message