h_sakurai

4 ms·

1. 1.▲
   by h_sakurai 4y ago

   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. Original Bullet ML DSL i
2. 2.▲
   by h_sakurai 4y ago

   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&#x2
3. 3.▲
   by h_sakurai 4y ago

   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 simple Operational Semantics. this mean syntax e ::= i | e+e