🆕 新着Qiita記事をお知らせします。​

​『Left Recursive Grammar Answer Set Programming』
https://qiita.com/j4n_bur53/items/cdc29b0d4d1d3c0969d2 by @j4n_bur53 @​Qiita

#prolog_qiita #asp_qiita #grammar_qiita

🆕 新着Qiita記事をお知らせします。​

​『Left Recursive Grammar Answer Set Programming』
https://qiita.com/j4n_bur53/items/cdc29b0d4d1d3c0969d2 by @j4n_bur53 @​Qiita

#prolog_qiita #asp_qiita #grammar_qiita

🆕 新着Qiita記事をお知らせします。​

​『オフラインどう書くF01問題、　　第4回問題、CodeIQ:テトロミノの置き方を数えよう 』
https://qiita.com/smallbigcats/items/e555d6603a0d22d146ce by @smallbigcats @​Qiita

#prolog_qiita #どう書く_qiita #codeiq_qiita

🆕 新着Qiita記事をお知らせします。​

​『論理型脳で型推論を実装してみた』
https://qiita.com/h_sakurai/items/6ca2b523f39f7c4bf300 by @h_sakurai @​Qiita

#prolog_qiita

🆕 新着Qiita記事をお知らせします。​

​『確率論理プログラミング触ってみる』
https://qiita.com/yutaro-t/items/8a79c281a48642b3ecd6 by @yutaro_t @​Qiita

#prolog_qiita #確率_qiita

🆕 新着Qiita記事をお知らせします。​

​『120行で書いた CPS変換/Prolog出力 while言語コンパイラ』
https://qiita.com/h_sakurai/items/3bf07b88feb9f1edaa29 by @h_sakurai @​Qiita

#prolog_qiita #コンパイラ_qiita #コンパイラ実装_qiita #cps変換_qiita

🆕 新着Qiita記事をお知らせします。​

​『Prolog でわかる TAPL 番外編 - Featherweight』
https://qiita.com/h_sakurai/items/8763f56f2b5cc4d3ab7a by @h_sakurai @​Qiita

#prolog_qiita #tapl_qiita

🆕 新着Qiita記事をお知らせします。​

​『メガドライブのスプライト情報の配置をPrologで最適化した話』
https://qiita.com/h_sakurai/items/08f8493c26248a75ac11 by @h_sakurai @​Qiita

#prolog_qiita #sgdk_qiita

🆕 新着Qiita記事をお知らせします。​

​『Prolog でわかる TAPL 14日目 - 第Ⅵ部 高階の型システム (3)』
https://qiita.com/h_sakurai/items/5788a695df440474bd0a by @h_sakurai @​Qiita

#prolog_qiita #tapl_qiita

🆕 新着Qiita記事をお知らせします。​

​『Prolog でわかる TAPL 13日目 - 第Ⅵ部 高階の型システム (2)』
https://qiita.com/h_sakurai/items/4594041f8dc7e1f242c8 by @h_sakurai @​Qiita

#prolog_qiita #tapl_qiita