klotz: logic theorist* + artificial intelligence*

0 bookmark(s) - Sort by: Date ↓ / Title / - Bookmarks from other users for this tag

  1. This GitHub repository contains a re-implementation of the IPL-V programming language and the Logic Theorist (LT) program. It includes the original code transcribed into a TSV format and converted to Lisp, along with documentation and debugging tools.
  2. Jeff Shrager has reanimated LT in IPL-V with a new implementation.

Top of the page

First / Previous / Next / Last / Page 1 of 0 SemanticScuttle - klotz.me: Tags: logic theorist + artificial intelligence

About - Propulsed by SemanticScuttle