Lines: 18
Newsgroups: comp.lang.prolog
Message-ID: <DLzz7H.5FJ@ecrc.de>
From: thom@ecrc.de (Thom Fruehwirth)
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!newsfeed.internetmci.com!howland.reston.ans.net!blackbush.xlink.net!rz.uni-karlsruhe.de!news.uni-stuttgart.de!news.rhrz.uni-bonn.de!news.rwth-aachen.de!genesis.westend.com!news2.gtn.com!news.gtn.com!gtnduss1.du.gtn.com!ius.gun.de!roka.net!news.space.net!news.ecrc.de!ecrc!acrab60!thom
Subject: CLP goes internet
Date: Tue, 30 Jan 1996 13:06:53 +0000
Reply-To: thom@ecrc.de
X-Gateway: ZCONNECT XX ius.gun.de [UNIX/Connect v0.73]
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit

The latest application of Constraint Handling Rules (CHRs) brings
constraint reasoning to the internet.  CHRs are a high-level language
for writing constraint solvers. The application is a small expert system
available on the world-wide-web. It computes the estimated rent of a
flat based on its description as input by the user. Thanks to
constraint technology, the description can be incomplete. The system,
including a special-purpose web-server, is written in ECLIPSe, 
ECRC's constraint logic programming (CLP) platform, utilizing its CHR 
library.

You can try out "The Munich Rent Advisor" - it can be reached through
my home-page at:

        http://www.ecrc.de/staff/thom/

Comments are welcome
Thom Fruehwirth

