Newsgroups: comp.ai,comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!gatech!howland.reston.ans.net!news.nic.surfnet.nl!sun4nl!freya.let.rug.nl!let.rug.nl!gosse
From: gosse@let.rug.nl (Gosse Bouma)
Subject: Re: any Prolog implementations of TMS (A or J)
Sender: news@let.rug.nl (News system at let.rug.nl)
Message-ID: <1995May22.074926.22585@let.rug.nl>
Date: Mon, 22 May 1995 07:49:26 GMT
References:  <3pc0uh$hvn@MANUKA.lincoln.ac.nz>
Nntp-Posting-Host: hela.let.rug.nl
Organization: Faculty of Arts, University of Groningen
Lines: 17
Xref: glinda.oz.cs.cmu.edu comp.ai:30014 comp.lang.prolog:13025

In article <3pc0uh$hvn@MANUKA.lincoln.ac.nz>, Ramesh Rayudu
<rayudur@lincoln.ac.nz> writes:

> I am looking for a prolog implementation of Truth Maintanence System.
> 

Shoham's book

Artificial intelligence techniques in Prolog / Yoav Shoham. - San Francisco,
Ca.: Morgan Kaufmann Publishers, cop. 1994. - XIX, 327 p.

contains a chapter on various types of TMSs. 


-- 
Gosse Bouma, Alfa-informatica, RUG, Postbus 716, 9700 AS Groningen
gosse@let.rug.nl       tel. +31-50-635937       fax  +31-50-635979
