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 is XML base, however…
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 is another textbook "Concept of…
eval(I,I):-integer(I). eval(E1+E2,I):- eval(E1,I1),eval(E2,I2), I is I1+I2. eval(E1E2,I):- eval(E1,I1),eval(E2,I2), I is I1I2. :- eval(12+34,R),writeln(R),R=14. :- halt. Very simple Operational Semantics. this mean…
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 is XML base, however…
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 is another textbook "Concept of…
eval(I,I):-integer(I). eval(E1+E2,I):- eval(E1,I1),eval(E2,I2), I is I1+I2. eval(E1E2,I):- eval(E1,I1),eval(E2,I2), I is I1I2. :- eval(12+34,R),writeln(R),R=14. :- halt. Very simple Operational Semantics. this mean…