NJ4.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:07.0
disk size 345 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
%query: p(i,i,i,o).
/*
Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram; The Size-Change
Principle for Program Termination
*/

p(M,N,s(R),RES) :- p(M,R,N,RES).
p(M,s(N),R,RES) :- p(R,N,M,RES).
p(M,_,_,M).


/*TWDESC

Program with permutd parameters

*/


/*TWDEMO

selected_norms([termsize_nodes]).
settings([cm=poly_mc,widenk=2]).
*/
/*.

*/
popout

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

actions get anonymous link download benchmark