ADD: Parser now reads Prolog Rules.