[B! LogicProgramming][Haskell] xefのブックマーク

xef id:xef

LogicProgrammingとHaskellに関するxefのブックマーク (7)

https://web.engr.oregonstate.edu/~erwig/papers/Zurg_JFP04.pdf
xef 2024/01/06
LogicProgramming

Haskell

Prolog
リンク
[PADL'23] Embedding Functional Logic Programming in Haskell via a Compiler Plugin
xef 2023/03/15
Haskell

LogicProgramming
リンク
YOW! Lambda Jam 2019 - Edward Kmett - Logic Programming à la Carte
xef 2019/07/07
Haskell

LogicProgramming
リンク
The Haskell Road to Logic, Maths and Programming
xef 2013/11/04
Haskell

LogicProgramming

Book
リンク
GitHub - gcross/LogicGrowsOnTrees: A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
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
xef 2013/09/16
Haskell

LogicProgramming
リンク
Molog: Typed Functional Logic Programming in Haskell
xef 2013/06/09
Molog

LogicProgramming

Haskell
リンク
Towards a Haskell Logic Library
xef 2013/05/11
Haskell

LogicProgramming
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx