1
2
3
4
5
6
7
8
9
domains
        s=symbol
predicates
        man(s)
        woman(s)
        parent(s,s)
        mother(s,s)
        sister(s,s)
        hasSister(s)
 ...

1
2
3
4
5
6
7
8
9
domains
        s=symbol
predicates
        man(s)
        woman(s)
        parent(s,s)
        mother(s,s)
        sister(s,s)
        hasSister(s)
 ...

1
2
3
4
5
6
7
8
9
domains
        s=symbol
predicates
        man(s)
        woman(s)
        parent(s,s)
        mother(s,s)
        sister(s,s)
        hasSister(s)
 ...

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="ソビエトロシアでは，~s\n",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X),!.
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-eq(X,"が").
joshi(X):-eq(X,"は").
 ...

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="ソビエトロシアでは，~s",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X),!.
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-eq(X,"が").
joshi(X):-eq(X,"は").
 ...

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(batuta,pencil) :- bigger(batuta,marker), bigger(marker,pencil).

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(batuta,pencil) :- bigger(batuta,marker), bigger(marker,pencil).

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(batuta,pencil) :- bigger(batuta,marker), bigger(marker,pencil).

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(batuta,pencil) :- bigger(batuta,marker), bigger(marker,pencil).

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(X,Z) :- bigger(X,Y), bigger(Y,Z).

1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(X,Z) :- bigger(X,Y), bigger(Y,Z).

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="ソビエトロシアでは，~s",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X),!.
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-eq(X,"が").
joshi(X):-eq(X,"は").
 ...

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="ソビエトロシアでは，~s",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X).
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-eq(X,"が").
joshi(X):-eq(X,"は").
 ...

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="~s",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X).
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-eq(X,"が").
joshi(X):-eq(X,"は").
 ...

1
X="が".

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),write(Z).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X).
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-ga(X).
joshi(X):-wa(X).
 ...

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),F="~s",format(F,[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X).
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-ga(X).
joshi(X):-wa(X).
 ...

1
print:-X="~s",format(X,[[33637,33676]]).

1
print:-X="~s",format(X,["ほげほげ"]).

1
format("~s",[[33637,33676]]).

1
2
3
4
5
6
7
8
9
russia(X):-rchange(X,Z),format("~s",[Z]).
 
rchange(X,Z):-pref(X,Y,[V|W]),pref(W,S,T),append([],S,A1),append(A1,[V],A2),append(A2,Y,A3),append(A3,T,Z).
 
pref([X|Y],[],[X|Y]):-joshi(X).
pref([X|Y],[X|W],Z):-pref(Y,W,Z).
 
joshi(X):-ga(X).
joshi(X):-wa(X).
 ...

1
quine:-X="~s",format(X,["ほげほげ"]).

1
quine:-X="~s",format(X,[X]).

1
quine:-X="~s",format(X,"~s").

1
quine:-X="~s",format(X,"ほげほげ").

1
quine:-X="~s",format(X,[X]).

1
quine:-X="~c~s~c",format(X,[34,X,34]).

1
quine:-X="quine:-X=~c~s~c,format(X,[34,X,34]).",format(X,[34,X,34]).

1
quine:-X="quine:-X=~c~s~c,format(X,[34,X,34]).",format(X,[34,X,34]).