[eclipse-clp-users] Constraints on structures

From: Edgaonkar, Shrirang <Shrirang.Edgaonkar_at_...390...>
Date: Wed, 3 Dec 2014 09:10:43 +0000
Dear clp users,



  I have the following structure. I would like to have constraint on year like A:year > 10 and then have eclipse resolve the constraint.





:-lib(ic).

:- local struct( others(dvds, ratings) ).
:- local struct( see(others, stars) ).
:- local struct( book(author, title, year, publisher, cost, details, see) ).

top(ListOfBooks):-
  ListOfBooks = [
     D, A, B, C
 ],
  A = book{see:Z, title:"tom sawyer", author:twain, cost:23.34}.







Please help.



Cheers,

Shrirang Edgaonkar

______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.
Received on Wed Dec 03 2014 - 09:13:14 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST