Path: 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


	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