Symbol function ( ) { return head ; }
returns the conclusion of this horn clause . in horn form , the premise is called the body , and the conclusion is called the head . concode_field_sep Symbol head concode_elem_sep List<Symbol> premiseSymbols concode_elem_sep Hashtable<HornClause,Integer> count concode_elem_sep Hashtable<Symbol,Boolean> inferred concode_elem_sep Stack<Symbol> agenda concode_field_sep boolean premisesContainsSymbol concode_elem_sep List<Symbol> getPremiseSymbols concode_elem_sep boolean plfcEntails concode_elem_sep boolean plfcEntails concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep boolean inferred concode_elem_sep boolean isImpliedSentence concode_elem_sep void decrementCount concode_elem_sep String toString concode_elem_sep List<HornClause> asHornClauses concode_elem_sep boolean countisZero