web-dev-qa-db-ja.com

minikanren

ロジックプログラミングに関して、PrologとminiKanrenの主な技術的な違いは何ですか?