next up previous contents
Next: 5.6 chunk_descr Up: 5 The code generator Previous: 5.4 clause_classification

5.5 head_chunk_fact, head_chunk_rule, body_chunk

 head_chunk_fact ::= (chunk (head_literal {chunk_guard}*) chunk_descr)

head_chunk_rule ::= (chunk (head_literal {chunk_guard}* first_premise_literal)

chunk_descr)

body_chunk_list ::= {body_chunk}* [(({chunk_guard}*) chunk_descr)]

body_chunk ::= (chunk ({chunk_guard}* call_literal) chunk_descr)

Let chnk be an abbreviation for head_chunk_fact, head_chunk_rule or body_chunk.



Harold Boley (boley@informatik.uni-kl.de)