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

logic: facts.pl hush-3.1/share


[.] - [up] [top] - index make source logic slides talks
  

random facts


  
  property(all,_:ok).
  
  fact(0,'Clinton is president').
  fact(1,'Clinton is happy').
  fact(2,'Clinton is not happy').
  
  

slide: random facts

  

[.] Papers Tutorials Examples Manuals Interfaces Sources Packages Resources ?
Hush Online Technology
hush@cs.vu.nl
11/03/98