Right, everything is a triple. So olog is just adding Prolog to triples, hence one can group the triples any way one wants to using Prolog rules.