SPLA/VARIAMOS — pull request #12 by jcmunozf (2014-12-16 14:29:56+00:00)
Title: Definition of classes to retrieve hlcl program, expressions, negations,

etc

missing update on Hlcl2Prolog included