Rexagon
/ task_10_2.pr
Created
October 13, 2017 15:53
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm delete_odds(list,list) | |
| nondeterm delete_element(list,list,integer) | |
| nondeterm print_list(list) |
Rexagon
/ task_12_2.pr
Created
October 13, 2017 16:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm summ_odds(list,integer) | |
| nondeterm summ_odds(list,integer,integer) | |
Rexagon
/ task_16.pr
Created
October 13, 2017 17:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm make_positive(list, list) | |
| nondeterm print_list(list) | |
Rexagon
/ task_24.pr
Created
October 13, 2017 17:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm change_last(list, integer, list) | |
| nondeterm print_list(list) | |
Rexagon
/ task_28.pr
Created
October 13, 2017 17:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm delete_nth(list, integer, list) | |
| nondeterm delete_nth(list, integer, integer, list) | |
| nondeterm print_list(list) |
Rexagon
/ task_35.pr
Created
October 13, 2017 18:46
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm concatenate(list, list, list) | |
| nondeterm concatenate(list, list, integer, list) | |
| nondeterm print_list(list) |
Rexagon
/ task_37.pr
Created
October 13, 2017 19:00
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm subarray(list, integer, list) | |
| nondeterm subarray(list, integer, integer, list) | |
| nondeterm print_list(list) |
Rexagon
/ task_41.pr
Created
October 13, 2017 19:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm delete_last(list, integer, list) | |
| nondeterm print_list(list) | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| list=i* | |
| i=integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm input_list(list) | |
| nondeterm insert(list, list, integer, list) | |
| nondeterm insert(list, list, integer, integer, list) | |
Rexagon
/ task_90.pr
Last active
November 14, 2017 13:32
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DOMAINS | |
| bi_t = tree_b(bi_t, string, bi_t); nil | |
| i = integer | |
| PREDICATES | |
| nondeterm main() | |
| nondeterm handle_input(bi_t, char) | |
| nondeterm find_subtree(bi_t, string, bi_t) | |
| nondeterm get_tree_height(bi_t, i) | |
| nondeterm delete_element(bi_t, string, bi_t) |