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

logic: ctr.pl hush-3.1/grammar/ml/dlp

[.] - [up] [top] - index README make include source logic grammar scripts graphs slides talks
<h4>The DLP counter example</h4> 
  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).
  };

run

  
  run(X) :-
          C = new ctr(),
          C.run(X),
          write(ctr(X)),nl.
  
  run :- run(_).
  
  run_ctr :- run.
slide: run
[.] Papers Tutorials Examples Manuals Interfaces Sources Packages Resources ?
Hush Online Technology
hush@cs.vu.nl
11/03/98