 |
DaoismHeideggerGreen1.pdf |
PDF Document |
1,622,492 |
Jan 26 2019 7:21 AM |
|
DaoismHeideggerGreen2.pdf |
PDF Document |
1,204,348 |
Jan 26 2019 7:20 AM |
|
HegelGreen.pdf |
PDF Document |
896,270 |
Jan 26 2019 7:21 AM |
|
Results of Various Tests of KNN.pdf |
PDF Document |
47,194 |
Jun 26 2020 12:51 AM |
|
A Socratic and Computational Analysis of the List Prolog Interpreter- A Symbolic Execution Model in Pure Prolog-Lucian Green-Lucian Academy.pdf |
PDF Document |
135,472 |
Apr 12 2026 6:48 AM |
|
A Prolog Inductive Debugger- Symbolic Error Localisation through Logical Inference with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
134,646 |
Apr 12 2026 6:48 AM |
|
A Symbolic “Mind Reader” in Prolog- A Socratic and Computational Analysis of a Transparent Reasoning System-Lucian Green-Lucian Academy.pdf |
PDF Document |
136,099 |
Apr 12 2026 6:48 AM |
|
A Symbolic “Time Machine” in Prolog- Reversible Computation, State Traversal, and a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
115,319 |
Apr 12 2026 6:48 AM |
|
Errata 12 4 26.txt |
Text File |
256 |
Apr 12 2026 6:48 AM |
|
GitL- A Symbolic Version-Control and Transformation Framework in Prolog with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
136,812 |
Apr 12 2026 6:48 AM |
|
Loop- A Symbolic Framework for Explicit Iteration and Recursion in Prolog with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
137,416 |
Apr 12 2026 6:48 AM |
|
Lucian CI:CD- A Symbolic and Generative Continuous Integration Framework with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
136,462 |
Apr 12 2026 6:48 AM |
|
Neuroprolog- Symbolic-Neural Optimisation of Logic Programs via Subterm Analysis and Recursive Reduction-Lucian Green-Lucian Academy.pdf |
PDF Document |
136,022 |
Apr 12 2026 6:48 AM |
|
pl2c- Compiling Prolog to C through Explicit Control Flow Transformation with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
115,610 |
Apr 12 2026 6:48 AM |
|
pl2js- Translating Prolog to JavaScript through Explicit Control Flow and Symbolic Transformation with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
137,095 |
Apr 12 2026 6:48 AM |
|
Spec to Algorithm (S2A)- A Symbolic Framework for Deriving Algorithms from Specifications with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
140,198 |
Apr 12 2026 6:48 AM |
|
Starlog- A Nested Symbolic Logic Programming Language over Prolog with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
128,303 |
Apr 12 2026 6:48 AM |
|
State Saving Interpreter (SSI)- A Symbolic Execution Model with Persistent Choice Points and a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
136,457 |
Apr 12 2026 6:48 AM |
|
Text to Breasonings- A Symbolic Pipeline for Generating Structured Reasoning from Text with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
140,265 |
Apr 12 2026 6:48 AM |
 |
index2.html |
PDF Document |
4,276 |
Jun 25 2020 2:44 PM |
|
Vetusia- A Prolog-to-Web Prolog Converter via Stateful Interaction Segmentation with a Socratic Critique-Lucian Green-Lucian Academy.pdf |
PDF Document |
131,826 |
Apr 12 2026 7:25 AM |