Definition of classes to retrieve hlcl program, expressions, negations,
etc

missing update on Hlcl2Prolog included
Merge pull request #12 from jcmunozf/development

Definition of classes to retrieve hlcl program, expressions, negations,