User loginNavigation |
archivesAnn: The Logic LabThe Logic Lab is a high-level DSL for specifying logics. There is a series of Youtube mini-lectures on this technology detailed in the Logic Lab home page. https://shenlanguage.org/Logiclab.html. You can also access these talks at the following addresses. History of the Logic Lab https://www.youtube.com/watch?v=VqnVWLFiEII The Logic Lab page also includes a download link for the program. This application needs the Shen standard library. There is a link on the Logic Lab home page to a 'batteries included' binary version of Shen under Windows (SBCL platform) with the standard library compiled inside it. As my first talk makes clear, this is a reissue of an old technology, published by me in the 90s, which has resided in the CMU repository for Artificial Intelligence for nearly 30 years and has been reissued under Shen. Mark By Mark Tarver at 2023-04-17 12:14 | LtU Forum | login or register to post comments | other blogs | 1356 reads
|
Browse archivesActive forum topics
|
Recent comments
14 weeks 5 days ago
19 weeks 16 hours ago
20 weeks 4 days ago
20 weeks 4 days ago
23 weeks 2 days ago
28 weeks 2 hours ago
28 weeks 4 hours ago
28 weeks 3 days ago
28 weeks 3 days ago
31 weeks 1 day ago