Transmit free variables via socket

From: Steffen Mazanek <steffen.mazanek_at_unibw.de>
Date: Tue, 04 Mar 2008 14:04:43 +0100

Hello again,

I have successfully set up socket communication
between a curry program (using MCC) and a
java program. However, in the result computed
by the curry server may be free variables. In this
case I get a deadlock error in MCC. It would be
possible in my scenario to supply a number to
uniquely numerate the free variables starting
from this particular number. How can this be
realized?

For instance, I might get the following result
from my curry program:

[(1,_a),(_a,2),(_b,_c)]

This is a graph (as an edge list) where some
nodes are not instantiated. Given a number
n=5 as the next free node number I would
like to submit something like the following
as a result:

[(1,5),(5,2),(6,7)]

At the moment, I only submit the head of
the findall result list. Is it possible to filter
the results of findall such that only
completely instantiated terms remain?

Help is, as always, greatly appreciated.

Best regards,
Steffen
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 04 2008 - 15:39:47 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:09 CEST