Algorithmic Bio-Law Foundations