Probabilistic Modelling, Inference and Learning using Logical
... Example 3 The term (#Int 2 (#Int 3 Int )) represents a list with the numbers 2 and 3
in it, obtained via a series of applications from the constants #Int , Int , 2, and 3, each
of which is a term. For convenience, we sometimes write [2, 3] to represent the same
Example 4 Sets are identifie ...