Fork me on GitHub
#core-logic
<
2020-06-05
>
niveauverleih17:06:26

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