Properly matching a set of tokens against my BASIC grammar

Question

I am working on writing a BASIC interpreter in Prolog. DCGs are a little tricky, which is why I am having trouble here today.

Here is my grammar.

bool