Skip to content

Instantly share code, notes, and snippets.

View fffprograming's full-sized avatar

RyosukeFujii fffprograming

  • RICOS
  • TOKYO
View GitHub Profile
@fffprograming
fffprograming / go2.pl
Created October 18, 2013 02:27
f(a).
f(b).
g(x).
g(y).
rf :- f(X),write(X),tab(1).
rg :- g(X),write(X),tab(1).
go2 :- rf,rg,fail.
go2.
@fffprograming
fffprograming / wa.pl
Last active December 25, 2015 20:29
wa(0,0).
wa(N,Sum) :- M is N - 1, wa(M,Sum2), Sum is Sum2 + N.
@fffprograming
fffprograming / socrates.pl
Created October 12, 2013 14:28
human(socrates).
mortal(X) :- human(X).
@fffprograming
fffprograming / sum.pl
Last active December 25, 2015 05:59
sum1(0,0).
sum1(A,B) :- C is A-1, sum1(C,D), B is A +D.