File: benches.pl

package info (click to toggle)
swi-prolog 9.0.4%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 82,408 kB
  • sloc: ansic: 387,503; perl: 359,326; cpp: 6,613; lisp: 6,247; java: 5,540; sh: 3,147; javascript: 2,668; python: 1,900; ruby: 1,594; yacc: 845; makefile: 428; xml: 317; sed: 12; sql: 6
file content (26 lines) | stat: -rw-r--r-- 401 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
:- prolog_load_context(directory, Dir),
   working_directory(_, Dir).

benches :-
	bench(B),
	atom_concat(B, '.chr', File),
	style_check(-singleton),
	abolish(main,0),
	abolish(main,1),
	[File],
%	(main;main;main;main),
	main,
	fail.
benches.

bench(bool).
bench(fib).
bench(fibonacci).
bench(leq).
bench(primes).
bench(ta).
bench(wfs).
bench(zebra).

cputime(Time) :-
	statistics(runtime, [_,Time]).