Krzysztof R. Apt: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 02:3402:34, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,250 bytes −262‎ No edit summary undo
  • curprev 02:3402:34, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,512 bytes +1,512‎ Created page with "Title: Krzysztof R. Apt Main Research Question: How can logic programming and Prolog be used to solve problems more efficiently than traditional programming languages? Methodology: The paper describes a tutorial on logic programming and Prolog, appropriate for a course on programming languages. It outlines the history of logic programming, provides an overview of the logic programming paradigm, and explains how equations can be solved using unification as atomic action..."
Retrieved from "https://simplesci.org/wiki/Krzysztof_R._Apt"