Can anybody explain the difference between miniKanren and STRIPS? they seem to be used ti solve tbe same kind if problems; cf https://www.youtube.com/watch?v=jzLSnadyYso