425 Lines

12 Predicates

10 Exports

0 Imports

Imports	Exports
	Name: prob_extension/1 Name: compile_time_unavailable_extension/2 Name: module_path_implements_extension/3 Name: silently_fail_unavailable_predicate/3 Name: lib_component_implements_extension/4 Name: lib_file_suffix/3 Name: load_spec_file_requires_extension/2 Name: preference_value_requires_extension/3 Name: probcli_command_requires_extension/2 Name: external_function_requires_extension/2

Imports

Exports

Name: prob_extension/1

Name: compile_time_unavailable_extension/2

Name: module_path_implements_extension/3

Name: silently_fail_unavailable_predicate/3

Name: lib_component_implements_extension/4

Name: lib_file_suffix/3

Name: load_spec_file_requires_extension/2

Name: preference_value_requires_extension/3

Name: probcli_command_requires_extension/2

Name: external_function_requires_extension/2

Predicates

Predicates:

compile_time_unavailable_extension/2

core_extension/1

external_function_requires_extension/2

get_module_name/2

lib_component_implements_extension/4

lib_file_suffix/3

load_spec_file_requires_extension/2

module_path_implements_extension/3

preference_value_requires_extension/3

prob_extension/1

probcli_command_requires_extension/2

silently_fail_unavailable_predicate/3

compile_time_unavailable_extension/2

core_extension/1

external_function_requires_extension/2

external_function_requires_extension('KODKOD',kodkod_extension).

external_function_requires_extension('KODKOD_SOLVE',kodkod_extension).

external_function_requires_extension('REGEX_MATCH',regexp_extension).

external_function_requires_extension('REGEX_IMATCH',regexp_extension).

external_function_requires_extension('IS_REGEX',regexp_extension).

external_function_requires_extension('REGEX_REPLACE',regexp_extension).

external_function_requires_extension('REGEX_IREPLACE',regexp_extension).

external_function_requires_extension('REGEX_SEARCH_STR',regexp_extension).

external_function_requires_extension('REGEX_ISEARCH_STR',regexp_extension).

external_function_requires_extension('REGEX_SEARCH',regexp_extension).

external_function_requires_extension('REGEX_ISEARCH',regexp_extension).

external_function_requires_extension('REGEX_SEARCH_ALL',regexp_extension).

external_function_requires_extension('REGEX_ISEARCH_ALL',regexp_extension).

external_function_requires_extension('MACHINE_INFO',probhash_extension).

external_function_requires_extension('SHA_HASH',probhash_extension).

external_function_requires_extension('SHA_HASH_HEX',probhash_extension).

external_function_requires_extension('SHA_HASH_FILE_HEX',probhash_extension).

external_function_requires_extension('SATSOLVER_SOLVE',satsolver_extension).

external_function_requires_extension('READ_XML',xml2b_extension).

external_function_requires_extension(svg_points, external_svg_extension).

external_function_requires_extension(svg_train, external_svg_extension).

external_function_requires_extension(svg_axis, external_svg_extension).

external_function_requires_extension(svg_set_polygon,external_svg_extension).

external_function_requires_extension(svg_dasharray_for_intervals,external_svg_extension).

external_function_requires_extension('STRING_TO_REAL',external_reals_extension).

external_function_requires_extension('RADD',external_reals_extension).

external_function_requires_extension('RSUB',external_reals_extension).

external_function_requires_extension('RMUL',external_reals_extension).

external_function_requires_extension('RDIV',external_reals_extension).

get_module_name/2

lib_component_implements_extension/4

lib_file_suffix/3

load_spec_file_requires_extension/2

module_path_implements_extension/3

module_path_implements_extension(chrsrc(M),M,chr_extension).

module_path_implements_extension(cbcsrc(M),M,cbc_extension).

module_path_implements_extension(covsrc(hit_profiler),hit_profiler,hit_profiler_extension).

module_path_implements_extension(disproversrc(M),M,disprover_extension).

module_path_implements_extension(dotsrc(M),M,dot_extension).

module_path_implements_extension(cdclt_solver(M),M,cdclt_extension).

module_path_implements_extension(extrasrc(atelierb_provers_interface),atelierb_provers_interface,atelierb_extension).

module_path_implements_extension(extrasrc(avl_ugraphs),avl_ugraphs,avl_ugraphs_extension).

module_path_implements_extension(extrasrc(b_expression_sharing),b_expression_sharing,cse_extension).

module_path_implements_extension(extrasrc(b_operation_cache),b_operation_cache,opcache_extension).

module_path_implements_extension(extrasrc(b2setlog),b2setlog,setlog_extension).

module_path_implements_extension(extrasrc(before_after_predicates),before_after_predicates,wp_ba_extension).

module_path_implements_extension(extrasrc(bvisual2),bvisual2,bvisual2_extension).

module_path_implements_extension(extrasrc(coverage_statistics),coverage_statistics,coverage_extension).

module_path_implements_extension(extrasrc(external_functions_svg),external_functions_svg,external_svg_extension).

module_path_implements_extension(extrasrc(external_functions_reals),external_functions_svg,external_reals_extension).

module_path_implements_extension(extrasrc(graphical_state_viewer_images),graphical_state_viewer_images,graphical_state_viewer_extension).

module_path_implements_extension(extrasrc(json_parser),json_parser,json_extension).

module_path_implements_extension(extrasrc(latex_processor),latex_processor,latex_extension).

module_path_implements_extension(extrasrc(meta_interface),meta_interface,meta_interface_extension).

module_path_implements_extension(extrasrc(mcdc_coverage),mcdc_coverage,mcdc_coverage_extension).

module_path_implements_extension(extrasrc(optimizing_solver),optimizing_solver,optimizing_solver_extension).

module_path_implements_extension(extrasrc(predicate_debugger),predicate_debugger,predicate_debugger_extension).

module_path_implements_extension(extrasrc(refinement_checker),refinement_checker,refinement_extension).

module_path_implements_extension(extrasrc(state_graph_canon),state_graph_canon,state_graph_extension).

module_path_implements_extension(extrasrc(unsat_cores),unsat_cores,unsat_core_extension).

module_path_implements_extension(extrasrc(weakest_preconditions),weakest_preconditions,wp_ba_extension).

module_path_implements_extension(extrasrc(xml2b),xml2b,xml2b_extension).

module_path_implements_extension(extrasrc(table_tools),table_tools,table_tools_extension).

module_path_implements_extension(kodkodsrc(M),M,kodkod_extension).

module_path_implements_extension(pltablesrc(M),M,pltables_extension).

module_path_implements_extension(probcspsrc(M),M,cspm_extension).

module_path_implements_extension(probltlsrc(M),M,ltl_extension).

module_path_implements_extension(probltlsrc(ltl_safety),ltl_safety,ltl2ba_extension).

module_path_implements_extension(probpgesrc(M),M,pge_extension). %pge_algo:do_not_evaluate_guard/0

module_path_implements_extension(probporsrc(M),M,por_extension).

module_path_implements_extension(probsrc('alloy2b/alloy2b'),alloy2b,alloy2b_extension).

module_path_implements_extension(prozsrc(M),M,fuzz_extension).

module_path_implements_extension(smt_solvers_interface(M),M,smt_extension).

module_path_implements_extension(smtlib_solver(M),M,smtlib_extension).

module_path_implements_extension(symsrc(M),M,symmetry_extension).

module_path_implements_extension(symbolic_model_checker(M),M,symbolic_model_checker_extension).

module_path_implements_extension(synthesis(M),N,synthesis_extension) :- (get_module_name(M,N) -> true ; M=N).

module_path_implements_extension(tcltkuisrc(M),M,tcltk_extension).

module_path_implements_extension(visbsrc(M),M,visb_extension).

module_path_implements_extension(wdsrc(M),M,wd_extension).

module_path_implements_extension(extension('bliss/bliss_interface'),bliss_interface,bliss_extension).

module_path_implements_extension(extension('counter/counter'),counter,counter_extension).

module_path_implements_extension(extension('cvc4interface/cvc4interface'),cvc4interface,smt_extension).

module_path_implements_extension(extension('ltl2ba/ltl2ba'),ltl2ba,ltl2ba_extension).

module_path_implements_extension(extension('ltlc/ltlc'),ltlc,ltl_extension).

module_path_implements_extension(extension('ltsmin/ltsmin_trace'),ltsmin_trace,ltsmin_extension).

module_path_implements_extension(extension('ltsmin/ltsmin'),ltsmin,ltsmin_extension).

module_path_implements_extension(extension('myheap/myheap'),myheap,myheap_extension).

module_path_implements_extension(extension('nauty/graphiso'),graphiso,nauty_extension).

module_path_implements_extension(extension('plspec/plspec/plspec_core'),plspec_core,plspec_extension).

module_path_implements_extension(extension('plspec/plspec/prettyprinter'),prettyprinter,plspec_extension).

module_path_implements_extension(extension('probhash/probhash'),probhash,probhash_extension).

module_path_implements_extension(extension('prolog_fuzzer/fuzzing'),fuzzing,fuzzing_extension).

module_path_implements_extension(extension('random_permutations/random_permutations'),random_permutations,random_permutations).

module_path_implements_extension(extension('regexp/regexp'),regexp,regexp_extension).

module_path_implements_extension(extension('satsolver/satsolver'),satsolver,satsolver_extension).

module_path_implements_extension(extension('timer/timer'),timer,timer_extension).

module_path_implements_extension(extension('z3interface/z3interface'),z3interface,smt_extension).

module_path_implements_extension(extension('zmq/master/master'),master,zmq_extension).

module_path_implements_extension(extension('zmq/worker/worker'),worker,zmq_extension).

module_path_implements_extension(extension('zmq/zmq'),zmq,zmq_extension).

preference_value_requires_extension/3

prob_extension/1

prob_extension(alloy2b_extension).

prob_extension(atelierb_extension).

prob_extension(avl_ugraphs_extension).

prob_extension(bliss_extension).

prob_extension(bvisual2_extension).

prob_extension(cbc_extension).

prob_extension(chr_extension).

prob_extension(counter_extension).

prob_extension(core).

prob_extension(cse_extension).

prob_extension(cspm_extension).

prob_extension(coverage_extension).

prob_extension(disprover_extension).

prob_extension(dot_extension).

prob_extension(cdclt_extension).

prob_extension(external_svg_extension).

prob_extension(external_reals_extension).

prob_extension(fuzz_extension).

prob_extension(fuzzing_extension).

prob_extension(graphical_state_viewer_extension).

prob_extension(hit_profiler_extension).

prob_extension(json_extension).

prob_extension(kodkod_extension).

prob_extension(latex_extension).

prob_extension(ltl_extension).

prob_extension(ltl2ba_extension).

prob_extension(ltsmin_extension).

prob_extension(mcdc_coverage_extension).

prob_extension(meta_interface_extension).

prob_extension(myheap_extension).

prob_extension(nauty_extension).

prob_extension(opcache_extension).

prob_extension(optimizing_solver_extension).

prob_extension(pge_extension).

prob_extension(plspec_extension).

prob_extension(pltables_extension).

prob_extension(por_extension).

prob_extension(predicate_debugger_extension).

prob_extension(probhash_extension).

prob_extension(random_permutations).

prob_extension(refinement_extension).

prob_extension(regexp_extension).

prob_extension(satsolver_extension).

prob_extension(setlog_extension).

prob_extension(smt_extension).

prob_extension(smtlib_extension).

prob_extension(state_graph_extension).

prob_extension(symbolic_model_checker_extension).

prob_extension(symmetry_extension).

prob_extension(synthesis_extension).

prob_extension(table_tools_extension).

prob_extension(tcltk_extension).

prob_extension(timer_extension).

prob_extension(tla2b_extension).

prob_extension(tlc4b_extension).

prob_extension(unsat_core_extension).

prob_extension(visb_extension).

prob_extension(wd_extension).

prob_extension(wp_ba_extension).

prob_extension(xml2b_extension).

prob_extension(zmq_extension).

probcli_command_requires_extension/2

probcli_command_requires_extension(ltl_assertions,ltl_extension).

probcli_command_requires_extension(ltl_formula_model_check(_,_),ltl_extension).

probcli_command_requires_extension(ltl_file(_),ltl_extension).

probcli_command_requires_extension(dot_command(_,_),dot_extension).

probcli_command_requires_extension(dot_command_for_expr(_,_,_,_),dot_extension).

probcli_command_requires_extension(csv_table_command(_,_,_,_),meta_interface_extension).

probcli_command_requires_extension(process_latex_file(_,_),latex_extension).

probcli_command_requires_extension(ltsmin2(_), ltsmin_extension).

probcli_command_requires_extension(ltsmin_ltl_output(_), ltsmin_extension).

probcli_command_requires_extension(ltsmin_option(_),ltsmin_extension).

probcli_command_requires_extension(visb_history(_,_,_),visb_extension).

probcli_command_requires_extension(cli_start_mc_with_tlc,tlc4b_extension).

probcli_command_requires_extension(cli_check_disprover_result(_),disprover_extension).

probcli_command_requires_extension(kodkod_comparision(_),kodkod_extension).

probcli_command_requires_extension(kodkod_performance(_),kodkod_extension).

probcli_command_requires_extension(zmq_master(_),zmq_extension).

probcli_command_requires_extension(zmq_worker(_),zmq_extension).

probcli_command_requires_extension(zmq_assertion(_),zmq_extension).

probcli_command_requires_extension(csp_main(_),cspm_extension).

probcli_command_requires_extension(csp_in_situ_refinement_check(_,_,_),cspm_extension).

probcli_command_requires_extension(csp_checkAssertion(_,_,_),cspm_extension).

probcli_command_requires_extension(eval_csp_expression(_),cspm_extension).

probcli_command_requires_extension(csp_get_assertions,cspm_extension).

probcli_command_requires_extension(csp_translate_to_file(_),cspm_extension).

probcli_command_requires_extension(add_csp_guide(_),cspm_extension).

probcli_command_requires_extension(cli_wd_check(_,_),wd_extension).

probcli_command_requires_extension(cli_symbolic_model_check(_),symbolic_model_checker_extension).

probcli_command_requires_extension(cli_start_sym_mc_with_lts(_),ltsmin_extension).

probcli_command_requires_extension(ltsmin,ltsmin_extension).

probcli_command_requires_extension(get_min_max_coverage(_),coverage_extension).

probcli_command_requires_extension(get_coverage_information(_),coverage_extension).

probcli_command_requires_extension(coverage(_,_,ShowEnabledInfo),coverage_extension) :-
ShowEnabledInfo \== just_check_stats, ShowEnabledInfo \== just_summary.

probcli_command_requires_extension(refinement_check(_,_,_),refinement_extension).

probcli_command_requires_extension(csp_in_situ_refinement_check(_,_),refinement_extension).

probcli_command_requires_extension(csp_checkAssertion(_,_),refinement_extension).

probcli_command_requires_extension(all_deadlocking_paths(_),cbc_extension).

probcli_command_requires_extension(cbc_tests(_),cbc_extension).

probcli_command_requires_extension(enabling_analysis_csv(_),cbc_extension).

probcli_command_requires_extension(feasibility_analysis_csv(_),cbc_extension).

probcli_command_requires_extension(test_description(_),cbc_extension).

probcli_command_requires_extension(cbc_sequence(_,_,_),cbc_extension).

probcli_command_requires_extension(trace_check(json,_,_),json_extension).

probcli_command_requires_extension(trace_check('JSON',_,_),json_extension).

probcli_command_requires_extension(cbc_option(unsat_core),unsat_core_extension).

probcli_command_requires_extension(disprover_options(Opts),unsat_core_extension) :-
member(disprover_option(unsat_core),Opts).

probcli_command_requires_extension(dot_command(_,_),meta_interface_extension).

probcli_command_requires_extension(dot_command_for_expr(_,_,_,_),meta_interface_extension).

probcli_command_requires_extension(check_statespace_hash(_,_),probhash_extension).

probcli_command_requires_extension(cli_print_statistics(hit_profile),hit_profiler_extension). % in covsrc

silently_fail_unavailable_predicate/3

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_myheap,false)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(disable_chr,true)
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 11)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 13)
* Indexing cannot distinguish this from clause 14.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 14)
* Indexing cannot distinguish this from clause 15.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 15)
* Indexing cannot distinguish this from clause 16.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 16)
* Indexing cannot distinguish this from clause 17.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 17)
* Indexing cannot distinguish this from clause 18.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 18)
* Indexing cannot distinguish this from clause 19.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 19)
* Indexing cannot distinguish this from clause 20.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 20)
* Indexing cannot distinguish this from clause 21.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 21)
* Indexing cannot distinguish this from clause 22.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 22)
* Indexing cannot distinguish this from clause 23.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 23)
* Indexing cannot distinguish this from clause 24.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 24)
* Indexing cannot distinguish this from clause 25.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 25)
* Indexing cannot distinguish this from clause 26.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 26)
* Indexing cannot distinguish this from clause 27.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 27)
* Indexing cannot distinguish this from clause 28.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 28)
* Indexing cannot distinguish this from clause 29.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 33)
* Indexing cannot distinguish this from clause 34.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 47)
* Indexing cannot distinguish this from clause 48.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 48)
* Indexing cannot distinguish this from clause 49.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 49)
* Indexing cannot distinguish this from clause 50.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 50)
* Indexing cannot distinguish this from clause 51.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 51)
* Indexing cannot distinguish this from clause 52.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 52)
* Indexing cannot distinguish this from clause 53.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 53)
* Indexing cannot distinguish this from clause 54.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 54)
* Indexing cannot distinguish this from clause 55.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 55)
* Indexing cannot distinguish this from clause 56.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 56)
* Indexing cannot distinguish this from clause 57.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 57)
* Indexing cannot distinguish this from clause 58.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 58)
* Indexing cannot distinguish this from clause 59.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 59)
* Indexing cannot distinguish this from clause 60.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 60)
* Indexing cannot distinguish this from clause 61.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 61)
* Indexing cannot distinguish this from clause 62.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 62)
* Indexing cannot distinguish this from clause 63.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 63)
* Indexing cannot distinguish this from clause 64.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 64)
* Indexing cannot distinguish this from clause 65.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 65)
* Indexing cannot distinguish this from clause 66.
* Non-determinate: pathes_extensions_db:module_path_implements_extension/3 (clause 66)
* Indexing cannot distinguish this from clause 67.
* Non-determinate: pathes_extensions_db:lib_file_suffix/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pathes_extensions_db:lib_file_suffix/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: pathes_extensions_db:lib_file_suffix/3 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: pathes_extensions_db:preference_value_requires_extension/3 (clause 11)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: pathes_extensions_db:probcli_command_requires_extension/2 (clause 4)
* Indexing cannot distinguish this from clause 46.
* Non-determinate: pathes_extensions_db:probcli_command_requires_extension/2 (clause 5)
* Indexing cannot distinguish this from clause 47.
* Non-determinate: pathes_extensions_db:probcli_command_requires_extension/2 (clause 42)
* Indexing cannot distinguish this from clause 43.

Name: =/2
Name: true
Name: get_module_name/2	Module: pathes_extensions_db
Name: ->/3

pathes_extensions_db

prob_prolog/src/pathes_extensions_db.pl

Modules

Predicates of pathes_extensions_db

Module Information

425 Lines

12 Predicates

10 Exports

0 Imports

Predicates:

compile_time_unavailable_extension/2

core_extension/1

external_function_requires_extension/2

get_module_name/2

lib_component_implements_extension/4

lib_file_suffix/3

load_spec_file_requires_extension/2

module_path_implements_extension/3

preference_value_requires_extension/3

prob_extension/1

probcli_command_requires_extension/2

silently_fail_unavailable_predicate/3

Determinacy Checker:

Name: \=/2
Name: dif/2

Name: member/2
Name: \==/2