ECLiPSe theory

From: Oscar Rosell <Oscar.Rosell_at_cwi.nl>
Date: Tue 02 Apr 2002 11:07:45 AM GMT
Message-Id: <200204021107.g32B7jr18786@spiegel.ins.cwi.nl>

	Hi,

	I'm pretty new to ECLiPSe and I would like to fully understand the propagation process of the finite domain library.
	Is it enough with the information about the fd lib in the manual and the info. about suspended goals (user manual) ?
	Is there any other documentation about that ?

	Thanks,

		Oscar Rosell

Received on Tue Apr 02 12:09:45 2002

This message: [ Message body ]
Next message: Aykut Firat: "Higher Order Logic in Eclipse"
Previous message: Stephane Bressan: "Re: Question: how to do URL-encoding in ECLiPSe"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:13 PM GMT GMT