/tutorial/backtracking/tiny_prolog/tiny_prolog.e

http://github.com/tybor/Liberty · Specman e · 13 lines · 12 code · 1 blank · 0 comment · 0 complexity · a042a6335ebd77961135042228a782bd MD5 · raw file

  1. class TINY_PROLOG creation make feature
  2. make is do
  3. create base.make
  4. create parser.make(base)
  5. from io.get_line until io.end_of_input loop
  6. parser.put_line(io.last_string)
  7. io.get_line
  8. end
  9. end
  10. base: BASE
  11. parser: PARSER
  12. end