2023年6月
いわゆる三段論法を prologで表現したい。全称量化子つき
個人的に、なんとか prologを活用しようと思ってるのですが、簡単な論理式でもいざコード化しようとする…
2023年6月
「ブログリーダー」を活用して、rsquaredさんをフォローしませんか?
指定した記事をブログ村の中で非表示にしたり、削除したりできます。非表示の場合は、再度表示に戻せます。
画像が取得されていないときは、ブログ側にOGP(メタタグ)の設置が必要になる場合があります。