Main public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:35, 24 December 2023 SatoshiNakamoto talk contribs created page Interpreter for a Procedural Language (Created page with "Title: Interpreter for a Procedural Language Abstract: This research explores the application of rational trees in creating an interpreter for a procedural language. The study investigates the use of rational trees in logic programming languages that naturally support them, as well as in traditional Prolog, which typically does not perform occurs check. The research presents two interpreters, one that requires non-occurs-check unification, and another that is faster and...")