Randy E. Rhodes

• On the integration of logic programming and functional programming