added Parser for ground logic programs