You selected boki0.pl
headline:-
write('% -------------------------------------------------- %'),nl,
write('% 簿記の仕訳ルール学習支援システム（試作） %'),nl,
write('% -------------------------------------------------- %'),nl,
h0.
h0:-
write('% boki(A,B,C):- 仕訳の基本知識を説明する'),nl,
write('% A = o(_) --- 簿記、仕訳の基本概念'),nl,
write('% A = a(_) --- 借方と貸方への記入ルール'),nl,
write('% boki0(A,B,C):- 仕訳のためのルール'),nl,
write('% boki0(A,B,query):- 同上の出力清書'),nl,
write('% A = b(_) --- 仕訳の基本項目'),nl,
write('% A = c(_) --- 仕訳の基本ルール'),nl,
write('% A = d(_) --- 勘定科目'),nl,
write('% A = e(_) --- 科目読替辞書'),nl,
write('% A = q(_) --- 仕訳の問題'),nl,
write('% A = t(_) --- 仕訳の実行'),nl,
write('% siwake(D,D1,L,R,C):- 簡単な仕訳を実行する'),nl,
write('% sindan:- ユーザへの出題・回答の診断'),nl,
write('% h0. this.'),nl.
me:-
write('% file: boki0.pl.'),nl,
write('% created: 17-19 Mar 2003.'),nl,
write('% modified: 20,22 Mar 2003.'),nl,
write('% previous: siwake.pl(30 Oct 2002). '),nl,
write('% previous: boki01.pl(Nov-Jan 2002). '),nl,
write('% author: Kenryo INDO (Kanto Gakuen University) '),nl,
write('% url: http://www.us.kanto-gakuen.ac.jp/indo/front.html'),
nl.
references:-
write('% 大栄総研.「いきなりわかる商法・会計学」，大栄出版，1996 '),nl,
write('% 税務経理協会.「学習版会計諸則集」，税務経理協会，2002． '),nl,
nl.
line0('-------------------------------------------------------------').
wl:- line0(L),write(L).
:- headline.
:- dynamic qdata /3.
:- dynamic udata /3.
%------------------------------------------------------------%
/* 簿記の基本概念 : boki/3, rule group o */
%------------------------------------------------------------%
boki(o(1), '複式簿記の流れ',Q):-
R = (R1,R2),
R1 = '複式簿記は、期中に発生した取引を記録し、決算で利益を計算する',
R2 = 'この結果、決算書（損益計算書と貸借対照表）が作成される',
(
Q==query
->
(
nl,write((o(1), '複式簿記の流れ：')),nl,wl,
nl,write(R1),write('。'),nl,write(R2),write('。'), nl
)
; Q=R
).
boki(o(2), '仕訳の基本項目',Q):-
R = '仕訳の基本項目は、資産・負債・資本・収益・費用の５つ',
S = (boki0(b(0),'仕訳の基本項目',X),write(X)),
(
Q==query
->
(
nl,write((o(2), '仕訳の基本項目：')),nl,wl,
nl, write(R), write('である。'),
nl,write('具体例：'),nl,wl,
nl, write(S), nl
)
; Q=(R,S)
).
boki(o(3), '取引',Q):-
R = '簿記でいう取引とは、基本項目の増減を引き起こす事象のこと',
(
Q==query
->
(
nl,write((o(3), '取引：')),nl,wl,
nl, write(R), write('である。'), nl
)
; Q=R
).
boki(o(4), '仕訳',Q):-
R = (R1,R2),
R1 = '仕訳とは、取引による基本項目の増減を左右に分けて記録すること',
R2 = 'また、仕訳のルールに従っていくつかの基本項目を同時に増減させる',
S = (
(boki0(q(W,s),'問',X),boki0(q(W,a),'答',Y)),
(write(('問':X)),nl,write(('答':Y)))
),
(
Q==query
->
(
nl,write((o(4), '仕訳：')),nl,wl,
nl, write(R1), write('である。'),
nl, write(R2), write('。'), nl,
nl,write('具体例：'),nl,wl,
nl, write(S), nl
)
; Q=(R,S)
).
boki(o(5), '勘定科目',Q):-
R = '勘定科目とは、仕訳の際、各基本項目につけられる名前のこと',
S = (boki0(d(_,_),'勘定科目',X),write(X)),
(
Q==query
->
(
nl,write((o(5), '勘定科目：')),nl,wl,
nl, write(R), write('である。'), nl,
nl,write('具体例：'),nl,wl,
nl, write(S), nl
)
; Q=R
).
%------------------------------------------------------------%
/* 仕訳の作業目標 : boki/3, rule group a */
%------------------------------------------------------------%
boki(a(1), '仕訳の原理：借方と貸方への記入ルール',Q):-
R = [
objective('まず項目とその変化パタンを認識すること'),
constraint('問題文と勘定科目とのリンクを見出すこと'),
constraint('勘定科目は資産／負債／資本／収益／費用のどの項目か'),
constraint('それが増加／発生、または減少／取消のいずれであるか'),
action('上の項目と変化のパタンに対し、仕訳の基本ルール a(2) を適用')
],
(Q==query
->
(
nl,write((a(1), '仕訳の基本ルール')),nl,wl,
write_objective(R),
write_constraints(R),
write_actions(R),
nl
)
;
Q=R
).
boki(a(2), '仕訳の原理：借方と貸方への記入ルール',Q):-
R = [
objective('つぎに借方（左）と貸方（右）の記入を区別すること'),
constraint('資金の使途をあらわす項目＝資産・費用、'),
constraint('資金の出所をあらわす項目＝負債・資本・収益とすると、'),
constraint('資金の使途をあらわす項目の増加や発生は、借方（左）'),
constraint('資金の出所をあらわす項目の増加や発生は、貸方（右）'),
% constraint('資金の使途をあらわす項目の減少や取消は、貸方（右）'),
% constraint('資金の出所をあらわす項目の減少や取消は、借方（左）'),
constraint('などのように、基本ルールcにしたがい、左右の区別')
],
S = (boki0(c(1), '資金の使途', X),write(X)),
(Q==query
->
(
nl,write((a(2),'仕訳の基本ルール')),nl,wl,
write_objective(R),
write_constraints(R),
nl,write('具体例：'),nl,wl,
nl, write(S), nl
)
;
Q=(R,S)
).
boki(a(3), '回答テクニック',Q):-
R = [
objective('試験問題の場合、各項目の勘定科目を覚え、考え方は消去法'),
constraint('消去法で解けない場合、どの理論と組み合わせたら解けるか')
],
S = (boki0(q(_,s),'問',X),write(X)),
(Q==query
->
(
nl,write((a(3),'回答テクニック')),nl,wl,
write_objective(R),
write_constraints(R),
nl,write('具体例：'),nl,wl,
nl, write(S), nl
)
;
Q=(R,S)
).
% local utilities
%------------------------------------------------------------%
write_objective(R):-
member(objective(O),R),
nl,write('作業目標は、'),
nl,tab(2),write(O),write('である。'),
nl.
write_constraints(R):-
forall(
nth1(K,R,constraint(X)),
(
(\+ (nth1(K1,R,constraint(_)),K1 T = 'ただし、'; T = ''
),
nl,write(T),
nl,tab(2),
write(X)
)
),
nl,
write('を判断せよ。'),
nl.
write_actions(R):-
forall(
nth1(K,R,action(X)),
(
(\+ (nth1(K1,R,action(_)),K1 T = 'そして、'; T = ''
),
nl,write(T),
nl,tab(2),
write(X)
)
),
nl,
write('しなさい。'),
nl.
%------------------------------------------------------------%
/* 財務諸表と基本項目 : boki0/3, rule group b */
%------------------------------------------------------------%
boki0(R,A,query):-
boki0(R,A,(B,C)),forall(member(X,[A,B,C]),(nl,write(X))).
% ↑清書用：Swi-Prolog 5.0.9 のバグでユニファイされた結果表示
% が文字化けするため。Swi-Prolog 1.9.0だと一応表示される。
% いずれにせよ、日本語文字列は一部文字化けし、処理エラーする。
boki0(b(0),'仕訳の基本項目',X):-
boki(b(1),'損益計算書項目',X);
boki(b(2),'貸借対照表項目',X).
boki0(b(1),'損益計算書項目',X):-
member(X,['収益','費用']).
boki0(b(2),'貸借対照表項目',X):-
member(A,['資産','負債','資本']),
( X == query -> boki0(b(_), A, query); true ).
boki0(b(4),'損益計算書',X):-
X = ['収益'(A), '費用'(B), '純利益'(C)],
% 損益法
C = A - B.
boki0(b(5),'貸借対照表（期首）',X):-
X = ['資産'(A), '負債'(B), '資本'(C)],
A = B + C.
boki0(b(6),'貸借対照表（期末）',X):-
X = ['資産'(A), '負債'(_B), '資本'(_C), '純利益'(D)],
boki(e(1),'貸借対照表（期首）',Y),
Y = ['資産'(A0), '負債'(_B0), '資本'(_C0)],
boki0(b(4),'損益計算書',Z),
Z = ['収益'(_E), '費用'(_F), '純利益'(D)],
% 財産法
A = A0 + D.
% 注意：SWI-prologのバグと思われるが、'貸借対照表'
% のように最後に「表」がつくとなぜかエラーになる。
boki0(b(7), '資産', X):-
A= '資産の定義：',
B= '企業による資金の運用形態・利用状況，将来の利益に結びつくもの．',
C= '勘定科目の具体例：',
D= (boki0(d(1,_),'勘定科目',('資産',K)),write(K)),
X = [A,B,C,D].
boki0(b(8), '負債', X):-
A= '負債の定義：',
B= '企業によって調達された資金のうち，他人に対し返済義務を負うもの．',
C= '勘定科目の具体例：',
D= (boki0(d(2,_),'勘定科目',('負債',K)),write(K)),
X = [A,B,C,D].
boki0(b(9), '資本', X):-
A= '資本の定義：',
B= '資産総額から負債総額を引いた純資産．出資者自身の拠出と過去の利益．',
C= '勘定科目の具体例：',
D= (boki0(d(3,_),'勘定科目',('資本',K)),write(K)),
X = [A,B,C,D].
boki0(b(10), '収益', X):-
A= '収益の定義：',
B= '純資産（資本）を増加させる取引で，増資など営業活動でないものを除く．',
C= '勘定科目の具体例：',
D= (boki0(d(4,_),'勘定科目',('収益',K)),write(K)),
X = [A,B,C,D].
boki0(b(11), '費用', X):-
A= '費用の定義：',
B= '純資産を減少させる取引や利益獲得の手段．ただし減資などを除く．',
C= '勘定科目の具体例：',
D= (boki0(d(5,_),'勘定科目',('費用',K)),write(K)),
X = [A,B,C,D].
%------------------------------------------------------------%
/* 仕訳の基本ルール : boki0/3, rule group c */
%------------------------------------------------------------%
% 借方（左）の増加や発生は、資金の使途を表す項目＝資産・費用。
% 貸方（右）の増加や発生は、資金の出所を表す項目＝負債・資本・収益。
boki0(c(0), '貸借の一致', ('借方合計'(X),'貸方合計'(Y))):- X=Y.
boki0(c(1), '資金使途の項目', ('資産','増加','借方（左）')).
boki0(c(2), '資金使途の項目', ('費用','発生','借方（左）')).
boki0(c(3), '資金使途の項目', ('資産','減少','貸方（右）')).
boki0(c(4), '資金使途の項目', ('費用','取消','貸方（右）')).
boki0(c(5), '資金出所の項目', ('負債','増加','貸方（右）')).
boki0(c(6), '資金出所の項目', ('資本','増加','貸方（右）')).
boki0(c(7), '資金出所の項目', ('収益','発生','貸方（右）')).
boki0(c(8), '資金出所の項目', ('負債','減少','借方（左）')).
boki0(c(9), '資金出所の項目', ('資本','減少','借方（左）')).
boki0(c(10), '資金出所の項目', ('収益','取消','借方（左）')).
%------------------------------------------------------------%
/* 勘定科目 : boki0/3, rule group d */
%------------------------------------------------------------%
% 資産
boki0(d(1,1),'勘定科目',('資産','現金')).
boki0(d(1,2),'勘定科目',('資産','当座預金')). %二勘定制
boki0(d(1,3),'勘定科目',('資産','当座')). %一勘定制
boki0(d(1,4),'勘定科目',('資産','貸倒引当金')). %評価勘定（マイナス）
boki0(d(1,5),'勘定科目',('資産','受取手形')).
boki0(d(1,6),'勘定科目',('資産','小口現金')).
boki0(d(1,7),'勘定科目',('資産','売掛金')).
boki0(d(1,8),'勘定科目',('資産','有価証券')).
boki0(d(1,9),'勘定科目',('資産','商品')).
boki0(d(1,10),'勘定科目',('資産','貸付金')).
boki0(d(1,11),'勘定科目',('資産','前渡金')).
boki0(d(1,12),'勘定科目',('資産','建物')).
boki0(d(1,13),'勘定科目',('資産','機械')).
boki0(d(1,14),'勘定科目',('資産','備品')).
boki0(d(1,15),'勘定科目',('資産','車両')).
boki0(d(1,16),'勘定科目',('資産','土地')).
boki0(d(1,17),'勘定科目',('資産','借地権')).
boki0(d(1,18),'勘定科目',('資産','電話加入権')).
boki0(d(1,19),'勘定科目',('資産','開発費')).
boki0(d(1,20),'勘定科目',('資産','試験研究費')).
% 負債
boki0(d(2,1),'勘定科目',('負債','支払手形')).
boki0(d(2,2),'勘定科目',('負債','買掛金')).
boki0(d(2,3),'勘定科目',('負債','借入金')).
boki0(d(2,4),'勘定科目',('負債','預り金')).
boki0(d(2,5),'勘定科目',('負債','前受金')).
boki0(d(2,6),'勘定科目',('負債','社債')).
boki0(d(2,7),'勘定科目',('負債','退職給与引当金')).
boki0(d(2,8),'勘定科目',('負債','当座貸越')). %二勘定制
% 資本
boki0(d(3,1),'勘定科目',('資本','資本金')).
boki0(d(3,2),'勘定科目',('資本','資本準備金')).
boki0(d(3,3),'勘定科目',('資本','利益準備金')).
boki0(d(3,4),'勘定科目',('資本','別途積立金')).
boki0(d(3,5),'勘定科目',('資本','未処分利益')).
% 収益
boki0(d(4,1),'勘定科目',('収益','売上')).
boki0(d(4,2),'勘定科目',('収益','受取利息')).
boki0(d(4,3),'勘定科目',('収益','受取手数料')).
boki0(d(4,4),'勘定科目',('収益','受取家賃')).
boki0(d(4,5),'勘定科目',('収益','雑収入')).
% 費用
boki0(d(5,1),'勘定科目',('費用','仕入')).
boki0(d(5,2),'勘定科目',('費用','給料')).
boki0(d(5,3),'勘定科目',('費用','消耗品費')).
boki0(d(5,4),'勘定科目',('費用','修繕費')).
boki0(d(5,5),'勘定科目',('費用','通信費')).
boki0(d(5,6),'勘定科目',('費用','広告宣伝費')).
boki0(d(5,7),'勘定科目',('費用','運賃')).
boki0(d(5,8),'勘定科目',('費用','支払家賃')).
boki0(d(5,9),'勘定科目',('費用','旅費交通費')).
boki0(d(5,10),'勘定科目',('費用','接待交際費')).
boki0(d(5,11),'勘定科目',('費用','租税公課')).
boki0(d(5,12),'勘定科目',('費用','水道光熱費')).
boki0(d(5,13),'勘定科目',('費用','支払保険料')).
boki0(d(5,14),'勘定科目',('費用','福利厚生費')).
boki0(d(5,15),'勘定科目',('費用','支払手数料')).
boki0(d(5,16),'勘定科目',('費用','雑費')).
boki0(d(5,17),'勘定科目',('費用','支払利息割引料')).
boki0(d(5,18),'勘定科目',('費用','雑損失')).
% 仮分類
%（現金過不足は判明したら上記に分類する。
% 決算時でもなお未確定なら、雑損失・雑収入とする。）
boki0(d(6,1),'勘定科目',('仮分類','現金過不足')).
% 未分類
boki0(d(7,1),'勘定科目',('未分類','原材料')).
boki0(d(7,2),'勘定科目',('未分類','工程仕掛品')).
boki0(d(7,3),'勘定科目',('未分類','仕掛品')).
boki0(d(7,4),'勘定科目',('未分類','差異')).
boki0(d(7,5),'勘定科目',('未分類','製品')).
boki0(d(7,6),'勘定科目',('未分類','売掛')).
boki0(d(7,7),'勘定科目',('未分類','Ａ事業部')).
boki0(d(7,8),'勘定科目',('未分類','支店')).
boki0(d(7,9),'勘定科目',('未分類','減価償却引当金')).
boki0(d(7,10),'勘定科目',('未分類','商品販売益')).
boki0(d(7,11),'勘定科目',('未分類','原材料')).
boki0(d(7,12),'勘定科目',('未分類','工程仕掛品')).
boki0(d(7,13),'勘定科目',('未分類','仕掛品')).
boki0(d(7,14),'勘定科目',('未分類','間接費')).
boki0(d(7,15),'勘定科目',('未分類','直接労務費')).
boki0(d(7,16),'勘定科目',('未分類','支店')).
boki0(d(7,17),'勘定科目',('未分類','機械')).
boki0(d(7,18),'勘定科目',('未分類','固定資産売却益金')).
%------------------------------------------------------------%
/* 仕訳上の科目読み替え : boki0/3, rule group e */
%------------------------------------------------------------%
boki0(e(1),'仕訳辞書',('お金','現金','通貨')).
boki0(e(2),'仕訳辞書',('貨幣','現金','通貨')).
boki0(e(3),'仕訳辞書',('紙幣','現金','通貨')).
boki0(e(4),'仕訳辞書',('他人振り出し小切手','現金','通貨代用証券')).
boki0(e(5),'仕訳辞書',('送金小切手','現金','通貨代用証券')).
boki0(e(6),'仕訳辞書',('郵便為替証券','現金','通貨代用証券')).
boki0(e(7),'仕訳辞書',('配当金領収書','現金','通貨代用証券')).
boki0(e(8),'仕訳辞書',('公社債の期限到来済の利札','現金','通貨代用証券')).
boki0(e(9),'仕訳辞書',('予約販売','前受金')).
%------------------------------------------------------------%
/* 仕訳の簡単な例題 : boki0/3, rule group q */
%------------------------------------------------------------%
boki0(q(1,s),'問','100円の商品を販売し，代金は現金で受け取った。').
boki0(q(2,s),'問','￥12,000の商品を仕入れ，代金は掛とした。').
boki0(q(3,s),'問','上記で仕入れた商品を￥15,000で販売し，代金は掛とした。').
boki0(q(1,a),'答',('現金',100 ; '売上',100)).
boki0(q(2,a),'答',('仕入',12000 ; '買掛金',12000)).
boki0(q(3,a),'答',('売上',15000 ; '売上',15000)).
%日商簿記検定の例題
% いくつかの連続する取引と科目の選択肢
boki0(q(4,s),'問','既製服の小売りをしている関東商店の10月中における取引は，下記のとおりであった。よって，次の中から勘定科目を選んで，仕訳を示しなさい。').
boki0(q(4,s),'科目','売掛金').
boki0(q(4,s),'科目','貸付金').
boki0(q(4,s),'科目','交通費').
boki0(q(4,s),'科目','買掛金').
boki0(q(4,s),'科目','借入金').
boki0(q(4,s),'科目','現金').
boki0(q(4,s),'科目','資本金').
boki0(q(4,s),'科目','商品').
boki0(q(4,s),'科目','商品売買益').
boki0(q(4,s),'科目','当座預金').
boki0(q(4,s),'科目','広告料').
boki0(q(4,s),'科目','通信費').
boki0(q(4,s),'問','10月3日 太田商会から婦人用スーツ5着＠￥40,000を仕入れ，代金は今月末に支払うことにした。').
boki0(q(4,s),'問','8日 電話代￥5,000を現金で支払った。').
boki0(q(4,s),'問','21日 10月3日に仕入れた婦人用スーツのうち，1着を￥50,000で売り渡し，代金のうち￥30,000は現金で受け取り，残額は翌月受け取ることにした。').
boki0(q(4,s),'問','31日 太田商会への10月3日の商品代金￥200,000を，小切手を振り出して支払った。').
%------------------------------------------------------------%
/* 仕訳の実行 : boki0/3, rule group t */
%------------------------------------------------------------%
% 正しい貸方・借方の勘定科目の組み合わせを生成する。
% 前出の仕訳の基本ルールcを、改めて要約すると、以下のようである。
% 借方（左）で（['増加','発生']）:-
% 資金使途の項目（['資産','費用']）．
% 貸方（右）で（['増加','発生']）:-
% 資金出所の項目（['負債','資本','収益']）．
% 借方（左）で（['減少','取消']）:-
% 資金出所の項目（['負債','資本','収益']）．
% 貸方（右）で（['減少','取消']）:-
% 資金使途の項目（['資産','費用']）．
% 例１：
% 取引内容： 販売（売上：収益＆増加→右）
% 受取（現金：資産＆増加→左）
% 仕訳： （借）現金 50 （貸）売上 50
% 例２：
% 取引内容： 仕入（買掛金：負債＆減少→左）
% 支払（現金：資産＆減少→右）
% 仕訳： （借）買掛金 80 （貸）現金 80
boki0(t(0),'取引パタン',((L1,X,Z1),(L2,Y,Z2))):-
boki0(c(_), '資金使途の項目', (X,Z1,L1)),
boki0(c(_), '資金出所の項目', (Y,Z2,L2)),
member((F,Z1),[(1,'増加'),(1,'発生'),(2,'減少'),(2,'取消')]),
member((F,Z2),[(1,'増加'),(1,'発生'),(2,'減少'),(2,'取消')]),
member(L1,['借方（左）','貸方（右）']),
member(L2,['借方（左）','貸方（右）']),
L2 \= L1.
boki0(t(1),'価格',(Y,'円')):-
member(Y,[100,5000,12000,15000,30000,40000,50000,200000]).
boki0(t(2),'日付',D):-
member(D, ['10月3日','8日','21日','31日','翌月']).
boki0(t(3),'取引先',E):-
member(E,['太田商会','関東商店']).
boki0(t(4),'仕訳パタン',((X:Z1,Y:Z2),(L1:A,L2:B))):-
boki0(t(0),'取引パタン',((L1,X,Z1),(L2,Y,Z2))),
boki0(d(_,_),'勘定科目',(X,A)),
boki0(d(_,_),'勘定科目',(Y,B)).
boki0(t(5),'仕訳データ',((X:Z1,Y:Z2),(L1:A,L2:B,C-'円',D,E))):-
boki0(t(1),'価格',(C,'円')),
boki0(t(2),'日付',D), %'省略可能'
boki0(t(3),'取引先',E), % '省略可能'
boki0(t(4),'仕訳パタン',((X:Z1,Y:Z2),(L1:A,L2:B))).
boki0(t(6),'仕訳清書',((L,OL,C-'円' ; R,OR,C-'円'),((X,Z1),(Y,Z2),D,E))):-
boki0(t(5),'仕訳データ',((X:Z1,Y:Z2),(L1:A,L2:B,C-'円',D,E))),
member(('借方（左）',OL,'（借）'),[(L1,A,L),(L2,B,L)]),
member(('貸方（右）',OR,'（貸）'),[(L1,A,R),(L2,B,R)]).
siwake((P1,Q1),(P2,Q2),(L,A,Y),(R,B,Y),C):-
boki0(d(P1,Q1),_,(_,A)),
boki0(d(P2,Q2),_,(_,B)),
boki0(t(6),'仕訳清書',((L,A,Y;R,B,Y),C)),
write((L,A,Y;R,B,Y)),nl,write(C).
% siwake /5 は、勘定科目が右左とも１つづつのときに限り、
% 担当者が勘定科目を番号で指定し、取引の日付けや金額などと
% 共にデータ入力すると、正しい仕訳が出力される。
% boki0(t) のルール群は、最終的な仕訳に至るまでの中間的作業
% に相当し、取引や仕訳の正しいパタンと勘定科目を生成・確認
% することができるので、担当者の知的作業を助けになる。
%------------------------------------------------------------%
/* 出題・診断プログラム : sindan /0 */
%------------------------------------------------------------%
% imported and modified: file: quiz1.pl(5 Mar 2003)
% 学習者の仕訳知識を診断するためのテスト問題
% を出題し、回答を診断・分析する。より具体的には
% 以下の２タイプの知識にかんする質問の選択肢を、
% 乱数を使って生成する。
%--------------------------------
% 問題１：勘定科目と項目の関係について
% 問題２：仕訳のルールについて
%--------------------------------
%--------------------------------
% 問題データベース（生成プログラム）
%--------------------------------
% 問題文、選択肢、および正解
%--------------------------------
'質問'(1,'問題文','勘定科目と項目の関係で正しいものを選びなさい。',_):-
L = [7,8,9,10,11],
forall(member(N,L),
(
boki0(b(N), A, _),
random_choice((X,Ans),
(boki0(d(_,_),'勘定科目',(Ans,X)), Ans \= '未分類')
),
(Ans = A -> Y = yes; Y = no),
K is N - 6,
update_qdata(1,K,(A,X,Y))
)
).
'質問'(1,'選択肢'(K),(X-'は'-A-'である。'),Y):-
L = [1,2,3,4,5],
member(K,L),
qdata(_,1,K,(A,X,Y)).
'質問'(1,'選択肢'(6),('以上の中に正しいものがない。'),Y):-
(\+ qdata(_,1,_K,(_A,_X,yes)) -> Y = yes; Y = no).
'質問'(2,'問題文',('以下の選択肢の中から、正しいものを一つ選びなさい。'),_):-
length(L,5),
forall(nth1(K,L,_),
(
random_choice((A,B,Ans),
boki0(c(_), '資金使途の項目', (A,B,Ans))
),
random_choice(C,
member(C,['借方（左）','貸方（右）'])
),
(Ans = C -> Y = yes; Y = no),
update_qdata(2,K,(A,B,C,Y))
)
).
'質問'(2,'選択肢'(K),(A-'の'-B-'は'-C-'に記入する。'),Y):-
L = [1,2,3,4,5],
member(K,L),
qdata(_,2,K,(A,B,C,Y)).
'質問'(2,'選択肢'(6),('以上の中に正しいものがない。'),Y):-
(\+ qdata(_,2,_K,(_,_,_,yes)) -> Y = yes; Y = no).
% 問題生成コマンド
%--------------------------------
question(N,problem,Q,Y):-
'質問'(N,'問題文',Q,Y).
question(N,alternative(No),S,Ans):-
'質問'(N,'選択肢'(No),S,Ans).
% 問題の初期化・生成
%--------------------------------
init_qdata(N):-
retractall(qdata(_,N,K,_A)),
tstamp(no,T),
assert(qdata(T,N,K,unspecified)).
update_qdata(N,K,A):-
retractall(qdata(_,N,K,_B)),
tstamp(no,T),
assert(qdata(T,N,K,A)).
% 乱数によるゴールの選択
%--------------------------------
random_choice(G,P):-
findall(G,P,Z),
length(Z,N),
R is random(N),
nth0(R,Z,G).
%--------------------------------
% クイズ出題・採点プログラム
%--------------------------------
quiz(N):-
init_qdata(N),
question(N,problem,Text,_),
wr_question(Text,60),
wr_alternative(N),
init_udata(N),
user_input(User),
question(N,alternative(User),_,Y),
update_user_response(N,User,Y,C),
wr_result(C,_M).
%--------------------------------
% 簡易インタフェース
%--------------------------------
% 問題文章の表示 etc.
%--------------------------------
wr_question(B,Y):-
wr_star(_,Y),
nl,tab(4),
write(B),
nl,
wr_star(_,Y),
nl.
% '選択肢'の表示
%--------------------------------
wr_alternative(N):-
question(N,alternative(X),Y,_Z),
tab(5),
write(X),
write('. '),
write(Y),
nl,
fail.
wr_alternative(_):-!.
% 採点結果表示
%--------------------------------
wr_result(C,M):-
(
(C,M) = (1,'正解です！')
;
(C,M) = (0,'不正解です。')
),
wr_star(_,30),
nl,tab(4),
write(M),
nl,
wr_star(_,30),
nl.
% ユーザ回答記録の初期化・更新
%--------------------------------
init_udata(N):-
retractall(udata(_T,N,_,_)).
update_user_response(N,U,Y,C):-
(
(Y,C) = (yes,1)
;
(Y,C) = (no,0)
),
retractall(udata(_,N,U,C)),
tstamp(no,T),
assert(udata(T,N,U,C)).
% ユーザーによる回答入力
%--------------------------------
user_input(User):-
nl,tab(4),
write('Type a number ( 番号を入力)->'),
read(User).
%--------------------------------
% その他のユーティリティー
%--------------------------------
% データの画面表示
%--------------------------------
wn(Z):- write(Z), nl.
'書け'(X):- write(X).
% ☆ラインの繰り返し
%--------------------------------
wr_star([],0).
wr_star(L,N):-
length(L,N),
X='*',
L=[X|Y],
write(X),
wr_star(Y,N1),
N1 is N - 1.
% ---------------------
% 質問・診断の実行
% ---------------------
% クイズ実行
% ---------------------
sindan:-
quiz(_N),fail.
% 学習診断と教示のメイン
% ---------------------
sindan:-
nl,
write('% --------------------------'),nl,
write('% 診断結果を出力します。(y)'),nl,
write('% --------------------------'),nl,
read(y),
sindan0,
save_results.
sindan0:-
umodel(A,B,C,D),
kyoji(A,B,C,D),
fail.
sindan0:-
nl,
write('% 診断おわり。').
% 学習者モデル抽出サブシステム
%--------------------------------
umodel(1,B,C,0):-
C = (X,Y,no),
qdata(_,1,B,C),
udata(_,1,B,0),
nl,
write('% --------------------------'),
nl,
write('% 質問 1 で'),
write('不正解だった回答パタン：'),
nl,
write('% あなたの選んだ答え：'),
write(((X,Y),'選択肢番号'=B)),
nl.
umodel(2,B,C,0):-
C = (X,Y,Z,no),
qdata(_,2,B,C),
udata(_,2,B,0),
nl,
write('% --------------------------'),
nl,
write('% 質問 2 で'),
write('不正解だった回答パタン：'),
nl,
write('% あなたの選んだ答え：'),
write(((X,Y,Z),'選択肢番号'=B)),nl,
nl.
umodel(1,B,C,1):-
C = (X,Y,yes),
qdata(_,1,B,C),
udata(_,1,B,1),
nl,
write('% --------------------------'),
nl,
write('% 質問 1 は正解でした。'),
nl,
write('% あなたの選んだ答え：'),
write(((X,Y),'選択肢番号'=B)),
nl.
umodel(2,B,C,1):-
C = (X,Y,Z,yes),
qdata(_,2,B,C),
udata(_,2,B,1),
nl,
write('% --------------------------'),
nl,
write('% 質問 2 は正解でした。'),
nl,
write('% あなたの選んだ答え：'),
write(((X,Y,Z),'選択肢番号'=B)),nl,
nl.
% 教示サブシステム
%--------------------------------
kyoji(1,_K,(A,B,no),0):-
nl,
write('% まちがえた項目と科目の関係：'),
write((A,B)),nl,
boki0(d(_,_),'勘定科目',(A1,B)),
write('% 正しくは、この科目は「'),
write(A1),write('」に属します。'),nl,
write('% これらの項目、「'),
write(A1),write('」と「'),write(A),
write('」に属する科目を復習してください。'),nl,
wr_right_answer(1),
nl.
kyoji(2,_K,(A,B,C0,no),0):-
boki0(c(_), W, (A,B,C)),
nl,
(
boki0(c(_), W, (A,B,_)),
write('% あなたが答えた項目は「'),
write(W),
write('」をあらわすものです。ですから、'),nl,
write('% 基本ルールにより、'),
write(C0),write(' ではなく、'),
write(C),write(' に記入します。')
),
nl,
wr_right_answer(2),
nl.
kyoji(1,_K,(_A,_B,yes),1):-
nl,
write('% これにかんしては、とくにアドバイスはありません。'),
nl.
kyoji(2,_K,(_A,_B,_C,yes),1):-
nl,
write('% これにかんしては、とくにアドバイスはありません。'),
nl.
wr_right_answer(1):-
nl,
write('% ちなみに、この問題の正解選択肢は、'),
tab(2),
(
qdata(_,1,J,(A1,B1,yes))->
(
write((A1,B1,'選択肢番号':J)),
write('でした。'),nl,
write('% この項目/科目も復習してください。')
)
;
write('ありませんでした。')
).
wr_right_answer(2):-
nl,
qdata(_,2,J,(A1,B1,C1,yes)),
boki0(c(_), W1, (A1,B1,C1)),
!,
nl,
write('% ちなみにこの問題の正解のひとつは、'),
write((A1,B1,C1,'選択肢番号':J)),
write('でした。'),nl,
write('% また項目「'),
write(A1),
write('」は'),
write(W1),
write('です。').
% 問題と診断結果の保存
%--------------------------------
save_results:-
nl,
write('% ------------------------------------------'),nl,
write('% 問題と診断結果をファイルに保存します。(y)'),nl,
File='sindan0.txt',
write('% なお保存先ファイル名は、'),
write(File),
write('% です。'),nl,
write('% ------------------------------------------'),nl,
(
read(y)
->
(
G=forall(
((D = qdata(_,A,B,C);D = udata(_,A,B,C)),D),
(nl,write(D),write('.'))
),
tell_goal(File,(nl,G,nl,sindan0,nl))
)
;
(
write('確認：ファイル保存しないのですね？(y)'),
(read(y)->true; save_results),
write('了解。'),
nl
)
).
% 任意ゴール実行中画面の保存
%--------------------------------
tell_goal(File,G):-
%File='sindan0.txt',
(current_stream(File,write,S0)->close(S0);true),
% open(File,write,S,[alias(siwa0)]),
open(File,write,S),
tell(File),
nl,
tstamp('% file output start time ',_),
nl,
write('%---------- start from here ------------%'),
G,
write('%---------- end of data ------------%'),
nl,
tstamp('% file output end time ',_),
tell(user),
close(S),
% The following is to cope with the duplicated stream problem.
% Sorry, I'm not ascertain now the cause of it whether a bug of swi.
(current_stream(File,write,S1)->close(S1);true).
% 実行時刻の取得
%--------------------------------
tstamp(no,T):-
get_time(U),
convert_time(U,A,B,C,D,E,F,_G),
T = [date(A/B/C), time(D:E:F)],
nl.
tstamp(Word,T):-
\+ var(Word),
Word \= no,
get_time(U),
convert_time(U,A,B,C,D,E,F,_G),
T = [date(A/B/C), time(D:E:F)],
% format('~`.t~t~a~30|~`.t~t~70|~n',[Word]),
write((Word,T)),
nl.
% プログラムの終わり
return to front page.