library(plunit) provides a Prolog unit-test framework.
automaton/9 takes several new options that allow capturing
properties of the input string, such as the number of occurrences of
given patterns, into domain variables.
+: Body, which define
dedicated propagators as indexicals. In particular, propositional
combinations of arithmetic constraints are allowed.