Xref: utzoo comp.ai:1395 comp.lang.misc:1091 comp.lang.prolog:593 comp.misc:1990
Path: utzoo!mnetor!uunet!littlei!intelisc!omepd!pcm
From: pcm@iwarpo3.intel.com (Phil C. Miller)
Newsgroups: comp.ai,comp.lang.misc,comp.lang.prolog,comp.misc
Subject: Re: constraint satisfaction programming
Message-ID: <2847@omepd>
Date: 24 Feb 88 16:27:14 GMT
References: <5070@pyr.gatech.EDU>
Sender: news@omepd
Reply-To: pcm@iwarpo3.UUCP (Phil C. Miller)
Organization: Intel Corp., Hillsboro
Lines: 15
Keywords: CLP, constraint satisfaction, logic programming, Prolog

In article <5070@pyr.gatech.EDU> parvis@pyr.gatech.EDU (FULLNAME) writes:
>
>I'm looking for some interesting research in the topic of constraint logic
>programming or constraint satisfaction programming. I'm already familiar with
>Jaffar's and Lassez' work and also with the Prolog III approach.

I saw an excellent talk a couple of years ago by a man named Wm. Leler
in which Wm. (pronounced Wim) discussed a constraint language called
Bertrand.  This language was developed by Wm. in connection with research
leading to his Ph.D.  His Ph.D. thesis has since been published as a
distinguished thesis by one of the computer science publishers.  It's called
Constraint Languages.  It's fairly recent.  Don't know the publisher right
off hand.

Phil Miller