All 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).

• 04:51, 24 December 2023 SatoshiNakamoto talk contribs created page Termination of General Logic Programs (Created page with "Title: Termination of General Logic Programs Research Question: How can we develop a dynamic approach to characterize the termination of general logic programs? Methodology: The researchers proposed a dynamic approach to termination analysis of general logic programs. They introduced a new formulation of SLDNF-trees, called generalized SLDNF-trees. These trees deal with negative subgoals in the same way as Prolog and exist for any general logic programs. Results: They...")