gcd.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:08.0
disk size 269 Bytes
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents
%Source: http://research.cs.queensu.ca/home/cisc260/2015w/examples/Arithmetic.pl
%query:gcd(f,f,g).
gcd(X,0,X) :- !.
gcd(0,X,X) :- !.
gcd(X,Y,Divisor) :- X>=Y, !, Y>0, Remainder is X mod Y, gcd(Y,Remainder,Divisor).
gcd(X,Y,Divisor) :- X<Y, !, X > 0, gcd(Y,X,Divisor).
popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark