├── .gitignore ├── LICENSE ├── README.md ├── pack.pl ├── prolog ├── deref_reexport.pl ├── facts_to_table.pl ├── file_to_module.pl ├── fix_termpos.pl ├── i18n │ ├── i18n_file_utils.pl │ ├── i18n_refactor.pl │ └── i18n_trans.pl ├── move_assr.pl ├── move_preds.pl ├── pretty_decl.pl ├── ref_changes.pl ├── ref_command.pl ├── ref_context.pl ├── ref_expand.pl ├── ref_message.pl ├── ref_msgtype.pl ├── ref_replace.pl ├── ref_replacers.pl ├── ref_replay.pl ├── ref_scenarios.pl ├── ref_shell.pl ├── refactor.pl ├── seek_text.pl └── term_info.pl └── tests ├── add_arg_sent.pl ├── add_arg_sent.plt ├── add_arrow_op.pl ├── add_arrow_op.plt ├── add_element_list.pl ├── add_element_list.plt ├── add_ini_end.plt ├── add_literal.pl ├── add_literal.plt ├── add_operator1.pl ├── add_operator1.plt ├── add_operator2.pl ├── add_operator2.plt ├── add_sentence_var.pl ├── add_sentence_var.plt ├── add_singleton.pl ├── add_singleton.plt ├── add_string.pl ├── add_string.plt ├── add_subterm.pl ├── add_subterm.plt ├── add_to_empty_file.pl ├── add_to_empty_file.plt ├── append_list.pl ├── append_list.plt ├── atomic_subst.pl ├── atomic_subst.plt ├── auto_variable_name.pl ├── auto_variable_name.plt ├── auto_variable_name1.pl ├── bodyb_layout.pl ├── bodyb_layout.plt ├── change_arithmetic.pl ├── change_arithmetic.plt ├── change_conjunction.pl ├── change_conjunction.plt ├── change_operator.pl ├── change_operator.plt ├── collapse_bindings.pl ├── collapse_bindings.plt ├── comments_ex.pl ├── comments_ex.plt ├── conj_width.pl ├── conj_width.plt ├── conjunction_unfold.pl ├── conjunction_unfold.plt ├── cutpaste.pl ├── cutpaste.plt ├── decrease_head_rec.pl ├── decrease_head_rec.plt ├── del_elem_list.pl ├── del_elem_list.plt ├── del_last_literal.pl ├── del_last_literal.plt ├── del_literal.pl ├── del_literal.plt ├── dict_subst.pl ├── dict_subst.plt ├── excommsent.pl ├── execute_test.pl ├── follow_layout.pl ├── follow_layout.plt ├── gcb.plt ├── goal_loaded.pl ├── goal_loaded.plt ├── goal_non_loaded.pl ├── goal_non_loaded.plt ├── ident_sentence.pl ├── ident_sentence.plt ├── keep_comments.pl ├── keep_comments.plt ├── keep_layout.pl ├── keep_layout.plt ├── keep_list_layout.pl ├── keep_list_layout.plt ├── keep_quotes.pl ├── keep_quotes.plt ├── linearize.pl ├── linearize.plt ├── list_layout.pl ├── list_layout.plt ├── list_tail.pl ├── list_tail.plt ├── listb.pl ├── listb.plt ├── max_changes.pl ├── max_changes.plt ├── move_empty_list.pl ├── move_empty_list.plt ├── move_terms.plt ├── nested_lists.pl ├── nested_lists.plt ├── new_variables.pl ├── new_variables.plt ├── op_offset.pl ├── op_offset.plt ├── operator1.pl ├── operator_to_operator.plt ├── operator_to_pred.plt ├── preserve_comments.pl ├── preserve_comments.plt ├── refactor_common.pl ├── refspeed.plt ├── remove_literal.pl ├── remove_literal.plt ├── remove_sentence.pl ├── remove_sentence.plt ├── rename_functor.pl ├── rename_functor.plt ├── rename_term.pl ├── rename_term.plt ├── repl_conj.pl ├── repl_conj.plt ├── repl_empty_list.pl ├── repl_empty_list.plt ├── repl_operator.pl ├── repl_operator.plt ├── replace_sentences.pl ├── replace_sentences.plt ├── save_changes.plt ├── seekn_parenthesis_right.pl ├── seekn_parenthesis_right.plt ├── self_refactor.plt ├── sentence_list.pl ├── sentence_list.plt ├── sub_lists.pl ├── sub_lists.plt ├── subst_layout.pl ├── subst_layout.plt ├── subst_modq_term.pl ├── subst_modq_term.plt ├── subst_vars.pl ├── subst_vars.plt ├── substitute_list.pl ├── substitute_list.plt ├── successive_operators.pl ├── successive_operators.plt ├── swap_args_dcg.pl ├── swap_args_dcg.plt ├── tags_dict.pl ├── tags_dict.plt ├── term_width.pl ├── term_width.plt ├── term_with_op.pl ├── term_with_op.plt ├── to_listb.pl ├── to_listb.plt ├── var_to_term.pl └── var_to_term.plt /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | *.diff 3 | *.log 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/README.md -------------------------------------------------------------------------------- /pack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/pack.pl -------------------------------------------------------------------------------- /prolog/deref_reexport.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/deref_reexport.pl -------------------------------------------------------------------------------- /prolog/facts_to_table.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/facts_to_table.pl -------------------------------------------------------------------------------- /prolog/file_to_module.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/file_to_module.pl -------------------------------------------------------------------------------- /prolog/fix_termpos.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/fix_termpos.pl -------------------------------------------------------------------------------- /prolog/i18n/i18n_file_utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/i18n/i18n_file_utils.pl -------------------------------------------------------------------------------- /prolog/i18n/i18n_refactor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/i18n/i18n_refactor.pl -------------------------------------------------------------------------------- /prolog/i18n/i18n_trans.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/i18n/i18n_trans.pl -------------------------------------------------------------------------------- /prolog/move_assr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/move_assr.pl -------------------------------------------------------------------------------- /prolog/move_preds.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/move_preds.pl -------------------------------------------------------------------------------- /prolog/pretty_decl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/pretty_decl.pl -------------------------------------------------------------------------------- /prolog/ref_changes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_changes.pl -------------------------------------------------------------------------------- /prolog/ref_command.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_command.pl -------------------------------------------------------------------------------- /prolog/ref_context.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_context.pl -------------------------------------------------------------------------------- /prolog/ref_expand.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_expand.pl -------------------------------------------------------------------------------- /prolog/ref_message.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_message.pl -------------------------------------------------------------------------------- /prolog/ref_msgtype.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_msgtype.pl -------------------------------------------------------------------------------- /prolog/ref_replace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_replace.pl -------------------------------------------------------------------------------- /prolog/ref_replacers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_replacers.pl -------------------------------------------------------------------------------- /prolog/ref_replay.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_replay.pl -------------------------------------------------------------------------------- /prolog/ref_scenarios.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_scenarios.pl -------------------------------------------------------------------------------- /prolog/ref_shell.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/ref_shell.pl -------------------------------------------------------------------------------- /prolog/refactor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/refactor.pl -------------------------------------------------------------------------------- /prolog/seek_text.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/seek_text.pl -------------------------------------------------------------------------------- /prolog/term_info.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/prolog/term_info.pl -------------------------------------------------------------------------------- /tests/add_arg_sent.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_arg_sent.pl -------------------------------------------------------------------------------- /tests/add_arg_sent.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_arg_sent.plt -------------------------------------------------------------------------------- /tests/add_arrow_op.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_arrow_op.pl -------------------------------------------------------------------------------- /tests/add_arrow_op.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_arrow_op.plt -------------------------------------------------------------------------------- /tests/add_element_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_element_list.pl -------------------------------------------------------------------------------- /tests/add_element_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_element_list.plt -------------------------------------------------------------------------------- /tests/add_ini_end.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_ini_end.plt -------------------------------------------------------------------------------- /tests/add_literal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_literal.pl -------------------------------------------------------------------------------- /tests/add_literal.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_literal.plt -------------------------------------------------------------------------------- /tests/add_operator1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_operator1.pl -------------------------------------------------------------------------------- /tests/add_operator1.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_operator1.plt -------------------------------------------------------------------------------- /tests/add_operator2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_operator2.pl -------------------------------------------------------------------------------- /tests/add_operator2.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_operator2.plt -------------------------------------------------------------------------------- /tests/add_sentence_var.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_sentence_var.pl -------------------------------------------------------------------------------- /tests/add_sentence_var.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_sentence_var.plt -------------------------------------------------------------------------------- /tests/add_singleton.pl: -------------------------------------------------------------------------------- 1 | 2 | f(_, B). 3 | -------------------------------------------------------------------------------- /tests/add_singleton.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_singleton.plt -------------------------------------------------------------------------------- /tests/add_string.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_string.pl -------------------------------------------------------------------------------- /tests/add_string.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_string.plt -------------------------------------------------------------------------------- /tests/add_subterm.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_subterm.pl -------------------------------------------------------------------------------- /tests/add_subterm.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_subterm.plt -------------------------------------------------------------------------------- /tests/add_to_empty_file.pl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/add_to_empty_file.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/add_to_empty_file.plt -------------------------------------------------------------------------------- /tests/append_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/append_list.pl -------------------------------------------------------------------------------- /tests/append_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/append_list.plt -------------------------------------------------------------------------------- /tests/atomic_subst.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/atomic_subst.pl -------------------------------------------------------------------------------- /tests/atomic_subst.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/atomic_subst.plt -------------------------------------------------------------------------------- /tests/auto_variable_name.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/auto_variable_name.pl -------------------------------------------------------------------------------- /tests/auto_variable_name.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/auto_variable_name.plt -------------------------------------------------------------------------------- /tests/auto_variable_name1.pl: -------------------------------------------------------------------------------- 1 | p(_Y, g( _)). 2 | -------------------------------------------------------------------------------- /tests/bodyb_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/bodyb_layout.pl -------------------------------------------------------------------------------- /tests/bodyb_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/bodyb_layout.plt -------------------------------------------------------------------------------- /tests/change_arithmetic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_arithmetic.pl -------------------------------------------------------------------------------- /tests/change_arithmetic.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_arithmetic.plt -------------------------------------------------------------------------------- /tests/change_conjunction.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_conjunction.pl -------------------------------------------------------------------------------- /tests/change_conjunction.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_conjunction.plt -------------------------------------------------------------------------------- /tests/change_operator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_operator.pl -------------------------------------------------------------------------------- /tests/change_operator.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/change_operator.plt -------------------------------------------------------------------------------- /tests/collapse_bindings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/collapse_bindings.pl -------------------------------------------------------------------------------- /tests/collapse_bindings.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/collapse_bindings.plt -------------------------------------------------------------------------------- /tests/comments_ex.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/comments_ex.pl -------------------------------------------------------------------------------- /tests/comments_ex.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/comments_ex.plt -------------------------------------------------------------------------------- /tests/conj_width.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/conj_width.pl -------------------------------------------------------------------------------- /tests/conj_width.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/conj_width.plt -------------------------------------------------------------------------------- /tests/conjunction_unfold.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/conjunction_unfold.pl -------------------------------------------------------------------------------- /tests/conjunction_unfold.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/conjunction_unfold.plt -------------------------------------------------------------------------------- /tests/cutpaste.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/cutpaste.pl -------------------------------------------------------------------------------- /tests/cutpaste.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/cutpaste.plt -------------------------------------------------------------------------------- /tests/decrease_head_rec.pl: -------------------------------------------------------------------------------- 1 | 2 | p([p(a),f(p(b))]) :- p(X),X=1. 3 | -------------------------------------------------------------------------------- /tests/decrease_head_rec.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/decrease_head_rec.plt -------------------------------------------------------------------------------- /tests/del_elem_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_elem_list.pl -------------------------------------------------------------------------------- /tests/del_elem_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_elem_list.plt -------------------------------------------------------------------------------- /tests/del_last_literal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_last_literal.pl -------------------------------------------------------------------------------- /tests/del_last_literal.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_last_literal.plt -------------------------------------------------------------------------------- /tests/del_literal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_literal.pl -------------------------------------------------------------------------------- /tests/del_literal.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/del_literal.plt -------------------------------------------------------------------------------- /tests/dict_subst.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/dict_subst.pl -------------------------------------------------------------------------------- /tests/dict_subst.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/dict_subst.plt -------------------------------------------------------------------------------- /tests/excommsent.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/excommsent.pl -------------------------------------------------------------------------------- /tests/execute_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/execute_test.pl -------------------------------------------------------------------------------- /tests/follow_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/follow_layout.pl -------------------------------------------------------------------------------- /tests/follow_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/follow_layout.plt -------------------------------------------------------------------------------- /tests/gcb.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/gcb.plt -------------------------------------------------------------------------------- /tests/goal_loaded.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/goal_loaded.pl -------------------------------------------------------------------------------- /tests/goal_loaded.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/goal_loaded.plt -------------------------------------------------------------------------------- /tests/goal_non_loaded.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/goal_non_loaded.pl -------------------------------------------------------------------------------- /tests/goal_non_loaded.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/goal_non_loaded.plt -------------------------------------------------------------------------------- /tests/ident_sentence.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/ident_sentence.pl -------------------------------------------------------------------------------- /tests/ident_sentence.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/ident_sentence.plt -------------------------------------------------------------------------------- /tests/keep_comments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_comments.pl -------------------------------------------------------------------------------- /tests/keep_comments.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_comments.plt -------------------------------------------------------------------------------- /tests/keep_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_layout.pl -------------------------------------------------------------------------------- /tests/keep_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_layout.plt -------------------------------------------------------------------------------- /tests/keep_list_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_list_layout.pl -------------------------------------------------------------------------------- /tests/keep_list_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_list_layout.plt -------------------------------------------------------------------------------- /tests/keep_quotes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_quotes.pl -------------------------------------------------------------------------------- /tests/keep_quotes.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/keep_quotes.plt -------------------------------------------------------------------------------- /tests/linearize.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/linearize.pl -------------------------------------------------------------------------------- /tests/linearize.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/linearize.plt -------------------------------------------------------------------------------- /tests/list_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/list_layout.pl -------------------------------------------------------------------------------- /tests/list_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/list_layout.plt -------------------------------------------------------------------------------- /tests/list_tail.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/list_tail.pl -------------------------------------------------------------------------------- /tests/list_tail.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/list_tail.plt -------------------------------------------------------------------------------- /tests/listb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/listb.pl -------------------------------------------------------------------------------- /tests/listb.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/listb.plt -------------------------------------------------------------------------------- /tests/max_changes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/max_changes.pl -------------------------------------------------------------------------------- /tests/max_changes.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/max_changes.plt -------------------------------------------------------------------------------- /tests/move_empty_list.pl: -------------------------------------------------------------------------------- 1 | f([A|T], B, [/**/]). 2 | -------------------------------------------------------------------------------- /tests/move_empty_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/move_empty_list.plt -------------------------------------------------------------------------------- /tests/move_terms.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/move_terms.plt -------------------------------------------------------------------------------- /tests/nested_lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/nested_lists.pl -------------------------------------------------------------------------------- /tests/nested_lists.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/nested_lists.plt -------------------------------------------------------------------------------- /tests/new_variables.pl: -------------------------------------------------------------------------------- 1 | 2 | p(a(_N), R) :- R = g(f(a), "b"). 3 | -------------------------------------------------------------------------------- /tests/new_variables.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/new_variables.plt -------------------------------------------------------------------------------- /tests/op_offset.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/op_offset.pl -------------------------------------------------------------------------------- /tests/op_offset.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/op_offset.plt -------------------------------------------------------------------------------- /tests/operator1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/operator1.pl -------------------------------------------------------------------------------- /tests/operator_to_operator.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/operator_to_operator.plt -------------------------------------------------------------------------------- /tests/operator_to_pred.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/operator_to_pred.plt -------------------------------------------------------------------------------- /tests/preserve_comments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/preserve_comments.pl -------------------------------------------------------------------------------- /tests/preserve_comments.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/preserve_comments.plt -------------------------------------------------------------------------------- /tests/refactor_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/refactor_common.pl -------------------------------------------------------------------------------- /tests/refspeed.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/refspeed.plt -------------------------------------------------------------------------------- /tests/remove_literal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/remove_literal.pl -------------------------------------------------------------------------------- /tests/remove_literal.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/remove_literal.plt -------------------------------------------------------------------------------- /tests/remove_sentence.pl: -------------------------------------------------------------------------------- 1 | :- module(remove_sentence, []). 2 | 3 | :- dynamic a/1 . 4 | 5 | -------------------------------------------------------------------------------- /tests/remove_sentence.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/remove_sentence.plt -------------------------------------------------------------------------------- /tests/rename_functor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/rename_functor.pl -------------------------------------------------------------------------------- /tests/rename_functor.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/rename_functor.plt -------------------------------------------------------------------------------- /tests/rename_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/rename_term.pl -------------------------------------------------------------------------------- /tests/rename_term.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/rename_term.plt -------------------------------------------------------------------------------- /tests/repl_conj.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_conj.pl -------------------------------------------------------------------------------- /tests/repl_conj.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_conj.plt -------------------------------------------------------------------------------- /tests/repl_empty_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_empty_list.pl -------------------------------------------------------------------------------- /tests/repl_empty_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_empty_list.plt -------------------------------------------------------------------------------- /tests/repl_operator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_operator.pl -------------------------------------------------------------------------------- /tests/repl_operator.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/repl_operator.plt -------------------------------------------------------------------------------- /tests/replace_sentences.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/replace_sentences.pl -------------------------------------------------------------------------------- /tests/replace_sentences.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/replace_sentences.plt -------------------------------------------------------------------------------- /tests/save_changes.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/save_changes.plt -------------------------------------------------------------------------------- /tests/seekn_parenthesis_right.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/seekn_parenthesis_right.pl -------------------------------------------------------------------------------- /tests/seekn_parenthesis_right.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/seekn_parenthesis_right.plt -------------------------------------------------------------------------------- /tests/self_refactor.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/self_refactor.plt -------------------------------------------------------------------------------- /tests/sentence_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/sentence_list.pl -------------------------------------------------------------------------------- /tests/sentence_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/sentence_list.plt -------------------------------------------------------------------------------- /tests/sub_lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/sub_lists.pl -------------------------------------------------------------------------------- /tests/sub_lists.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/sub_lists.plt -------------------------------------------------------------------------------- /tests/subst_layout.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_layout.pl -------------------------------------------------------------------------------- /tests/subst_layout.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_layout.plt -------------------------------------------------------------------------------- /tests/subst_modq_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_modq_term.pl -------------------------------------------------------------------------------- /tests/subst_modq_term.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_modq_term.plt -------------------------------------------------------------------------------- /tests/subst_vars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_vars.pl -------------------------------------------------------------------------------- /tests/subst_vars.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/subst_vars.plt -------------------------------------------------------------------------------- /tests/substitute_list.pl: -------------------------------------------------------------------------------- 1 | p([[A, B]]) :- 2 | A = [B]. 3 | -------------------------------------------------------------------------------- /tests/substitute_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/substitute_list.plt -------------------------------------------------------------------------------- /tests/successive_operators.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/successive_operators.pl -------------------------------------------------------------------------------- /tests/successive_operators.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/successive_operators.plt -------------------------------------------------------------------------------- /tests/swap_args_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/swap_args_dcg.pl -------------------------------------------------------------------------------- /tests/swap_args_dcg.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/swap_args_dcg.plt -------------------------------------------------------------------------------- /tests/tags_dict.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/tags_dict.pl -------------------------------------------------------------------------------- /tests/tags_dict.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/tags_dict.plt -------------------------------------------------------------------------------- /tests/term_width.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/term_width.pl -------------------------------------------------------------------------------- /tests/term_width.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/term_width.plt -------------------------------------------------------------------------------- /tests/term_with_op.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/term_with_op.pl -------------------------------------------------------------------------------- /tests/term_with_op.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/term_with_op.plt -------------------------------------------------------------------------------- /tests/to_listb.pl: -------------------------------------------------------------------------------- 1 | f([a- ~t, b]). 2 | -------------------------------------------------------------------------------- /tests/to_listb.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/to_listb.plt -------------------------------------------------------------------------------- /tests/var_to_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/var_to_term.pl -------------------------------------------------------------------------------- /tests/var_to_term.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edisonm/refactor/HEAD/tests/var_to_term.plt --------------------------------------------------------------------------------