- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Tue, 03 Jul 2007 16:07:22 +0200
- To: Sandro Hawke <sandro@w3.org>
- CC: Dave Reynolds <der@hplb.hpl.hp.com>, public-rif-wg@w3.org
Sandro Hawke wrote: > [discussing term unification with functions (contructors and interpreted)] > > Does CLP give that? Yes. -hak -- Hassan Aït-Kaci * ILOG, Inc. - Product Division R&D http://koala.ilog.fr/wiki/bin/view/Main/HassanAitKaci
Received on Tuesday, 3 July 2007 14:10:26 UTC