Non-terminal symbol Implication

rule(s)occurrences


Description

An implication consists of a HEAD (the LHS - what's on the left of :-) and a BODY (the RHS - what's on the right of :-).


Defining rules for nonterminal symbol Implication:

Implication HEAD  ':-BODY 


Occurrences of symbol Implication in body of other rules:

HornRule Implication 


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