Entries

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
この記事に対してトラックバックを送信する(FC2ブログユーザー)
http://gengoshori.blog7.fc2.com/tb.php/167-57305c04

-件のトラックバック

-件のコメント

コメントの投稿

投稿フォーム
投稿した内容は管理者にだけ閲覧出来ます

頭が良くなるProlog三段論法・基礎練習

三段論法をPrologで基礎練習
[例文]
前提1:日本を愛する人は夫婦別姓法案を非難する人である。
zentei1([nippon_wo_aisuru_hito, fuufubessi_houan_wo_hinansuru_hito]).

前提2:円満な家庭は日本を愛する人である。
zentei2([enmanna_katei, nippon_wo_aisuru_hito]).

 人気ブログランキングへ←応援クリックお願いします


↓Prologが結論を表示する画面

円満な家庭.jpg
・・・・・・・・・・・・・・・

三段論法でPrologの紹介
%free(無料)なものは利用しやすいものである。
zentei1([muryouna_mono, riyousi_yasui_mono]).
%Prologはfree(無料)なものである。
zentei2([prolog, muryouna_mono]).
無料.jpg

↓SWI-Prologをdownloadしたサイト
SWI-Prolog_free1.jpg

↓WindowsXPの場合のヴァージョン
SWI-Prolog_download1.jpg
・・・・・・・・・・・・・・・
%視覚的なものは分かり易いものである。
zentei1([sikakutekina_mono, wakariyasi_mono]).
%Prologは視覚的である。
zentei2([prolog, sikakutekina_mono]).
視覚的.jpg

・・・・・・・・・・・・・・・
再び普通の三段論法・基礎練習

%すべての人間は死すべきものである。
zentei1([ningen, sisubeki_mono]).
%ソクラテスは人間である。
zentei2([sokuratesu, ningen]).
%ゆえに、ソクラテスは死すべきものである。
三段論法1-1.jpg

・・・・・・・・・・・・・・・

%すべての新入生は入試合格者である。
zentei1([sinnyuusei, nyuusi_goukaku_sha]).
%太郎は新入生である。
zentei2([tarou, sinnyuusei]).
%ゆえに、太郎は入試合格者である。

・・・・・・・・・・・・・・・
%三段論法を表示する規則
keturon([C,B]) :- zentei1([A, B]), zentei2([C, D]), A==D,
nl, write('zentei1: '), write(A), write(' ha '), write(B),write(' dearu.'),
nl, write('zentei2: '), write(C), write(' ha '), write(D),write(' dearu.'),
nl, write('keturon:-> '), write(C), write(' ha '), write(B),write(' dearu.').

この練習は、これからも続きます・・・。


ランキングに参加しています。応援宜しくお願いします
↓↓↓FC2ランキング



↓↓↓人気ブログランキング
人気ブログランキングへ



スポンサーサイト
この記事に対してトラックバックを送信する(FC2ブログユーザー)
http://gengoshori.blog7.fc2.com/tb.php/167-57305c04

0件のトラックバック

0件のコメント

コメントの投稿

投稿フォーム
投稿した内容は管理者にだけ閲覧出来ます

Appendix

プロフィール

パチンコ賭博追放運動

Author:パチンコ賭博追放運動
連絡先
patituimv@gmail.com

最新トラックバック

カテゴリ

検索フォーム

ブロとも申請フォーム

この人とブロともになる

QRコード

QRコード

FC2カウンター

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。