QiiTimeNov 28, 2019
QiiTime は Qiita/Qiitadon の同人サークル Qithub のコラボ作品です。詳細は https://qiitadon.com/@QiiTime/101306011841057999 へ。コラボ・メンバー募集中！  #2019_11 #2019_11_28 #2019_11_28_15
Show threadQithub(bot)

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

​『PrologでわかるTAPL2日目 - 一階述語論理とProlog、MBNF』
https://qiita.com/h_sakurai/items/d5c55554b1eb8348716a by @h_sakurai @​Qiita

#prolog_qiita #tapl_qiita

Prologでわかる TAPL 2日目 - 一階述語論理とProlog、MBNF - Qiita

# 一階述語論理 と Prolog と MBNF ここでは、TAPLをPrologで実装するための基礎的な仕組みを構築します。 わけわからなくなったらすっ飛ばして構いません。 ## 木文法検査 PrologではXMLやJSON、...

Nov 28, 2019 at 6:24amWeb