Héllo,
I read on wikipedia in the article about inference engine <https://en.wikipedia.org/wiki/Inference_engine> that Prolog use mainly a backward chaining algorithm which means that it starts with a goal and works backward to determine what facts must be asserted so that the goals can be achieved. Given a goal, e.g. answer the question is Socrates Mortal? It would search through the knowledge base and determine if Socrates was Human and if so would assert he is also Mortal. How something like that can be achieved with minikanren? How does it compare to how minikanren works? Rete algorithm <https://en.wikipedia.org/wiki/Rete_algorithm> is another popular inference algorithm. How does it compare to minikanren? Thanks! -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
