- AST nodes for fzn parser TYPE : VALUE - acceptable types: - driver process fznslurp: reads stdin (as produced by bison-generated parser), which results in a Prolog term which is the AST. It then does semantic analysis (name & type). AST is translated to an IR or actual C code for PaCCS.