Search results
- ;Related task: {{works with|FriCAS}} ...113 KB (13,051 words) - 11:52, 8 February 2024
- ;Related task: {{works with|FriCAS}} ...123 KB (15,499 words) - 09:25, 29 January 2024
- ...rating verbs (functions) and then applying them to compute the rows of the related Buck function; then the Ackermann function is obtained in terms of the Buck % Peano's first axiom in Prolog is that s(0) AND s(s(N)):- s(N) ...313 KB (35,164 words) - 16:35, 16 May 2024
- ;Related tasks: {{works with|FriCAS, OpenAxiom, Axiom}} ...200 KB (21,264 words) - 15:17, 1 June 2024
- Related task is natively implemented in RPL. {{works with|FriCAS}} ...183 KB (24,377 words) - 21:55, 17 May 2024