core-logic

niveauverleih 2020-06-05T17:38:26.039800Z

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