Escribir un analizador de prólogo

Estoy tratando de escribir un analizador simple para una gramática. El analizador no necesita crear un árbol de análisis, solo reconoce si una oración coincide con la gramática. Hasta ahora, tengo los siguientes predicados, usando la notación DCG:

    program-->[].
    program-->stmt_list.
    stmt_list-->stmt,stmt_list.
    stmt-->[id,:=],expr;[read],[id];[write],expr.
    expr-->term, term_tail.
    term_tail-->add_op,term,term_tail.
    term_tail-->[].
    term-->factor, factor_tail.
    factor_tail-->mult_op, factor, factor_tail.
    factor_tail-->[].
    factor-->[(expr)].
    factor-->[id].
    factor-->[number].
    add_op-->[+].
    add_op-->[-].
    mult_op-->[*].
    mult_op-->[/].

Usando una consulta como program([read,id],[]). Debería estar recibiendo una respuesta verdadera, pero estoy recibiendo una falsa. ¿Qué falta que está causando esto? Gracias por tu ayuda.