Show
Ignore:
Timestamp:
06/30/08 09:22:26 (5 months ago)
Author:
pmoura
Message:

Updated the sample queries of the "ack" example.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/examples/ack/SCRIPT.txt

    r4323 r4334  
    1313 
    1414 
    15 % some example queries: 
     15% some example queries for back-end Prolog compilers implementing the  
     16% time/1 timing predicate (e.g. SWI-Prlog, YAP, or XSB): 
    1617 
    1718?- time(ack::ack(2, 4, V)). 
    … …  
    2627% 25,730 inferences, 0.01 CPU in 0.01 seconds (89% CPU, 2573000 Lips) 
    2728V = 125. 
     29 
     30 
     31% some example queries for other back-end Prolog compilers: 
     32 
     33?- ack::ack(2, 4, V). 
     34V = 11 
     35yes 
     36 
     37?- ack::ack(3, 3, V). 
     38V = 61 
     39yes 
     40 
     41?- ack::ack(3, 4, V). 
     42V = 125 
     43yes