/tutorial/backtracking/tiny_prolog/prolog_term.e

http://github.com/tybor/Liberty · Specman e · 11 lines · 10 code · 1 blank · 0 comment · 0 complexity · 7d23e8550aaab29e61f4c9bf993a84fa MD5 · raw file 

    

  1. deferred class PROLOG_TERM
    2. 

  2. inherit PROLOG_COMMONS
    3. 

  3. feature
    4. 

  4. 	type: INTEGER is 
    5. 

  5. 		deferred 
    6. 

  6. 		ensure 
    7. 

  7. 			Result=type_atom or Result=type_integer or Result=type_float or Result=type_var or Result=type_coumpound
    8. 

  8. 		end
    9. 

  9. 	arity: INTEGER is do end
    10. 

  10. end
    11.