3 ms·
CLtL2 ( https://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html https://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html ) is freely available, PAIP ( https://github
by lispm 5y ago
CLtL2 ( https://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html https://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html ) is freely available, PAIP ( https://github.com/norvig/paip-lisp https://github.com/norvig/paip-lisp ) also .