Non-terminal symbol HEAD

rule(s)occurrences

Description

A Horn rule's head is a literal formula (LITFORM).

Defining rules for nonterminal symbol HEAD:

HEAD LITFORM 

Occurrences of symbol HEAD in body of other rules:

Implication HEAD  ':-'  BODY 

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