Lines Matching refs:first
800 The approach is similar to the previous example: first we create
957 Note however, that this matching clause succeeds even if the first
1052 with an existing domain, the domain has to be copied first.
1478 clauses of the fit predicate. The first colour list contains
1479 colours in the first argument of fit/2 and the second list
1513 Propia is the first candidate to convert an existing relation into
1572 Five men with different nationalities live in the first five houses
1581 The Norwegian lives in the first house on the left.
1748 first it tries to match the amount of remaining components with zero
2075 lexicographically greater or equal than the first one etc.
2127 Therefore, we first filter out the colours and label