/tutorial/backtracking/tiny_prolog/prolog_integer.e
Specman e | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 4da5d82076ed9452d44034af36e58480 MD5 | raw file
1class PROLOG_INTEGER 2inherit PROLOG_TERM 3feature 4 type: INTEGER is type_integer 5 value: INTEGER 6end