Logic Assistant

Run in full screen. Vibe coded HTML "game" based on the 1956 program "Logic Theoriest," arguably the first AI, using ChatGPT 5.6 Sol (High), so that, between ELIZA and the Logic Theorist, my community college critical thinking and logic students can get a sense of what AI was like early on. Jeff Schrager, Ph.D., reanimated an accurate version of the original program in LISP, so if you are serious about the original Logic Theorist, you should consult his work as by far the leading expert on this program and its history: https://arxiv.org/html/2603.13514v1. I also drew on Newell and Simon's original 1956 documentation (https://archive.org/details/bitsavers_randiplP86ineJul56_3534001) and The Logic Theory Machine, a 1963 RAND memorandum. https://www.rand.org/content/dam/rand/pubs/research_memoranda/2009/RM3731.pdf