- read_item(+Stream, -Item)
- Read one item from a FlatZinc input stream
A parser for FlatZinc, based on 'Specification of FlatZinc' (Nov 7 2007). It reads and returns one item at a time, as an ECLiPSe structure which closely resembles the FZ input.
For FlatZinc, it seems an item-wise parser is a good idea, since the items can be processed one at a time by ECLiPSe to set up the model.