Viewing profile — h_sakurai

I write Prolog version bulletML in Prolog. https://github.com/hsk/bulletpl/blob/master/bulletpl/1943_ro... It is a movement of the rolling fire of CAPCOM shooting game 1943. Origin…

https://github.com/hsk/simpletapl/blob/master/prolog5/fullup... I have rewritten all TAPL code in Prolog. It was very interesting. https://github.com/mitsuchi/copl-in-prolog/ This …

eval(I,I):-integer(I). eval(E1+E2,I):- eval(E1,I1),eval(E2,I2), I is I1+I2. eval(E1 E2,I):- eval(E1,I1),eval(E2,I2), I is I1 I2. :- eval(1 2+3 4,R),writeln(R),R=14. :- halt. Very s…