/tutorial/backtracking/tiny_prolog/prolog_term.e
Specman e | 11 lines | 10 code | 1 blank | 0 comment | 0 complexity | 7d23e8550aaab29e61f4c9bf993a84fa MD5 | raw file
1deferred class PROLOG_TERM 2inherit PROLOG_COMMONS 3feature 4 type: INTEGER is 5 deferred 6 ensure 7 Result=type_atom or Result=type_integer or Result=type_float or Result=type_var or Result=type_coumpound 8 end 9 arity: INTEGER is do end 10end 11