| Registration info |
Registration not needed, or register on another site. |
|---|
Description
内容が間違っていました。
新年特別回として λProlog (lambda Prolog) に入門します！
https://qiita.com/suharahiromichi/items/a046859da0c0883e7304 λProlog (Lambda Prolog) の紹介
https://github.com/suharahiromichi/prolog/blob/master/elpi/reverse.elpi reverseの例
https://github.com/suharahiromichi/prolog/blob/master/elpi/sublist.elpi sublistの例
CoqとProlog の違い：
https://github.com/suharahiromichi/prolog/blob/master/elpi/member.v https://github.com/suharahiromichi/prolog/blob/master/elpi/member.elpi https://github.com/suharahiromichi/prolog/blob/master/elpi/member.swi
ISO-Prolog のサンプルコード：
https://www.az-prolog.com/manual/sample/sample_list_002.html
答え（ELPIに変換したもの）
https://github.com/suharahiromichi/prolog/blob/master/elpi/sample_list.elpi
以上
Media View all Media
If you add event media, up to 3 items will be shown here.
Feed
12/25/2021 16:53
第119回 ProofCafe を公開しました！
SUHARA Hiromichi
morita_hm
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan