Skip to content

Instantly share code, notes, and snippets.

@tobynet

tobynet/file0.pl

Created December 4, 2014 04:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tobynet/5c3f7ebaa70d1347e574 to your computer and use it in GitHub Desktop.
Save tobynet/5c3f7ebaa70d1347e574 to your computer and use it in GitHub Desktop.
Download ZIP
【スマートフォンではなく】パソコンが始める Prolog 【動作確認編】 ref: http://qiita.com/toby_net/items/86af78dce98bdfa6beee
Raw
file0.pl
% あなたとジャバ
ジャバ(あなた).
% わたしとジャバ
ジャバ(わたし).
% X とジャバならば、X は今すぐジャバをダウンロードすべきである
ジャバをダウンロード(X,今すぐ) :- ジャバ(X).
Raw
file1.txt
$ swipl -f advent-example01.pro
Raw
file2.pl
?- ジャバをダウンロード(あなた,今すぐ).
Raw
file3.pl
?- ジャバをダウンロード(あなた,今すぐ).
true.
Raw
file4.pl
?- ジャバをダウンロード(X, 今すぐ).
Raw
file5.pl
?- ジャバをダウンロード(X, 今すぐ).
X = あなた
Raw
file6.pl
?- ジャバをダウンロード(X, 今すぐ).
X = あなた;
X = わたし.
Raw
file7.pl
?- ジャバをダウンロード(X, Y).
Raw
file8.pl
?- forall(ジャバをダウンロード(X, 今すぐ), writeln(X)).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment