The DejaVU Framework -- hush 3.0
[.] Papers Tutorials Examples Manuals Interfaces Sources Packages Resources ?

logic: ctr.pl hush-3.0b4/api/grammar/examples/dlp

[.] - [up] [top] - index README C++ make include source logic grammar scripts

The DLP counter example

ctr

  object ctr {
  var n=0.
  
  ctr():- true.
  
  inc():- n := n + 1.
  value(N):- N = n, tell(N).
  
  tell(N):- call hush(clips,val(N)).
  
  run(X) :-
          C = new(ctr()),
          C.inc(),
          C.value(X).
  };
slide: ctr
  
  run(X) :-
          C = new ctr(),
          C.run(X),
          write(ctr(X)),nl.
  
  run :- run(_).
  
  run_ctr :- run.
[.] Papers Tutorials Examples Manuals Interfaces Sources Packages Resources ?
Hush Online Technology
hush@cs.vu.nl
09/09/98