Re: [eclipse-clp-users] tabular logic programming

From: Kish Shen <kisshen_at_cisco.com>
Date: Thu, 13 Aug 2009 15:10:07 +0100
Benedict Kavanagh wrote:
> Dear all,
> 
> I read the web page listing Eclipse's features but I'm not sure if it 
> can do what I want. Is it possible to perform tabular logic programming 
> using the features of eclipse? In particular if wanted to write a left 
> recursive DCG grammar could I get eclipse to suspend identical recursive 
> calls and feed them with results as they come in as can be done with 
> OLDT resolution in systems like XSB, B-Prolog, and YapTab (extension to 
> Yap)?
> 
> Thanks!
> Ben
> 
> 
Hi Ben,

ECLiPSe does not provide explicit support for tabling. My understanding 
is that tabling is generally supported by extensions to the Prolog 
system at a very low level (the abstract machine), and there are no such 
extensions in ECLiPSe.

I don't know enough about tabling to say how much the features of 
ECLiPSe can help you to program tabling like behaviour in ECLiPSe at the 
ECLiPSe level. You can do a form of memoisation using the store 
non-logical storage feature of ECLiPSe -- this is described in the 
Stores section of the User manual:

http://www.eclipse-clp.org/doc/userman/umsroot053.html

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Thu Aug 13 2009 - 14:10:31 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET