Documentation

Getting Started

• Introduction
• Installation
• Authors and Contributors

Language Reference

• Introduction
• Operational semantics of FASILL
• Implementation
• Conclusions

Predicates

Note, that documentation for some predicates may not be comprehensive.

• all_td/1 – Empty description.
• anonymousVar/1 – Empty description.
• applow/3 – Empty description.
• assert_rules/1 – Empty description.
• aux/2 – Empty description.
• aux_to_file/2 – Empty description.
• changedir/1 – Empty description.
• char2list/2 – Empty description.
• clean/2 – Empty description.
• clean/0 – Empty description.
• clean_complex_comment/2 – Empty description.
• clean_simple_comment/2 – Empty description.
• close/0 – Empty description.
• close_ref/0 – Empty description.
• close_sim/0 – Empty description.
• close_sim/1 – Empty description.
• close_sim_d/2 – Empty description.
• close_sim_r/2 – Empty description.
• close_trans/0 – Empty description.
• close_trans/1 – Empty description.
• close_trans/3 – Empty description.
• comp/3 – Empty description.
• create_list/0 – Empty description.
• del_file/1 – Empty description.
• depth/0 – Empty description.
• discardAnonymous/2 – Empty description.
• empty/1 – Empty description.
• eraseLastPart/2 – Empty description.
• exists/2 – Empty description.
• fasiller_default/0 – Empty description.
• getdir/2 – Empty description.
• getStateVars/2 – Empty description.
• indent/1 – Empty description.
• insert_rules/2 – Empty description.
• insert_transformation/1 – Empty description.
• intro/0 – Empty description.
• intro/1 – Empty description.
• ismode/0 – Empty description.
• is_derivation/2 – Empty description.
• lat/0 – Empty description.
• lat_test/0 – Empty description.
• lcut/0 – Empty description.
• leaves/0 – Empty description.
• leaves2/4 – Empty description.
• leaves3/4 – Empty description.
• letter/1 – Empty description.
• list/0 – Empty description.
• list/1 – Empty description.
• list2id/2 – Empty description.
• list_pl/1 – Empty description.
• load/0 – Empty description.
• malp_aVarConvert/2 – Empty description.
• malp_begin/0 – Empty description.
• malp_end/0 – Empty description.
• malp_errors/0 – Empty description.
• malp_errors2/1 – Empty description.
• malp_newError/1 – Empty description.
• malp_newError_foundExpected/3 – Empty description.
• malp_newLine/0 – Empty description.
• malp_newWarning/1 – Empty description.
• malp_numErrors/0 – Empty description.
• malp_resetAVar/0 – Empty description.
• mayus/1 – Empty description.
• may_assert/1 – Empty description.
• may_insert/1 – Empty description.
• menu/0 – Empty description.
• mgu/4 – Empty description.
• minus/1 – Empty description.
• nth_/4 – Empty description.
• operate_AS/4 – Empty description.
• operate_AS_param/2 – Empty description.
• parse/0 – Empty description.
• parse/1 – Empty description.
• parser/2 – Empty description.
• prints/1 – Empty description.
• prints2/2 – Empty description.
• prints3/1 – Empty description.
• prints_list/1 – Empty description.
• prints_subs/1 – Empty description.
• print_exe/1 – Empty description.
• print_exe2/1 – Empty description.
• print_list/1 – Empty description.
• print_state/1 – Empty description.
• quit/0 – Empty description.
• rename/2 – Empty description.
• retract_rules/1 – Empty description.
• rev/2 – Empty description.
• rule/5 – Empty description.
• rule_current_id/1 – Empty description.
• rule_insert_id/1 – Empty description.
• run/0 – Empty description.
• run2/2 – Empty description.
• run2/1 – Empty description.
• run3/3 – Empty description.
• save/0 – Empty description.
• select_atom/4 – Empty description.
• select_expression/4 – Empty description.
• setParsingState/1 – Empty description.
• set_sim_lcut/0 – Empty description.
• set_sim_lcut/1 – Empty description.
• set_sim_tconorm/0 – Empty description.
• set_sim_tconorm/1 – Empty description.
• set_sim_tnorm/0 – Empty description.
• set_sim_tnorm/1 – Empty description.
• set_subs_leaves/3 – Empty description.
• set_subs_leaves2/3 – Empty description.
• show/0 – Empty description.
• sim/0 – Empty description.
• sim2/1 – Empty description.
• step/4 – Empty description.
• step_AS/6 – Empty description.
• step_IS/6 – Empty description.
• step_SIS/6 – Empty description.
• stop/0 – Empty description.
• str2td/2 – Empty description.
• stream2list/2 – Empty description.
• subs/3 – Empty description.
• term2char/2 – Empty description.
• terms2PlList/3 – Empty description.
• title/0 – Empty description.
• to_char_list/2 – Empty description.
• to_file/2 – Empty description.
• to_string/3 – Empty description.
• transformation/4 – Empty description.
• transformation_current_id/1 – Empty description.
• transformation_goto/1 – Empty description.
• transformation_insert_id/1 – Empty description.
• transformation_next/0 – Empty description.
• transformation_prev/0 – Empty description.
• transformation_unsafe_goto/1 – Empty description.
• tree/0 – Empty description.
• tree2/4 – Empty description.
• tree3/5 – Empty description.
• try/2 – Empty description.
• tsExtract/3 – Empty description.
• tsExtract2/1 – Empty description.
• tsInsert/1 – Empty description.
• ts_search/2 – Empty description.
• ts_search2/3 – Empty description.
• ts_searchmap/2 – Empty description.
• unfold/1 – Empty description.
• unfolding/2 – Empty description.
• unif/2 – Empty description.
• user_help/0 – Empty description.
• validForm/1 – Empty description.
• validForm2/1 – Empty description.
• wipe_module/1 – Empty description.