initial commit
yes-no question OK!
answer ma (but there is bug)
delete debug message and add example food
add RelfuString
add mlatu.loj
add Unification for test unification
Unification OK!
add Unif for generalization
add merge and merge'
export merge' instead of merge
add Prolog
correct bug of merge
make lojsamban2
add NotTest
add to memo
not OK Prolog.hs
'Not' OK in lojsamban2 and correct bugs
correct lo [sumti]
show answer