A Categorial Model for Logic Programs: Indexed Monoidal Categories