Cf: Survey of Theme One Program • 4 http://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ All, Here's an updated Survey ( https://inquiryintoinquiry.com/surveys/ ) of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s, with continuing commentary and discussion since. The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning. I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce's logical graphs as a syntax for propositional logic. Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate. The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education. There's a lot of links, so I'll post just a few off the top ... Wiki Hub ======== Theme One Program • Overview ( https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview ) Documentation ============= Theme One Program • Pascal Source Code ( https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code ) Theme One Program • User Guide ( https://www.academia.edu/5211369/Theme_One_Program_User_Guide ) Theme One Program • Exposition ( https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition ) Blog Series =========== Theme One Program • Exposition 1. https://inquiryintoinquiry.com/2018/06/08/theme-one-program-exposition-1/ 2. https://inquiryintoinquiry.com/2018/06/09/theme-one-program-exposition-2/ 3. https://inquiryintoinquiry.com/2018/06/10/theme-one-program-exposition-3/ Regards, Jon