logic-programmingの検索結果1 - 3 件 / 3件

• あとで読む

  Implementing Logic Programming

  • 18 users
  • btmc.substack.com
  • テクノロジー
  • 2025/06/14

  Most of my readers are probably familiar with procedural programming, object-oriented programming (OOP), and functional programming (FP). The majority of top programming languages on all of the language popularity charts (like TIOBE) support all three to some extent. Even if a programmer avoided one or more of those three paradigms like the plague, they’re likely at least aware of them and what th

  • programming
  • プログラミング
  • あとで読む

  
• あとで読む

  The Verse Calculus: a core calculus for functional logic programming

  • 6 users
  • simon.peytonjones.org
  • テクノロジー
  • 2022/12/12

  Abstract Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; tha

  
• あとで読む

  GitHub - EvgSkv/logica: Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

  • 4 users
  • github.com/EvgSkv
  • テクノロジー
  • 2020/12/16

  You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert