Non-terminal symbol BODY

rule(s)occurrences

Description

A Horn rule's body is a condition (CONDIT).

Defining rules for nonterminal symbol BODY:

BODY CONDIT 

Occurrences of symbol BODY in body of other rules:

Implication HEAD  ':-'  BODY 

Copyright © 2006 ILOG, Inc.; All Rights Reserved.