Horn clause programs and recursive functions defined by systems of equations.