1870 shaares
18 private links
18 private links
William Byrd, minKanren.org online logic scheme solver.
Interactive tutorial: http://io.livecode.ch/learn/webyrd/webmk
William Byrd, minKanren.org online logic scheme solver.
Interactive tutorial: http://io.livecode.ch/learn/webyrd/webmk