このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1354070278/354
#  [1] 授業単元:計算機実習  
#  [2] 問題文(含コード&リンク):http://ime.nu/ideone.com/rtu1Iv 
#  上記のプログラムを参考に,構造体personの変数aとbを入れ替える関数を作り, 
#  mainから呼び出しなさい。  
#  

:- dynamic(person/2).

prolog :-
        'c言語のmain()に当たるものがprolog/0である'.

'c言語のmain()に当たるものがprolog/0である' :-
        main.

main :-
        構造体personの変数aとbを入れ替える,
        person(X,Y),
        writef('%t\n',[person(X,Y)]).

構造体personの変数aとbを入れ替える :-
        retract(person(_a,_b)),
        asserta(person(_b,_a)).