Given a logical formula , a model genera-tor is a program which builds some of the models satisfying this formula.
for parsing, a model generator can be used to enumerate the (minimal) model(s), that is, the parse trees, satisfying the conjunction of the lexical categories selected on the basis of the input string plus any additional constraints which might be encoded in the grammar.