microKanrenは、とてもコンパクトなScheme用の論理プログラミングDSLです。 Jason HemannとDaniel P. Friedmanによって開発されました。 論理プログラ···