├── LICENSE ├── README.md ├── archived └── building_SWI-Prolog │ ├── README.md │ ├── building_swipl.graphml │ └── building_swipl.png ├── code ├── README.md ├── entropy │ └── count_identical_holes.pl ├── heavycarbon │ ├── strings │ │ ├── string_overwrite_performance.plt │ │ ├── tablify.pl │ │ └── tablify.plt │ ├── support │ │ ├── meta_helpers.pl │ │ ├── safe_format.pl │ │ └── throwme_nonmodular.pl │ ├── terms │ │ ├── ABSOLUTELY_EXPERIMENTAL.txt │ │ ├── about.txt │ │ ├── annotate_mirror.pl │ │ ├── create_random_term.pl │ │ ├── create_random_term_test.pl │ │ ├── dict_based_graph.pl │ │ ├── generate.pl │ │ ├── mirror.pl │ │ ├── mirror.plt │ │ ├── synthetisize_nodes.pl │ │ ├── term_printer.pl │ │ └── unmirror.pl │ └── utils │ │ ├── TLDR_between_with_step.txt │ │ ├── TLDR_between_x.txt │ │ ├── TLDR_lenient_length.txt │ │ ├── TLDR_probe_length.txt │ │ ├── between_with_step.pl │ │ ├── between_with_step.plt │ │ ├── between_x.pl │ │ ├── between_x.plt │ │ ├── call_graph.graphml │ │ ├── clashfree_id_selection.pl │ │ ├── clashfree_id_selection.plt │ │ ├── difflist_length.pl │ │ ├── difflist_length.plt │ │ ├── in_prefix.pl │ │ ├── in_prefix.plt │ │ ├── lenient_length.pl │ │ ├── list_of_numbered_pairs.pl │ │ ├── openlist_append.pl │ │ ├── openlist_append.plt │ │ ├── partition_freely.pl │ │ ├── partition_freely.plt │ │ ├── probe_length.pl │ │ ├── probe_length.plt │ │ ├── random_atom.pl │ │ ├── random_atom.plt │ │ ├── randomly_insert.pl │ │ ├── randomly_insert.plt │ │ ├── randomly_select.pl │ │ ├── randomly_select.plt │ │ ├── replace0.pl │ │ ├── replace0.plt │ │ ├── rotate_list.pl │ │ ├── rotate_list.plt │ │ ├── splinter0.pl │ │ ├── splinter0.plt │ │ ├── vector_nth0.pl │ │ ├── vector_nth0.plt │ │ ├── vector_replace0.pl │ │ └── vector_replace0.plt ├── load_and_test_script.pl ├── snippets │ ├── build_term_for_tree.pl │ ├── citation.pl │ ├── counted.pl │ ├── counted.plt │ ├── proc_self_status.pl │ └── snippets.pl ├── tree_pp │ ├── build_term_for_tree.pl │ ├── test.pl │ └── the goal is to prettyprint a tree.txt └── various │ ├── bitlist.pl │ ├── input_into_dict.pl │ └── is_list_2.pl ├── code_unit_tests ├── README.md ├── builtin_demo │ ├── test_atom_chars.pl │ ├── test_atom_codes.pl │ ├── test_atom_string.pl │ ├── test_compound_name_arguments.pl │ ├── test_compound_name_arity.pl │ ├── test_dicts.pl │ └── test_is_list.pl ├── run_them_all.sh └── simplest │ ├── test_fail.pl │ ├── test_partially_succeed.pl │ ├── test_succeed.pl │ ├── test_throw.pl │ └── tests_demonstrating_units_tests.pl ├── compiling ├── jars │ ├── hamcrest-2.2.jar │ └── junit-4.13.2.jar ├── logic.sh ├── pics │ ├── File Structure.graphml │ ├── File Structure.svg │ ├── File Structure_with_JPL.graphml │ └── File Structure_with_JPL.svg └── swiprologpull.sh ├── foreign_interface_trial └── sayhellolib │ ├── README.md │ ├── build.sh │ ├── mod │ └── sayhellolib.pl │ └── src │ └── sayhellolib.c ├── in_progress ├── blah │ ├── Prolog Terminology │ ├── prolog_truth_values.txt │ └── template programming.txt ├── exploring │ ├── exploring_chr │ │ └── test_chr.pl │ └── exploring_jpl │ │ ├── DCG_for_classnames_in_JPL.graphml │ │ ├── DCG_for_classnames_in_JPL.svg │ │ ├── JNI_links.md │ │ ├── connect_to_libreoffice │ │ ├── FirstUnoContact.class │ │ ├── FirstUnoContact.java │ │ ├── first_uno_contact.pl │ │ ├── first_uno_contact_2.pl │ │ ├── helpers │ │ │ └── write_class_inheritance.pl │ │ ├── setup.sh │ │ └── tests │ │ │ ├── test_gregorian_calendar.pl │ │ │ └── test_java_string.pl │ │ ├── java_classname_parsing │ │ ├── java_tooling │ │ │ └── CharRangePrinter.java │ │ ├── jpl.pl │ │ ├── jpl_exceptions.pl │ │ ├── jpl_java_identifier_chars.pl │ │ ├── jpl_java_name_parsing.pl │ │ └── jpl_redux.pl │ │ └── jplex.pl ├── how_does_a_predicate_execute │ ├── how_does_a_predicate_execute.graphml │ └── how_does_a_predicate_execute.svg ├── library_aggregate │ ├── README.md │ ├── mtcars.pl │ └── mtcars_help.pl ├── lists │ └── Lists.md ├── on_dif.md ├── pldoc_trick.md ├── prolog_clause_explainer.md └── weird_numbers.pl ├── jpl_java_prolog_bridge ├── calling_from_java │ ├── README.md │ └── callprolog │ │ ├── ConnectTest.java │ │ ├── jars │ │ ├── jpl.jar │ │ ├── junitsl.jar │ │ ├── logback-classic.jar │ │ ├── logback-core.jar │ │ └── slf4j-api.jar │ │ ├── javadoc │ │ ├── allclasses-index.html │ │ ├── allpackages-index.html │ │ ├── constant-values.html │ │ ├── deprecated-list.html │ │ ├── element-list │ │ ├── help-doc.html │ │ ├── index-all.html │ │ ├── index.html │ │ ├── member-search-index.js │ │ ├── member-search-index.zip │ │ ├── org │ │ │ └── jpl7 │ │ │ │ ├── Atom.html │ │ │ │ ├── Compound.html │ │ │ │ ├── Dict.html │ │ │ │ ├── Float.html │ │ │ │ ├── Integer.html │ │ │ │ ├── JPL.html │ │ │ │ ├── JPLException.html │ │ │ │ ├── JRef.html │ │ │ │ ├── PrologException.html │ │ │ │ ├── Query.html │ │ │ │ ├── Rational.html │ │ │ │ ├── Term.html │ │ │ │ ├── Util.html │ │ │ │ ├── Variable.html │ │ │ │ ├── package-summary.html │ │ │ │ └── package-tree.html │ │ ├── overview-tree.html │ │ ├── package-search-index.js │ │ ├── package-search-index.zip │ │ ├── resources │ │ │ ├── glass.png │ │ │ └── x.png │ │ ├── script-dir │ │ │ ├── external │ │ │ │ └── jquery │ │ │ │ │ └── jquery.js │ │ │ ├── images │ │ │ │ ├── ui-bg_glass_55_fbf9ee_1x400.png │ │ │ │ ├── ui-bg_glass_65_dadada_1x400.png │ │ │ │ ├── ui-bg_glass_75_dadada_1x400.png │ │ │ │ ├── ui-bg_glass_75_e6e6e6_1x400.png │ │ │ │ ├── ui-bg_glass_95_fef1ec_1x400.png │ │ │ │ ├── ui-bg_highlight-soft_75_cccccc_1x100.png │ │ │ │ ├── ui-icons_222222_256x240.png │ │ │ │ ├── ui-icons_2e83ff_256x240.png │ │ │ │ ├── ui-icons_454545_256x240.png │ │ │ │ ├── ui-icons_888888_256x240.png │ │ │ │ └── ui-icons_cd0a0a_256x240.png │ │ │ ├── jquery-3.4.1.js │ │ │ ├── jquery-ui.css │ │ │ ├── jquery-ui.js │ │ │ ├── jquery-ui.min.css │ │ │ ├── jquery-ui.min.js │ │ │ ├── jquery-ui.structure.css │ │ │ ├── jquery-ui.structure.min.css │ │ │ ├── jszip-utils │ │ │ │ └── dist │ │ │ │ │ ├── jszip-utils-ie.js │ │ │ │ │ ├── jszip-utils-ie.min.js │ │ │ │ │ ├── jszip-utils.js │ │ │ │ │ └── jszip-utils.min.js │ │ │ └── jszip │ │ │ │ └── dist │ │ │ │ ├── jszip.js │ │ │ │ └── jszip.min.js │ │ ├── script.js │ │ ├── search.js │ │ ├── serialized-form.html │ │ ├── stylesheet.css │ │ ├── system-properties.html │ │ ├── type-search-index.js │ │ └── type-search-index.zip │ │ ├── javasrc │ │ ├── jpl7 │ │ ├── make_javadoc.sh │ │ ├── original_tests │ │ ├── pom.xml │ │ ├── src │ │ ├── main │ │ │ └── java │ │ │ │ └── name │ │ │ │ └── heavycarbon │ │ │ │ └── jpl │ │ │ │ └── callprolog │ │ │ │ └── Connect.java │ │ └── test │ │ │ └── java │ │ │ └── name │ │ │ └── heavycarbon │ │ │ └── jpl │ │ │ └── callprolog │ │ │ ├── ConnectTest.java │ │ │ ├── JPLTest.java │ │ │ └── Stuff.java │ │ └── target │ │ ├── classes │ │ └── name │ │ │ └── heavycarbon │ │ │ └── jpl │ │ │ └── callprolog │ │ │ └── Connect.class │ │ ├── maven-status │ │ └── maven-compiler-plugin │ │ │ ├── compile │ │ │ └── default-compile │ │ │ │ ├── createdFiles.lst │ │ │ │ └── inputFiles.lst │ │ │ └── testCompile │ │ │ └── default-testCompile │ │ │ ├── createdFiles.lst │ │ │ └── inputFiles.lst │ │ ├── surefire-reports │ │ ├── TEST-name.heavycarbon.jpl.callprolog.ConnectTest.xml │ │ └── name.heavycarbon.jpl.callprolog.ConnectTest.txt │ │ └── test-classes │ │ └── name │ │ └── heavycarbon │ │ └── jpl │ │ └── callprolog │ │ └── ConnectTest.class ├── code_jpl │ ├── java_classname_dcg_for_jpl │ │ ├── final │ │ │ ├── jpl.pl │ │ │ ├── original_jpl.pl │ │ │ ├── original_test_jpl.pl │ │ │ └── test_jpl.pl │ │ ├── java_tooling │ │ │ ├── CharRangePrinter.java │ │ │ ├── PrintSomeEntityNames.java │ │ │ ├── TestPrintPrimitives.java │ │ │ └── result_range_check.pl │ │ ├── oldies │ │ │ └── original_dcg_of_jpl.pl │ │ └── pics │ │ │ ├── archive │ │ │ ├── new_dcg_calls.graphml │ │ │ └── new_dcg_calls.svg │ │ │ ├── jpl_and_java_type_descriptors.graphml │ │ │ ├── jpl_and_java_type_descriptors.svg │ │ │ ├── jpl_calling_java_and_the_converse.graphml │ │ │ └── jpl_calling_java_and_the_converse.svg │ └── new_exceptions_for_jpl │ │ ├── unfinished_attempt_to_parse_prolog_source │ │ ├── extract_throwmes.pl │ │ └── extract_throws_from_original.pl │ │ └── verifying_throwme_calls_in_jpl │ │ ├── exception_descriptors.pl │ │ ├── exception_testcode.pl │ │ ├── exception_thrower.pl │ │ └── perl │ │ └── perl_throwme_extractor.pl ├── modding_jpl │ └── README.md └── structure_of_jpl_src │ ├── organization_in_distro.graphml │ ├── organization_in_distro.png │ └── organization_in_distro.svg ├── other_notes ├── about_byrd_box_model │ ├── README.md │ └── pics │ │ ├── byrd_box_examples.graphml │ │ ├── byrd_box_examples.svg │ │ ├── byrd_box_model.graphml │ │ ├── byrd_box_model.png │ │ ├── byrd_box_model.svg │ │ ├── byrd_box_model_port_names.graphml │ │ ├── byrd_box_model_port_names.svg │ │ ├── byrd_box_model_with_term_store.graphml │ │ ├── byrd_box_model_with_term_store.svg │ │ ├── commit_rollback.graphml │ │ ├── commit_rollback.png │ │ ├── original_byrd_box.png │ │ ├── term_store_versioning.graphml │ │ ├── term_store_versioning.png │ │ └── term_store_versioning.svg ├── about_depicting_terms │ ├── README.md │ ├── pics │ │ ├── Example_1.graphml │ │ ├── Example_1.png │ │ ├── Example_2.graphml │ │ ├── Example_2.png │ │ ├── Example_3.graphml │ │ ├── Example_3.png │ │ ├── Example_Compound_Term_List.graphml │ │ ├── Example_Compound_Term_List.png │ │ ├── Example_Compound_Term_Open_List.graphml │ │ ├── Example_Compound_Term_Open_List.png │ │ ├── Symbols.graphml │ │ ├── Symbols.png │ │ ├── Vocabulary.graphml │ │ └── Vocabulary.png │ ├── pics2 │ │ ├── prolog_term_notation.graphml │ │ ├── prolog_term_notation.png │ │ └── prolog_term_notation.svg │ └── roles_of_terms.md ├── about_f_logic │ ├── README.md │ └── pics │ │ └── parts_of_the_isa_hierarchy.png ├── about_fibonacci_numbers │ ├── Fibonacci.graphml │ ├── Fibonacci.png │ ├── Fibonacci.svg │ ├── README.md │ ├── Two entries discovered on Rosettacode which I dont get.txt │ ├── fibonacci_algorithms.pl │ └── fibonacci_algorithms.plt ├── about_foldl_and_foldr │ ├── README.md │ ├── dcg_foldl.pl │ ├── foldl_and_foldr.md │ ├── foldr_for_library_apply │ │ ├── README.md │ │ ├── foldr_recursive.pl │ │ ├── foldr_using_reverse.pl │ │ └── tests │ │ │ ├── test_apply.pl │ │ │ ├── test_foldl.pl │ │ │ └── test_foldr.pl │ ├── foldy.pl │ ├── foo_foldl.pl │ ├── foo_foldr.pl │ ├── foo_foldx.graphml │ ├── foo_foldx.pl │ ├── foo_foldx.png │ ├── linear_foldl_with_maplist4.md │ └── maplist_foldl.pl ├── about_list_processing │ ├── README.md │ └── pics │ │ ├── difference_list_explainer.graphml │ │ ├── difference_list_explainer.png │ │ ├── difference_list_explainer.svg │ │ ├── idioms.png │ │ ├── list_processing_idioms.graphml │ │ ├── list_processing_idioms.png │ │ └── list_processing_idioms.svg ├── about_monads │ ├── Java Optional.graphml │ └── Java Optional.png ├── about_negation │ ├── README.md │ ├── double_negation.md │ ├── floundering.md │ └── pics │ │ ├── another_graph_for_naf.graphml │ │ ├── another_graph_for_naf.png │ │ ├── another_graph_for_naf.svg │ │ ├── byrd_box_view_of_negation.graphml │ │ ├── byrd_box_view_of_negation.png │ │ ├── cover_LNCS238.jpg │ │ ├── cover_LNCS764.png │ │ ├── domains_of_negation.graphml │ │ ├── domains_of_negation.png │ │ ├── predicate_graph.graphml │ │ ├── predicate_graph.png │ │ ├── some_extended_logical_values.graphml │ │ ├── some_extended_logical_values.png │ │ ├── some_extended_logical_values.svg │ │ ├── where_is_the_set_naf.graphml │ │ ├── where_is_the_set_naf.png │ │ └── where_is_the_set_naf.svg ├── about_papers_of_interest │ └── README.md ├── about_power_of_prolog_on_youtube │ └── README.md ├── about_prolog_extensions │ └── README.md ├── about_rule_based_systems │ ├── README.md │ ├── pics │ │ ├── RuleML family (from RuleML Perspective on Reaction Rule Standards by Adrian Paschke).png │ │ ├── fwd_and_bwd_chaining.graphml │ │ ├── fwd_and_bwd_chaining.png │ │ ├── fwd_and_bwd_chaining.svg │ │ ├── one_LPS_cycle.graphml │ │ ├── one_LPS_cycle.png │ │ ├── reactive_rule_fire.graphml │ │ └── reactive_rule_fire.png │ └── so_text │ │ └── fwd_and_bwd_chaining.txt ├── about_the_logic │ └── README.md ├── about_truth_values │ ├── README.md │ └── pics │ │ ├── extended_truth_values.graphml │ │ ├── extended_truth_values.png │ │ └── extended_truth_values.svg ├── about_vocabulary │ └── README.md ├── about_well_founded_semantics │ └── README.md └── quick_map_of_lp_landscape │ ├── README.md │ ├── quick_map_of_lp_landscape.graphml │ ├── quick_map_of_lp_landscape.png │ └── quick_map_of_lp_landscape.svg ├── pics ├── cosine_taylor_series │ ├── taylor_series.graphml │ └── taylor_series.png ├── program trees │ ├── clauses.graphml │ └── clauses.png ├── prolog_clause_explainer │ ├── Prolog Calling AND Tree.graphml │ ├── Prolog Calling AND Tree.png │ ├── Prolog Calling.graphml │ ├── Prolog Calling.png │ ├── Prolog Clause Logical Reading.graphml │ ├── Prolog Clause Logical Reading.png │ ├── Prolog Clause Network.graphml │ ├── Prolog Clause Network.png │ ├── Prolog Clause.graphml │ ├── Prolog Clause.png │ ├── Prolog Infoflow.graphml │ ├── Prolog Infoflow.png │ ├── Prolog Tree of Stuff.graphml │ └── Prolog Tree of Stuff.png ├── variables_and_their_bindings │ ├── Variables and their bindings.graphml │ └── Variables and their bindings.png └── various │ ├── Hiroshige_Shinagawa_Station.jpg │ ├── Powerful_Prolog_and_AI_Bookshelf.jpg │ └── Taxonomy of programming Paradigms (by Peter van Roy).png ├── prolog_comparison_predicates ├── prolog_comparison_predicates.md ├── prolog_comparison_predicates.ods ├── prolog_comparison_predicates.pdf └── prolog_comparison_predicates.png ├── prolog_exercises ├── TODO_insert_element_into_sorted_list_using_difflist.txt ├── ab_dcg │ ├── ab_dcg.pl │ └── test_ab_dcg.pl ├── asymetry.pl ├── between_sym.pl ├── bitstring dcg.pl ├── digits_dcg │ ├── digits_dcg.pl │ └── test_digits_dcg.pl ├── experimenting_with_number_generation │ ├── tuple_via_coroutines.pl │ ├── tuple_via_generation.pl │ ├── tuple_via_induction.pl │ └── tuple_via_member_escalator.pl ├── extremal.pl ├── forward_chainer.pl ├── freeze_example.pl ├── grailsearch │ └── grailsearch.pl ├── graphs │ └── probabilistic_pather.pl ├── hierarchical_sorting │ ├── hierarchical_sorting_example.pl │ ├── hierarchical_sorting_with_commalists.pl │ └── hierarchical_sorting_with_pairs.pl ├── minlist_maxlist.pl ├── peano_numbers │ ├── README.md │ ├── peano.pl │ ├── peano.plt │ ├── peano_add_1.pl │ └── peano_numbers_as_lists.pl ├── puzzles │ ├── three-digit_master_mind.pl │ ├── u2_crosses_the_bridge.pl │ └── who_is_the_hacker.pl ├── remember_digits_sequences │ └── digits_tree.pl ├── rosettacode │ └── sort_disjoint_sublist │ │ ├── README.txt │ │ ├── sds_sol_1.pl │ │ ├── sds_sol_2.pl │ │ └── sds_unittests.pl ├── sat.pl ├── schuberts_steamroller.pl ├── simple_prolog_db_operation.pl ├── stackoverflow │ ├── Breadth-First Traversal of a List of Lists.txt │ ├── Threading State.txt │ ├── compare dcg to other approaches.pl │ ├── constraints_over_matrix.pl │ ├── corona_symptoms.pl │ ├── cosine_taylor_series.md │ ├── flatten_and_heighten.pl │ ├── flatwalker.pl │ ├── insert_element_into_sorted_list_with_append.pl │ ├── parse_time.pl │ ├── powersum.pl │ ├── powersum │ │ ├── constraints.graphml │ │ └── constraints.svg │ ├── rgbnext.pl │ ├── simple graph walker (finite automaton).pl │ └── sliding.pl └── test_plunit.pl ├── swipl_notes ├── README.md ├── about_attributed_variables │ ├── README.md │ ├── enforced_integer_list.pl │ ├── enum_domain.pl │ ├── enum_domain.plt │ ├── list_test.pl │ ├── merging_attributed_variables │ │ ├── merging_attributed_variables.graphml │ │ ├── merging_attributed_variables.png │ │ └── merging_attributed_variables.svg │ └── when_is_the_hook_triggered │ │ ├── when_is_the_hook_triggered.ods │ │ ├── when_is_the_hook_triggered.pdf │ │ └── when_is_the_hook_triggered.png ├── about_between │ ├── README.md │ ├── code │ │ └── test_between.pl │ └── webmanualtxt │ │ └── between.txt ├── about_call_with_depth_limit │ └── code │ │ └── deeper.pl ├── about_chr │ └── Logical Interpretation of CHR.png ├── about_concept_of_variable │ ├── README.md │ ├── concept_of_variable.graphml │ ├── concept_of_variable.png │ ├── concept_of_variable.svg │ ├── unification_example.graphml │ ├── unification_example.png │ └── unification_example.svg ├── about_conditions │ ├── README.md │ └── code │ │ ├── condition_examples.pl │ │ ├── continuation_based_condition.pl │ │ ├── modified_condition.pl │ │ └── original_condition.pl ├── about_continuations │ ├── README.md │ ├── adaptations │ │ └── loop.md │ ├── archive │ │ └── faulty_code │ │ │ ├── Faulty prolog program structure.graphml │ │ │ ├── Faulty prolog program structure.png │ │ │ ├── Faulty prolog program structure.svg │ │ │ └── explodes3.pl │ ├── code │ │ ├── effect_handler │ │ │ ├── effect_handler.pl │ │ │ ├── run_counter.pl │ │ │ └── run_markov.pl │ │ ├── exercise │ │ │ ├── appender_observer.pl │ │ │ ├── jumping_around.pl │ │ │ ├── looping.pl │ │ │ └── trial.pl │ │ ├── iterator │ │ │ ├── iterator.pl │ │ │ └── pics │ │ │ │ ├── iterator_and_master_coroutine.graphml │ │ │ │ ├── iterator_and_master_coroutine.png │ │ │ │ └── iterator_and_master_coroutine.svg │ │ ├── producer_consumer │ │ │ ├── producer_consumer_master.pl │ │ │ └── producer_consumer_master_multi.pl │ │ └── trial │ │ │ └── reset_and_reset.pl │ └── pics │ │ ├── back_and_forth.graphml │ │ ├── back_and_forth.png │ │ ├── limited_application.graphml │ │ ├── limited_application.png │ │ ├── limited_application.svg │ │ ├── reset_points_as_resources.graphml │ │ ├── reset_points_as_resources.png │ │ ├── reset_points_as_resources.svg │ │ ├── reset_points_as_resources_call_stack.graphml │ │ ├── reset_points_as_resources_call_stack.png │ │ ├── reset_points_as_resources_call_stack.svg │ │ ├── state_handler.graphml │ │ ├── state_handler.svg │ │ ├── successfully_switching_between_2_branches_on_the_stack.graphml │ │ ├── successfully_switching_between_2_branches_on_the_stack.png │ │ └── successfully_switching_between_2_branches_on_the_stack.svg ├── about_dcgs │ ├── README.md │ ├── example_abba │ │ ├── README.md │ │ ├── abba2.pl │ │ ├── fsm_2.graphml │ │ ├── fsm_diagram.graphml │ │ ├── fsm_perl.pl │ │ ├── fsm_prolog.pl │ │ ├── fsm_prolog_debug.pl │ │ ├── pics │ │ │ ├── fsm_1.graphml │ │ │ ├── fsm_1.svg │ │ │ ├── fsm_2.graphml │ │ │ └── fsm_2.svg │ │ ├── regex_fsm_1.graphml │ │ ├── regex_fsm_1.svg │ │ ├── regex_fsm_2.graphml │ │ ├── regex_fsm_2.png │ │ └── regex_fsm_2.svg │ ├── example_dcg_for_abstar.pl │ ├── read_file.pl │ └── text_for_DCG_page.pl ├── about_dicts │ ├── README.md │ ├── code │ │ ├── applications │ │ │ ├── count_values_encountered.pl │ │ │ ├── selection_for_default_parameters.pl │ │ │ └── sum_over_numeric_values.pl │ │ ├── dict_assembly_disassembly_testing.pl │ │ ├── dict_equality_testing.pl │ │ ├── dict_getting_testing.pl │ │ ├── dict_put_dotcall_testing.pl │ │ ├── dict_selection_testing.pl │ │ ├── dict_unification_testing.pl │ │ ├── load_all_run_tests.pl │ │ └── perf │ │ │ └── dict_perf_test.pl │ └── manual_review │ │ ├── dict_manual_review.pdf │ │ ├── extensions.doc │ │ └── extensions.html ├── about_dif │ ├── README.md │ ├── old │ │ ├── about_dif_states.graphml │ │ └── about_dif_states.svg │ └── pics │ │ ├── dif_call.graphml │ │ ├── dif_call.svg │ │ ├── unifications_after_dif_call.graphml │ │ └── unifications_after_dif_call.svg ├── about_difference_lists │ ├── README.md │ ├── code │ │ ├── README.md │ │ ├── difflist_examples.pl │ │ └── length_dl_sly.pl │ └── pics │ │ ├── 01A.graphml │ │ ├── 01A.png │ │ ├── 01B.graphml │ │ ├── 01B.png │ │ ├── 02A.graphml │ │ ├── 02A.png │ │ ├── 02B.graphml │ │ ├── 02B.png │ │ ├── 02C.graphml │ │ ├── 02C.png │ │ ├── 02D.graphml │ │ ├── 02D.png │ │ ├── 02E.graphml │ │ ├── 02E.png │ │ ├── 02F.graphml │ │ ├── 02F.png │ │ ├── 03A.graphml │ │ ├── 03A.png │ │ ├── 03B.graphml │ │ ├── 03B.png │ │ ├── 03C.graphml │ │ ├── 03C.png │ │ ├── 03D.graphml │ │ ├── 03D.png │ │ ├── 03E.graphml │ │ ├── 03E.png │ │ ├── 03F.graphml │ │ ├── 03F.png │ │ ├── 04A.graphml │ │ ├── 04A.png │ │ ├── 04B.graphml │ │ ├── 04B.png │ │ ├── 04C.graphml │ │ ├── 04C.png │ │ ├── 04D.graphml │ │ ├── 04D.png │ │ ├── 04E.graphml │ │ ├── 04E.png │ │ ├── 04F.graphml │ │ ├── 04F.png │ │ ├── 05A.graphml │ │ ├── 05A.png │ │ ├── 05B.graphml │ │ ├── 05B.png │ │ ├── 05C.graphml │ │ ├── 05C.png │ │ ├── 05D.graphml │ │ ├── 05D.png │ │ ├── 05E.graphml │ │ └── 05E.png ├── about_documentation │ ├── README.md │ ├── bibliography │ │ ├── README.md │ │ └── pics │ │ │ ├── pdflatex-bibtex_pipeline.graphml │ │ │ └── pdflatex-bibtex_pipeline.png │ └── pics │ │ ├── editing_process.graphml │ │ ├── editing_process.png │ │ ├── findall_predicate_banner.png │ │ ├── guillements_example.png │ │ ├── quotation_marks.png │ │ ├── result_of_term_dotlists_true.png │ │ ├── result_of_testing_typesetting_empty_list.png │ │ └── result_of_typesetting_term.png ├── about_exceptions │ ├── README.md │ ├── catch_with_backtrace.md │ ├── code │ │ ├── case_study.pl │ │ ├── catchy.pl │ │ ├── exception_testcode.pl │ │ └── perl_throwme_extractor.pl │ ├── example_code_to_verify_predicate_args.md │ ├── pics │ │ ├── Java_Exception_Hierarchy.graphml │ │ ├── Java_Exception_Hierarchy.png │ │ ├── Java_Exception_Hierarchy.svg │ │ └── prolog_coding_guidelines_exceptions.png │ ├── problems_with_the_iso_standard_exception_terms.md │ ├── throwing_in_style.md │ └── throwing_iso_standard_exceptions.md ├── about_findall │ ├── README.md │ └── pics │ │ ├── cover_LNCS238.jpg │ │ ├── cover_art_of_prolog_1st_edition.jpg │ │ ├── cover_craft_of_prolog.jpg │ │ ├── cover_programming_in_prolog.jpg │ │ └── findall_is_pretty_acme.jpg ├── about_foldl │ └── README.md ├── about_freeze │ └── README.md ├── about_glossary │ └── README.md ├── about_if_then_else │ ├── README.md │ └── pics │ │ ├── cut_as_wired_up_in_the_byrd_box_model.graphml │ │ ├── cut_as_wired_up_in_the_byrd_box_model.png │ │ ├── if_then_as_wired_up_in_the_byrd_box_model.graphml │ │ ├── if_then_as_wired_up_in_the_byrd_box_model.png │ │ ├── if_then_else_as_parsed.graphml │ │ ├── if_then_else_as_parsed.png │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model.graphml │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model.png │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model_p_fails.graphml │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model_p_fails.png │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model_p_succeeds.graphml │ │ ├── if_then_else_as_wired_up_in_the_byrd_box_model_p_succeeds.png │ │ ├── if_then_else_as_written.graphml │ │ ├── if_then_else_as_written.png │ │ ├── or_as_wired_up_in_the_byrd_box_model.graphml │ │ ├── or_as_wired_up_in_the_byrd_box_model.png │ │ ├── soft_cut_as_wired_up_in_the_byrd_box_model.graphml │ │ ├── soft_cut_as_wired_up_in_the_byrd_box_model.png │ │ ├── soft_cut_as_wired_up_in_the_byrd_box_model_p_fails.graphml │ │ ├── soft_cut_as_wired_up_in_the_byrd_box_model_p_fails.png │ │ ├── soft_cut_as_wired_up_in_the_byrd_box_model_p_succeeds.graphml │ │ └── soft_cut_as_wired_up_in_the_byrd_box_model_p_succeeds.png ├── about_jpl │ └── test_jpl.pl ├── about_length │ ├── README.md │ ├── code │ │ ├── test_length.pl │ │ └── test_length_against_iso_prolog_wg17.pl │ └── webmanualtxt │ │ └── length.txt ├── about_maplist │ ├── README.md │ ├── maplist_2_examples.md │ ├── maplist_3_examples.md │ ├── maplist_4_examples.md │ ├── pics │ │ ├── mutually_cyclic_lists.graphml │ │ └── mutually_cyclic_lists.svg │ └── webmanualtxt │ │ └── maplist_2.txt ├── about_mode_indicators │ ├── README.md │ ├── mode_indicators.ods │ ├── mode_indicators.pdf │ └── mode_indicators.png ├── about_operators │ ├── README.md │ ├── code │ │ ├── list_ops.pl │ │ └── list_ops_with_urls.pl │ └── pics │ │ ├── parse_tree.graphml │ │ ├── parse_tree.png │ │ ├── parse_tree_with_precedence_values.graphml │ │ └── parse_tree_with_precedence_values.png ├── about_output_formatting │ ├── README.md │ ├── format_2_cheatsheet │ │ ├── format_2_cheatsheet.ods │ │ ├── format_2_cheatsheet.pdf │ │ └── format_2_cheatsheet.png │ └── output_formatting_pics │ │ ├── tldr.graphml │ │ └── tldr.svg ├── about_packs │ └── README.md ├── about_pengines │ ├── Pengine PLTP diagram.graphml │ └── Pengine PLTP diagram.svg ├── about_predicate_structure │ ├── README.md │ ├── falsing_and_error_throwing.graphml │ ├── falsing_and_error_throwing.png │ └── falsing_and_error_throwing.svg ├── about_prolog_db_operations │ └── simple_db_op.md ├── about_salvaging_a_term_out_of_a_dropped_search_branch │ ├── README.md │ └── pics │ │ ├── simple_straightforward_call_illustration.graphml │ │ ├── simple_straightforward_call_illustration.png │ │ └── simple_straightforward_call_illustration.svg ├── about_swipl_data_types │ ├── README.md │ ├── archive │ │ ├── old │ │ │ ├── pseudotypes.graphml │ │ │ └── pseudotypes.png │ │ └── older │ │ │ ├── prolog_syntax.graphml │ │ │ └── prolog_syntax.png │ ├── code │ │ └── tagging.pl │ ├── swipl_data_type_tree │ │ ├── swipl_data_type_tree.graphml │ │ ├── swipl_data_type_tree.odt │ │ ├── swipl_data_type_tree.pdf │ │ ├── swipl_data_type_tree.png │ │ ├── swipl_data_type_tree.svg │ │ └── swipl_data_type_tree.txt │ └── webmanualtxt │ │ └── type_tree_in_ascii.txt ├── about_tabling │ └── README.md ├── about_term_analysis_and_construction │ ├── README.md │ ├── term_analysis_construction.ods │ ├── term_analysis_construction.pdf │ ├── term_analysis_construction.png │ └── test_compound_name_arguments.pl ├── about_type_tests │ ├── README.md │ └── unit_tests_for_must_be.pl ├── various │ ├── loading_lynx_library.md │ ├── notes_on_the_caret_used_in_bagof_goals.md │ └── swipl_string_modes.md └── various_code │ ├── division_and_remainder.pl │ └── test_sort_predicates.pl ├── terms_variables_jargon ├── README.md └── prolog_lingo │ ├── prolog_lingo.ods │ ├── prolog_lingo.pdf │ └── prolog_lingo.png ├── third_party_code ├── plspec-master │ ├── .gitignore │ ├── .travis.yml │ ├── LICENSE.md │ ├── README.md │ └── plspec │ │ ├── Makefile │ │ ├── builtins.plspec │ │ ├── domain.pl │ │ ├── domain_test.pl │ │ ├── plspec.pl │ │ ├── plspec_core.pl │ │ ├── plspec_logger.pl │ │ ├── plspec_test.pl │ │ ├── plspec_test.plspec │ │ ├── preserve_behaviour_test.pl │ │ ├── prettyprinter.pl │ │ ├── tests.pl │ │ ├── unbound_spec_test.pl │ │ ├── validator.pl │ │ └── validator_test.pl └── snippets │ └── O Keefe's flatten.txt ├── vivid_logic ├── README.md ├── code │ └── vl.pl └── pics │ └── lnai764cover.png └── website_comment_texts ├── BLOBs.txt ├── DCG.txt ├── Foreign Function Interface.txt ├── JPL.txt ├── Manual_Contents.txt ├── Manual_Intro.txt ├── PCRE.txt ├── SWI-Prolog_Manual_Intro.txt ├── Syntax_Changes.txt ├── aggregate.txt ├── append.txt ├── assertion.txt ├── atom_concat_3.txt ├── atom_length.txt ├── atom_string.txt ├── atomic_concat_3.txt ├── atomic_list_concat_2.txt ├── atomic_list_concat_3.txt ├── atomics_to_string_2.txt ├── atomics_to_string_3.txt ├── attributed_variables.txt ├── bagof.txt ├── between.txt ├── bidicts.txt ├── bitshift.txt ├── call_dcg.txt ├── call_with_depth_limit.txt ├── catch.txt ├── char_type.txt ├── clumped.txt ├── cmdline.txt ├── consult.txt ├── current_module.txt ├── current_prolog_flag.txt ├── cut.txt ├── cyclic_term.txt ├── db.txt ├── defining_a_module.txt ├── delimited_continuations.txt ├── dict_get.pl ├── dict_pairs.txt ├── dict_projection.pl ├── dif.txt ├── digit.txt ├── doc_needs_help.md ├── download.txt ├── engines.txt ├── exception_term.txt ├── exists_file.txt ├── file_base_name.txt ├── file_name_extension.txt ├── findall_3.txt ├── findall_4.txt ├── float.txt ├── foldl.txt ├── forall.txt ├── foreign_language_interface.txt ├── format.txt ├── get_dict.txt ├── get_single_char.txt ├── get_time.txt ├── glossary.txt ├── howto_pack.txt ├── include.txt ├── is_list.txt ├── last.txt ├── library_strings.txt ├── library_yall.txt ├── load_test_files.txt ├── maplist.txt ├── max_list.txt ├── max_member.txt ├── member.txt ├── memberchk.txt ├── metacall.txt ├── min.txt ├── mode_indicators.txt ├── multifile.txt ├── must_be.txt ├── nb_setarg.txt ├── nb_setval.txt ├── nonground.txt ├── not.txt ├── not_unifies.txt ├── notation_of_predicate_descriptions.txt ├── nth0.txt ├── obtaining_runtime_statistics.txt ├── once.txt ├── op.txt ├── option.txt ├── option_3.txt ├── partition.txt ├── pengines.txt ├── pldoc.txt ├── plunit.txt ├── predicate_property.txt ├── predicate_semicolon.txt ├── process_create.txt ├── put_dict.pl ├── put_dict.txt ├── put_docall.pl ├── put_dotcall.pl ├── random_1_the_function.txt ├── random_between.txt ├── random_member.txt ├── read.txt ├── read_line_to_string.txt ├── read_stream_to_codes.txt ├── reset.txt ├── reverse.txt ├── run_tests.txt ├── same_length.txt ├── setup_call_cleanup.txt ├── setup_call_cleanup_3.txt ├── shell.txt ├── sleep.txt ├── sort_2.txt ├── split_string.txt ├── string_length.txt ├── string_predicates.txt ├── sub_string.pl ├── sum.pl ├── sum_list.txt ├── time.txt ├── transparent predicates.txt ├── unification.txt ├── univ.txt ├── uuid.txt ├── var.txt ├── whymodules.pl └── write_length.txt /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/README.md -------------------------------------------------------------------------------- /archived/building_SWI-Prolog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/archived/building_SWI-Prolog/README.md -------------------------------------------------------------------------------- /archived/building_SWI-Prolog/building_swipl.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/archived/building_SWI-Prolog/building_swipl.graphml -------------------------------------------------------------------------------- /archived/building_SWI-Prolog/building_swipl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/archived/building_SWI-Prolog/building_swipl.png -------------------------------------------------------------------------------- /code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/README.md -------------------------------------------------------------------------------- /code/entropy/count_identical_holes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/entropy/count_identical_holes.pl -------------------------------------------------------------------------------- /code/heavycarbon/strings/string_overwrite_performance.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/strings/string_overwrite_performance.plt -------------------------------------------------------------------------------- /code/heavycarbon/strings/tablify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/strings/tablify.pl -------------------------------------------------------------------------------- /code/heavycarbon/strings/tablify.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/strings/tablify.plt -------------------------------------------------------------------------------- /code/heavycarbon/support/meta_helpers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/support/meta_helpers.pl -------------------------------------------------------------------------------- /code/heavycarbon/support/safe_format.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/support/safe_format.pl -------------------------------------------------------------------------------- /code/heavycarbon/support/throwme_nonmodular.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/support/throwme_nonmodular.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/ABSOLUTELY_EXPERIMENTAL.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/heavycarbon/terms/about.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/about.txt -------------------------------------------------------------------------------- /code/heavycarbon/terms/annotate_mirror.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/annotate_mirror.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/create_random_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/create_random_term.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/create_random_term_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/create_random_term_test.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/dict_based_graph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/dict_based_graph.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/generate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/generate.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/mirror.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/mirror.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/mirror.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/mirror.plt -------------------------------------------------------------------------------- /code/heavycarbon/terms/synthetisize_nodes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/synthetisize_nodes.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/term_printer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/term_printer.pl -------------------------------------------------------------------------------- /code/heavycarbon/terms/unmirror.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/terms/unmirror.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/TLDR_between_with_step.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/TLDR_between_with_step.txt -------------------------------------------------------------------------------- /code/heavycarbon/utils/TLDR_between_x.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/TLDR_between_x.txt -------------------------------------------------------------------------------- /code/heavycarbon/utils/TLDR_lenient_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/TLDR_lenient_length.txt -------------------------------------------------------------------------------- /code/heavycarbon/utils/TLDR_probe_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/TLDR_probe_length.txt -------------------------------------------------------------------------------- /code/heavycarbon/utils/between_with_step.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/between_with_step.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/between_with_step.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/between_with_step.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/between_x.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/between_x.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/between_x.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/between_x.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/call_graph.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/call_graph.graphml -------------------------------------------------------------------------------- /code/heavycarbon/utils/clashfree_id_selection.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/clashfree_id_selection.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/clashfree_id_selection.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/clashfree_id_selection.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/difflist_length.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/difflist_length.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/difflist_length.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/difflist_length.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/in_prefix.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/in_prefix.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/in_prefix.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/in_prefix.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/lenient_length.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/lenient_length.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/list_of_numbered_pairs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/list_of_numbered_pairs.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/openlist_append.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/openlist_append.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/openlist_append.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/openlist_append.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/partition_freely.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/partition_freely.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/partition_freely.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/partition_freely.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/probe_length.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/probe_length.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/probe_length.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/probe_length.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/random_atom.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/random_atom.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/random_atom.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/random_atom.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/randomly_insert.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/randomly_insert.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/randomly_insert.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/randomly_insert.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/randomly_select.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/randomly_select.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/randomly_select.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/randomly_select.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/replace0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/replace0.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/replace0.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/replace0.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/rotate_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/rotate_list.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/rotate_list.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/rotate_list.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/splinter0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/splinter0.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/splinter0.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/splinter0.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/vector_nth0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/vector_nth0.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/vector_nth0.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/vector_nth0.plt -------------------------------------------------------------------------------- /code/heavycarbon/utils/vector_replace0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/vector_replace0.pl -------------------------------------------------------------------------------- /code/heavycarbon/utils/vector_replace0.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/heavycarbon/utils/vector_replace0.plt -------------------------------------------------------------------------------- /code/load_and_test_script.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/load_and_test_script.pl -------------------------------------------------------------------------------- /code/snippets/build_term_for_tree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/build_term_for_tree.pl -------------------------------------------------------------------------------- /code/snippets/citation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/citation.pl -------------------------------------------------------------------------------- /code/snippets/counted.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/counted.pl -------------------------------------------------------------------------------- /code/snippets/counted.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/counted.plt -------------------------------------------------------------------------------- /code/snippets/proc_self_status.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/proc_self_status.pl -------------------------------------------------------------------------------- /code/snippets/snippets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/snippets/snippets.pl -------------------------------------------------------------------------------- /code/tree_pp/build_term_for_tree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/tree_pp/build_term_for_tree.pl -------------------------------------------------------------------------------- /code/tree_pp/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/tree_pp/test.pl -------------------------------------------------------------------------------- /code/tree_pp/the goal is to prettyprint a tree.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/tree_pp/the goal is to prettyprint a tree.txt -------------------------------------------------------------------------------- /code/various/bitlist.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/various/bitlist.pl -------------------------------------------------------------------------------- /code/various/input_into_dict.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/various/input_into_dict.pl -------------------------------------------------------------------------------- /code/various/is_list_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code/various/is_list_2.pl -------------------------------------------------------------------------------- /code_unit_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/README.md -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_atom_chars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_atom_chars.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_atom_codes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_atom_codes.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_atom_string.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_atom_string.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_compound_name_arguments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_compound_name_arguments.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_compound_name_arity.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_compound_name_arity.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_dicts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_dicts.pl -------------------------------------------------------------------------------- /code_unit_tests/builtin_demo/test_is_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/builtin_demo/test_is_list.pl -------------------------------------------------------------------------------- /code_unit_tests/run_them_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/run_them_all.sh -------------------------------------------------------------------------------- /code_unit_tests/simplest/test_fail.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/simplest/test_fail.pl -------------------------------------------------------------------------------- /code_unit_tests/simplest/test_partially_succeed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/simplest/test_partially_succeed.pl -------------------------------------------------------------------------------- /code_unit_tests/simplest/test_succeed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/simplest/test_succeed.pl -------------------------------------------------------------------------------- /code_unit_tests/simplest/test_throw.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/simplest/test_throw.pl -------------------------------------------------------------------------------- /code_unit_tests/simplest/tests_demonstrating_units_tests.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/code_unit_tests/simplest/tests_demonstrating_units_tests.pl -------------------------------------------------------------------------------- /compiling/jars/hamcrest-2.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/jars/hamcrest-2.2.jar -------------------------------------------------------------------------------- /compiling/jars/junit-4.13.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/jars/junit-4.13.2.jar -------------------------------------------------------------------------------- /compiling/logic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/logic.sh -------------------------------------------------------------------------------- /compiling/pics/File Structure.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/pics/File Structure.graphml -------------------------------------------------------------------------------- /compiling/pics/File Structure.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/pics/File Structure.svg -------------------------------------------------------------------------------- /compiling/pics/File Structure_with_JPL.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/pics/File Structure_with_JPL.graphml -------------------------------------------------------------------------------- /compiling/pics/File Structure_with_JPL.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/pics/File Structure_with_JPL.svg -------------------------------------------------------------------------------- /compiling/swiprologpull.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/compiling/swiprologpull.sh -------------------------------------------------------------------------------- /foreign_interface_trial/sayhellolib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/foreign_interface_trial/sayhellolib/README.md -------------------------------------------------------------------------------- /foreign_interface_trial/sayhellolib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/foreign_interface_trial/sayhellolib/build.sh -------------------------------------------------------------------------------- /foreign_interface_trial/sayhellolib/mod/sayhellolib.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/foreign_interface_trial/sayhellolib/mod/sayhellolib.pl -------------------------------------------------------------------------------- /foreign_interface_trial/sayhellolib/src/sayhellolib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/foreign_interface_trial/sayhellolib/src/sayhellolib.c -------------------------------------------------------------------------------- /in_progress/blah/Prolog Terminology: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/blah/Prolog Terminology -------------------------------------------------------------------------------- /in_progress/blah/prolog_truth_values.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/blah/prolog_truth_values.txt -------------------------------------------------------------------------------- /in_progress/blah/template programming.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/blah/template programming.txt -------------------------------------------------------------------------------- /in_progress/exploring/exploring_chr/test_chr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_chr/test_chr.pl -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/DCG_for_classnames_in_JPL.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/DCG_for_classnames_in_JPL.graphml -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/DCG_for_classnames_in_JPL.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/DCG_for_classnames_in_JPL.svg -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/JNI_links.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/JNI_links.md -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/connect_to_libreoffice/FirstUnoContact.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/connect_to_libreoffice/FirstUnoContact.class -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/connect_to_libreoffice/FirstUnoContact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/connect_to_libreoffice/FirstUnoContact.java -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/connect_to_libreoffice/first_uno_contact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/connect_to_libreoffice/first_uno_contact.pl -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/connect_to_libreoffice/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/connect_to_libreoffice/setup.sh -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/java_classname_parsing/jpl.pl: -------------------------------------------------------------------------------- 1 | /usr/local/logic/swipl/lib/swipl/library/jpl.pl -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/java_classname_parsing/jpl_exceptions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/java_classname_parsing/jpl_exceptions.pl -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/java_classname_parsing/jpl_redux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/java_classname_parsing/jpl_redux.pl -------------------------------------------------------------------------------- /in_progress/exploring/exploring_jpl/jplex.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/exploring/exploring_jpl/jplex.pl -------------------------------------------------------------------------------- /in_progress/how_does_a_predicate_execute/how_does_a_predicate_execute.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/how_does_a_predicate_execute/how_does_a_predicate_execute.graphml -------------------------------------------------------------------------------- /in_progress/how_does_a_predicate_execute/how_does_a_predicate_execute.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/how_does_a_predicate_execute/how_does_a_predicate_execute.svg -------------------------------------------------------------------------------- /in_progress/library_aggregate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/library_aggregate/README.md -------------------------------------------------------------------------------- /in_progress/library_aggregate/mtcars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/library_aggregate/mtcars.pl -------------------------------------------------------------------------------- /in_progress/library_aggregate/mtcars_help.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/library_aggregate/mtcars_help.pl -------------------------------------------------------------------------------- /in_progress/lists/Lists.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/lists/Lists.md -------------------------------------------------------------------------------- /in_progress/on_dif.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/on_dif.md -------------------------------------------------------------------------------- /in_progress/pldoc_trick.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/pldoc_trick.md -------------------------------------------------------------------------------- /in_progress/prolog_clause_explainer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/prolog_clause_explainer.md -------------------------------------------------------------------------------- /in_progress/weird_numbers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/in_progress/weird_numbers.pl -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/README.md -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/ConnectTest.java: -------------------------------------------------------------------------------- 1 | src/test/java/name/heavycarbon/jpl/callprolog/ConnectTest.java -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jars/jpl.jar: -------------------------------------------------------------------------------- 1 | /usr/local/logic/swiplexe_8.3.7/lib/swipl/lib/jpl.jar -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jars/junitsl.jar: -------------------------------------------------------------------------------- 1 | /home/calvin/.m2/repository/org/junit/platform/junit-platform-console-standalone/1.7.0/junit-platform-console-standalone-1.7.0.jar -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jars/logback-classic.jar: -------------------------------------------------------------------------------- 1 | /home/calvin/.m2/repository/ch/qos/logback/logback-classic/1.3.0-alpha5/logback-classic-1.3.0-alpha5.jar -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jars/logback-core.jar: -------------------------------------------------------------------------------- 1 | /home/calvin/.m2/repository/ch/qos/logback/logback-core/1.3.0-alpha5/logback-core-1.3.0-alpha5.jar -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jars/slf4j-api.jar: -------------------------------------------------------------------------------- 1 | /home/calvin/.m2/repository/org/slf4j/slf4j-api/2.0.0-alpha1/slf4j-api-2.0.0-alpha1.jar -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/constant-values.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/constant-values.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/deprecated-list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/deprecated-list.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/element-list: -------------------------------------------------------------------------------- 1 | org.jpl7 2 | -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/help-doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/help-doc.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/index-all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/index-all.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/index.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Atom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Atom.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Dict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Dict.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Float.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Float.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/JPL.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/JPL.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/JRef.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/JRef.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Query.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Query.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Term.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Util.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/org/jpl7/Util.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/overview-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/overview-tree.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/resources/glass.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/resources/glass.png -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/resources/x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/resources/x.png -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/script.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/script.js -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/search.js -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/serialized-form.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/serialized-form.html -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/stylesheet.css -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/type-search-index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/javadoc/type-search-index.js -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/javasrc: -------------------------------------------------------------------------------- 1 | /home/calvin/Development/swiplmaking/swiplmaking7/jpl/packages-jpl_forked/src/main/java/ -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/jpl7: -------------------------------------------------------------------------------- 1 | /home/calvin/Development/swiplmaking/swiplmaking7/jpl/packages-jpl_forked/src/main/java/org/jpl7/ -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/make_javadoc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/make_javadoc.sh -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/original_tests: -------------------------------------------------------------------------------- 1 | /home/calvin/Development/swiplmaking/swiplmaking7/jpl/packages-jpl_forked/src/test/java/org -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/calling_from_java/callprolog/pom.xml -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst: -------------------------------------------------------------------------------- 1 | name/heavycarbon/jpl/callprolog/Connect.class 2 | -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/calling_from_java/callprolog/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst: -------------------------------------------------------------------------------- 1 | name/heavycarbon/jpl/callprolog/ConnectTest.class 2 | -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/jpl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/jpl.pl -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/original_jpl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/original_jpl.pl -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/test_jpl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/code_jpl/java_classname_dcg_for_jpl/final/test_jpl.pl -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/modding_jpl/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/modding_jpl/README.md -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.graphml -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.png -------------------------------------------------------------------------------- /jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/jpl_java_prolog_bridge/structure_of_jpl_src/organization_in_distro.svg -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/README.md -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_examples.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_examples.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_examples.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_examples.svg -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model.png -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model.svg -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model_port_names.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model_port_names.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model_port_names.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model_port_names.svg -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model_with_term_store.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model_with_term_store.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/byrd_box_model_with_term_store.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/byrd_box_model_with_term_store.svg -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/commit_rollback.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/commit_rollback.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/commit_rollback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/commit_rollback.png -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/original_byrd_box.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/original_byrd_box.png -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/term_store_versioning.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/term_store_versioning.graphml -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/term_store_versioning.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/term_store_versioning.png -------------------------------------------------------------------------------- /other_notes/about_byrd_box_model/pics/term_store_versioning.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_byrd_box_model/pics/term_store_versioning.svg -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/README.md -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_1.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_1.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_1.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_2.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_2.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_2.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_3.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_3.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_3.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_Compound_Term_List.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_Compound_Term_List.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_Compound_Term_List.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_Compound_Term_List.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_Compound_Term_Open_List.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_Compound_Term_Open_List.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Example_Compound_Term_Open_List.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Example_Compound_Term_Open_List.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Symbols.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Symbols.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Symbols.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Symbols.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Vocabulary.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Vocabulary.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics/Vocabulary.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics/Vocabulary.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics2/prolog_term_notation.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics2/prolog_term_notation.graphml -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics2/prolog_term_notation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics2/prolog_term_notation.png -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/pics2/prolog_term_notation.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/pics2/prolog_term_notation.svg -------------------------------------------------------------------------------- /other_notes/about_depicting_terms/roles_of_terms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_depicting_terms/roles_of_terms.md -------------------------------------------------------------------------------- /other_notes/about_f_logic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_f_logic/README.md -------------------------------------------------------------------------------- /other_notes/about_f_logic/pics/parts_of_the_isa_hierarchy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_f_logic/pics/parts_of_the_isa_hierarchy.png -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/Fibonacci.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/Fibonacci.graphml -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/Fibonacci.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/Fibonacci.png -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/Fibonacci.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/Fibonacci.svg -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/README.md -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/fibonacci_algorithms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/fibonacci_algorithms.pl -------------------------------------------------------------------------------- /other_notes/about_fibonacci_numbers/fibonacci_algorithms.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_fibonacci_numbers/fibonacci_algorithms.plt -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/README.md -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/dcg_foldl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/dcg_foldl.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldl_and_foldr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldl_and_foldr.md -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/README.md: -------------------------------------------------------------------------------- 1 | # Experimental 2 | -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/foldr_recursive.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldr_for_library_apply/foldr_recursive.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/foldr_using_reverse.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldr_for_library_apply/foldr_using_reverse.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_apply.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_apply.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_foldl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_foldl.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_foldr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldr_for_library_apply/tests/test_foldr.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foldy.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foldy.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foo_foldl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foo_foldl.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foo_foldr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foo_foldr.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foo_foldx.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foo_foldx.graphml -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foo_foldx.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foo_foldx.pl -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/foo_foldx.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/foo_foldx.png -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/linear_foldl_with_maplist4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/linear_foldl_with_maplist4.md -------------------------------------------------------------------------------- /other_notes/about_foldl_and_foldr/maplist_foldl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_foldl_and_foldr/maplist_foldl.pl -------------------------------------------------------------------------------- /other_notes/about_list_processing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/README.md -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/difference_list_explainer.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/difference_list_explainer.graphml -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/difference_list_explainer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/difference_list_explainer.png -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/difference_list_explainer.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/difference_list_explainer.svg -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/idioms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/idioms.png -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/list_processing_idioms.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/list_processing_idioms.graphml -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/list_processing_idioms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/list_processing_idioms.png -------------------------------------------------------------------------------- /other_notes/about_list_processing/pics/list_processing_idioms.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_list_processing/pics/list_processing_idioms.svg -------------------------------------------------------------------------------- /other_notes/about_monads/Java Optional.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_monads/Java Optional.graphml -------------------------------------------------------------------------------- /other_notes/about_monads/Java Optional.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_monads/Java Optional.png -------------------------------------------------------------------------------- /other_notes/about_negation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/README.md -------------------------------------------------------------------------------- /other_notes/about_negation/double_negation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/double_negation.md -------------------------------------------------------------------------------- /other_notes/about_negation/floundering.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/floundering.md -------------------------------------------------------------------------------- /other_notes/about_negation/pics/another_graph_for_naf.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/another_graph_for_naf.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/another_graph_for_naf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/another_graph_for_naf.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/another_graph_for_naf.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/another_graph_for_naf.svg -------------------------------------------------------------------------------- /other_notes/about_negation/pics/byrd_box_view_of_negation.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/byrd_box_view_of_negation.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/byrd_box_view_of_negation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/byrd_box_view_of_negation.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/cover_LNCS238.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/cover_LNCS238.jpg -------------------------------------------------------------------------------- /other_notes/about_negation/pics/cover_LNCS764.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/cover_LNCS764.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/domains_of_negation.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/domains_of_negation.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/domains_of_negation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/domains_of_negation.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/predicate_graph.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/predicate_graph.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/predicate_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/predicate_graph.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/some_extended_logical_values.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/some_extended_logical_values.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/some_extended_logical_values.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/some_extended_logical_values.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/some_extended_logical_values.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/some_extended_logical_values.svg -------------------------------------------------------------------------------- /other_notes/about_negation/pics/where_is_the_set_naf.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/where_is_the_set_naf.graphml -------------------------------------------------------------------------------- /other_notes/about_negation/pics/where_is_the_set_naf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/where_is_the_set_naf.png -------------------------------------------------------------------------------- /other_notes/about_negation/pics/where_is_the_set_naf.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_negation/pics/where_is_the_set_naf.svg -------------------------------------------------------------------------------- /other_notes/about_papers_of_interest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_papers_of_interest/README.md -------------------------------------------------------------------------------- /other_notes/about_power_of_prolog_on_youtube/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_power_of_prolog_on_youtube/README.md -------------------------------------------------------------------------------- /other_notes/about_prolog_extensions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_prolog_extensions/README.md -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/README.md -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.graphml -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.png -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/fwd_and_bwd_chaining.svg -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/one_LPS_cycle.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/one_LPS_cycle.graphml -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/one_LPS_cycle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/one_LPS_cycle.png -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/reactive_rule_fire.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/reactive_rule_fire.graphml -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/pics/reactive_rule_fire.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/pics/reactive_rule_fire.png -------------------------------------------------------------------------------- /other_notes/about_rule_based_systems/so_text/fwd_and_bwd_chaining.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_rule_based_systems/so_text/fwd_and_bwd_chaining.txt -------------------------------------------------------------------------------- /other_notes/about_the_logic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_the_logic/README.md -------------------------------------------------------------------------------- /other_notes/about_truth_values/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_truth_values/README.md -------------------------------------------------------------------------------- /other_notes/about_truth_values/pics/extended_truth_values.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_truth_values/pics/extended_truth_values.graphml -------------------------------------------------------------------------------- /other_notes/about_truth_values/pics/extended_truth_values.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_truth_values/pics/extended_truth_values.png -------------------------------------------------------------------------------- /other_notes/about_truth_values/pics/extended_truth_values.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_truth_values/pics/extended_truth_values.svg -------------------------------------------------------------------------------- /other_notes/about_vocabulary/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_vocabulary/README.md -------------------------------------------------------------------------------- /other_notes/about_well_founded_semantics/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/about_well_founded_semantics/README.md -------------------------------------------------------------------------------- /other_notes/quick_map_of_lp_landscape/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/quick_map_of_lp_landscape/README.md -------------------------------------------------------------------------------- /other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.graphml -------------------------------------------------------------------------------- /other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.png -------------------------------------------------------------------------------- /other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/other_notes/quick_map_of_lp_landscape/quick_map_of_lp_landscape.svg -------------------------------------------------------------------------------- /pics/cosine_taylor_series/taylor_series.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/cosine_taylor_series/taylor_series.graphml -------------------------------------------------------------------------------- /pics/cosine_taylor_series/taylor_series.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/cosine_taylor_series/taylor_series.png -------------------------------------------------------------------------------- /pics/program trees/clauses.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/program trees/clauses.graphml -------------------------------------------------------------------------------- /pics/program trees/clauses.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/program trees/clauses.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Calling AND Tree.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Calling AND Tree.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Calling AND Tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Calling AND Tree.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Calling.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Calling.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Calling.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Calling.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause Logical Reading.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause Logical Reading.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause Logical Reading.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause Logical Reading.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause Network.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause Network.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause Network.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause Network.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Clause.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Clause.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Infoflow.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Infoflow.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Infoflow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Infoflow.png -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Tree of Stuff.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Tree of Stuff.graphml -------------------------------------------------------------------------------- /pics/prolog_clause_explainer/Prolog Tree of Stuff.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/prolog_clause_explainer/Prolog Tree of Stuff.png -------------------------------------------------------------------------------- /pics/variables_and_their_bindings/Variables and their bindings.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/variables_and_their_bindings/Variables and their bindings.graphml -------------------------------------------------------------------------------- /pics/variables_and_their_bindings/Variables and their bindings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/variables_and_their_bindings/Variables and their bindings.png -------------------------------------------------------------------------------- /pics/various/Hiroshige_Shinagawa_Station.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/various/Hiroshige_Shinagawa_Station.jpg -------------------------------------------------------------------------------- /pics/various/Powerful_Prolog_and_AI_Bookshelf.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/various/Powerful_Prolog_and_AI_Bookshelf.jpg -------------------------------------------------------------------------------- /pics/various/Taxonomy of programming Paradigms (by Peter van Roy).png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/pics/various/Taxonomy of programming Paradigms (by Peter van Roy).png -------------------------------------------------------------------------------- /prolog_comparison_predicates/prolog_comparison_predicates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_comparison_predicates/prolog_comparison_predicates.md -------------------------------------------------------------------------------- /prolog_comparison_predicates/prolog_comparison_predicates.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_comparison_predicates/prolog_comparison_predicates.ods -------------------------------------------------------------------------------- /prolog_comparison_predicates/prolog_comparison_predicates.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_comparison_predicates/prolog_comparison_predicates.pdf -------------------------------------------------------------------------------- /prolog_comparison_predicates/prolog_comparison_predicates.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_comparison_predicates/prolog_comparison_predicates.png -------------------------------------------------------------------------------- /prolog_exercises/TODO_insert_element_into_sorted_list_using_difflist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/TODO_insert_element_into_sorted_list_using_difflist.txt -------------------------------------------------------------------------------- /prolog_exercises/ab_dcg/ab_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/ab_dcg/ab_dcg.pl -------------------------------------------------------------------------------- /prolog_exercises/ab_dcg/test_ab_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/ab_dcg/test_ab_dcg.pl -------------------------------------------------------------------------------- /prolog_exercises/asymetry.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/asymetry.pl -------------------------------------------------------------------------------- /prolog_exercises/between_sym.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/between_sym.pl -------------------------------------------------------------------------------- /prolog_exercises/bitstring dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/bitstring dcg.pl -------------------------------------------------------------------------------- /prolog_exercises/digits_dcg/digits_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/digits_dcg/digits_dcg.pl -------------------------------------------------------------------------------- /prolog_exercises/digits_dcg/test_digits_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/digits_dcg/test_digits_dcg.pl -------------------------------------------------------------------------------- /prolog_exercises/experimenting_with_number_generation/tuple_via_coroutines.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/experimenting_with_number_generation/tuple_via_coroutines.pl -------------------------------------------------------------------------------- /prolog_exercises/experimenting_with_number_generation/tuple_via_generation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/experimenting_with_number_generation/tuple_via_generation.pl -------------------------------------------------------------------------------- /prolog_exercises/experimenting_with_number_generation/tuple_via_induction.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/experimenting_with_number_generation/tuple_via_induction.pl -------------------------------------------------------------------------------- /prolog_exercises/extremal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/extremal.pl -------------------------------------------------------------------------------- /prolog_exercises/forward_chainer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/forward_chainer.pl -------------------------------------------------------------------------------- /prolog_exercises/freeze_example.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/freeze_example.pl -------------------------------------------------------------------------------- /prolog_exercises/grailsearch/grailsearch.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/grailsearch/grailsearch.pl -------------------------------------------------------------------------------- /prolog_exercises/graphs/probabilistic_pather.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/graphs/probabilistic_pather.pl -------------------------------------------------------------------------------- /prolog_exercises/hierarchical_sorting/hierarchical_sorting_example.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/hierarchical_sorting/hierarchical_sorting_example.pl -------------------------------------------------------------------------------- /prolog_exercises/hierarchical_sorting/hierarchical_sorting_with_commalists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/hierarchical_sorting/hierarchical_sorting_with_commalists.pl -------------------------------------------------------------------------------- /prolog_exercises/hierarchical_sorting/hierarchical_sorting_with_pairs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/hierarchical_sorting/hierarchical_sorting_with_pairs.pl -------------------------------------------------------------------------------- /prolog_exercises/minlist_maxlist.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/minlist_maxlist.pl -------------------------------------------------------------------------------- /prolog_exercises/peano_numbers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/peano_numbers/README.md -------------------------------------------------------------------------------- /prolog_exercises/peano_numbers/peano.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/peano_numbers/peano.pl -------------------------------------------------------------------------------- /prolog_exercises/peano_numbers/peano.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/peano_numbers/peano.plt -------------------------------------------------------------------------------- /prolog_exercises/peano_numbers/peano_add_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/peano_numbers/peano_add_1.pl -------------------------------------------------------------------------------- /prolog_exercises/peano_numbers/peano_numbers_as_lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/peano_numbers/peano_numbers_as_lists.pl -------------------------------------------------------------------------------- /prolog_exercises/puzzles/three-digit_master_mind.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/puzzles/three-digit_master_mind.pl -------------------------------------------------------------------------------- /prolog_exercises/puzzles/u2_crosses_the_bridge.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/puzzles/u2_crosses_the_bridge.pl -------------------------------------------------------------------------------- /prolog_exercises/puzzles/who_is_the_hacker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/puzzles/who_is_the_hacker.pl -------------------------------------------------------------------------------- /prolog_exercises/remember_digits_sequences/digits_tree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/remember_digits_sequences/digits_tree.pl -------------------------------------------------------------------------------- /prolog_exercises/rosettacode/sort_disjoint_sublist/README.txt: -------------------------------------------------------------------------------- 1 | http://rosettacode.org/wiki/Sort_disjoint_sublist 2 | -------------------------------------------------------------------------------- /prolog_exercises/rosettacode/sort_disjoint_sublist/sds_sol_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/rosettacode/sort_disjoint_sublist/sds_sol_1.pl -------------------------------------------------------------------------------- /prolog_exercises/rosettacode/sort_disjoint_sublist/sds_sol_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/rosettacode/sort_disjoint_sublist/sds_sol_2.pl -------------------------------------------------------------------------------- /prolog_exercises/rosettacode/sort_disjoint_sublist/sds_unittests.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/rosettacode/sort_disjoint_sublist/sds_unittests.pl -------------------------------------------------------------------------------- /prolog_exercises/sat.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/sat.pl -------------------------------------------------------------------------------- /prolog_exercises/schuberts_steamroller.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/schuberts_steamroller.pl -------------------------------------------------------------------------------- /prolog_exercises/simple_prolog_db_operation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/simple_prolog_db_operation.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/Breadth-First Traversal of a List of Lists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/Breadth-First Traversal of a List of Lists.txt -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/Threading State.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/Threading State.txt -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/compare dcg to other approaches.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/compare dcg to other approaches.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/constraints_over_matrix.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/constraints_over_matrix.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/corona_symptoms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/corona_symptoms.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/cosine_taylor_series.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/cosine_taylor_series.md -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/flatten_and_heighten.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/flatten_and_heighten.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/flatwalker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/flatwalker.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/insert_element_into_sorted_list_with_append.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/insert_element_into_sorted_list_with_append.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/parse_time.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/parse_time.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/powersum.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/powersum.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/powersum/constraints.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/powersum/constraints.graphml -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/powersum/constraints.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/powersum/constraints.svg -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/rgbnext.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/rgbnext.pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/simple graph walker (finite automaton).pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/simple graph walker (finite automaton).pl -------------------------------------------------------------------------------- /prolog_exercises/stackoverflow/sliding.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/stackoverflow/sliding.pl -------------------------------------------------------------------------------- /prolog_exercises/test_plunit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/prolog_exercises/test_plunit.pl -------------------------------------------------------------------------------- /swipl_notes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/README.md -------------------------------------------------------------------------------- /swipl_notes/about_attributed_variables/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_attributed_variables/README.md -------------------------------------------------------------------------------- /swipl_notes/about_attributed_variables/enforced_integer_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_attributed_variables/enforced_integer_list.pl -------------------------------------------------------------------------------- /swipl_notes/about_attributed_variables/enum_domain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_attributed_variables/enum_domain.pl -------------------------------------------------------------------------------- /swipl_notes/about_attributed_variables/enum_domain.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_attributed_variables/enum_domain.plt -------------------------------------------------------------------------------- /swipl_notes/about_attributed_variables/list_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_attributed_variables/list_test.pl -------------------------------------------------------------------------------- /swipl_notes/about_between/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_between/README.md -------------------------------------------------------------------------------- /swipl_notes/about_between/code/test_between.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_between/code/test_between.pl -------------------------------------------------------------------------------- /swipl_notes/about_between/webmanualtxt/between.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_between/webmanualtxt/between.txt -------------------------------------------------------------------------------- /swipl_notes/about_call_with_depth_limit/code/deeper.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_call_with_depth_limit/code/deeper.pl -------------------------------------------------------------------------------- /swipl_notes/about_chr/Logical Interpretation of CHR.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_chr/Logical Interpretation of CHR.png -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/README.md -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/concept_of_variable.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/concept_of_variable.graphml -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/concept_of_variable.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/concept_of_variable.png -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/concept_of_variable.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/concept_of_variable.svg -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/unification_example.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/unification_example.graphml -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/unification_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/unification_example.png -------------------------------------------------------------------------------- /swipl_notes/about_concept_of_variable/unification_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_concept_of_variable/unification_example.svg -------------------------------------------------------------------------------- /swipl_notes/about_conditions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_conditions/README.md -------------------------------------------------------------------------------- /swipl_notes/about_conditions/code/condition_examples.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_conditions/code/condition_examples.pl -------------------------------------------------------------------------------- /swipl_notes/about_conditions/code/continuation_based_condition.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_conditions/code/continuation_based_condition.pl -------------------------------------------------------------------------------- /swipl_notes/about_conditions/code/modified_condition.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_conditions/code/modified_condition.pl -------------------------------------------------------------------------------- /swipl_notes/about_conditions/code/original_condition.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_conditions/code/original_condition.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/README.md -------------------------------------------------------------------------------- /swipl_notes/about_continuations/adaptations/loop.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/adaptations/loop.md -------------------------------------------------------------------------------- /swipl_notes/about_continuations/archive/faulty_code/explodes3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/archive/faulty_code/explodes3.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/effect_handler/effect_handler.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/effect_handler/effect_handler.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/effect_handler/run_counter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/effect_handler/run_counter.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/effect_handler/run_markov.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/effect_handler/run_markov.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/exercise/appender_observer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/exercise/appender_observer.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/exercise/jumping_around.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/exercise/jumping_around.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/exercise/looping.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/exercise/looping.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/exercise/trial.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/exercise/trial.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/iterator/iterator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/iterator/iterator.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/code/trial/reset_and_reset.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/code/trial/reset_and_reset.pl -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/back_and_forth.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/back_and_forth.graphml -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/back_and_forth.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/back_and_forth.png -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/limited_application.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/limited_application.graphml -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/limited_application.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/limited_application.png -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/limited_application.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/limited_application.svg -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/reset_points_as_resources.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/reset_points_as_resources.graphml -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/reset_points_as_resources.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/reset_points_as_resources.png -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/reset_points_as_resources.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/reset_points_as_resources.svg -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/reset_points_as_resources_call_stack.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/reset_points_as_resources_call_stack.png -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/reset_points_as_resources_call_stack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/reset_points_as_resources_call_stack.svg -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/state_handler.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/state_handler.graphml -------------------------------------------------------------------------------- /swipl_notes/about_continuations/pics/state_handler.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_continuations/pics/state_handler.svg -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/README.md -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/README.md -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/abba2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/abba2.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/fsm_2.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/fsm_2.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/fsm_diagram.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/fsm_diagram.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/fsm_perl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/fsm_perl.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/fsm_prolog.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/fsm_prolog.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/fsm_prolog_debug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/fsm_prolog_debug.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/pics/fsm_1.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/pics/fsm_1.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/pics/fsm_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/pics/fsm_1.svg -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/pics/fsm_2.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/pics/fsm_2.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/pics/fsm_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/pics/fsm_2.svg -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/regex_fsm_1.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/regex_fsm_1.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/regex_fsm_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/regex_fsm_1.svg -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/regex_fsm_2.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/regex_fsm_2.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/regex_fsm_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/regex_fsm_2.png -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_abba/regex_fsm_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_abba/regex_fsm_2.svg -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/example_dcg_for_abstar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/example_dcg_for_abstar.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/read_file.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/read_file.pl -------------------------------------------------------------------------------- /swipl_notes/about_dcgs/text_for_DCG_page.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dcgs/text_for_DCG_page.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/README.md -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/applications/count_values_encountered.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/applications/count_values_encountered.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/applications/selection_for_default_parameters.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/applications/selection_for_default_parameters.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/applications/sum_over_numeric_values.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/applications/sum_over_numeric_values.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_assembly_disassembly_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_assembly_disassembly_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_equality_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_equality_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_getting_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_getting_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_put_dotcall_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_put_dotcall_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_selection_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_selection_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/dict_unification_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/dict_unification_testing.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/load_all_run_tests.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/load_all_run_tests.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/code/perf/dict_perf_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/code/perf/dict_perf_test.pl -------------------------------------------------------------------------------- /swipl_notes/about_dicts/manual_review/dict_manual_review.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/manual_review/dict_manual_review.pdf -------------------------------------------------------------------------------- /swipl_notes/about_dicts/manual_review/extensions.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/manual_review/extensions.doc -------------------------------------------------------------------------------- /swipl_notes/about_dicts/manual_review/extensions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dicts/manual_review/extensions.html -------------------------------------------------------------------------------- /swipl_notes/about_dif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/README.md -------------------------------------------------------------------------------- /swipl_notes/about_dif/old/about_dif_states.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/old/about_dif_states.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dif/old/about_dif_states.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/old/about_dif_states.svg -------------------------------------------------------------------------------- /swipl_notes/about_dif/pics/dif_call.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/pics/dif_call.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dif/pics/dif_call.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/pics/dif_call.svg -------------------------------------------------------------------------------- /swipl_notes/about_dif/pics/unifications_after_dif_call.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/pics/unifications_after_dif_call.graphml -------------------------------------------------------------------------------- /swipl_notes/about_dif/pics/unifications_after_dif_call.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_dif/pics/unifications_after_dif_call.svg -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/README.md -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/code/README.md -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/code/difflist_examples.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/code/difflist_examples.pl -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/code/length_dl_sly.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/code/length_dl_sly.pl -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/01A.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/01A.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/01A.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/01A.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/01B.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/01B.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/01B.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/01B.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02A.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02A.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02A.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02A.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02B.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02B.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02B.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02B.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02C.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02C.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02C.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02C.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02D.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02D.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02D.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02D.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02E.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02E.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02E.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02E.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02F.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02F.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/02F.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/02F.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03A.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03A.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03A.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03A.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03B.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03B.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03B.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03B.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03C.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03C.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03C.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03C.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03D.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03D.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03D.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03D.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03E.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03E.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03E.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03E.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03F.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03F.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/03F.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/03F.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04A.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04A.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04A.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04A.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04B.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04B.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04B.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04B.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04C.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04C.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04C.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04C.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04D.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04D.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04D.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04D.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04E.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04E.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04E.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04E.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04F.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04F.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/04F.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/04F.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05A.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05A.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05A.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05A.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05B.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05B.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05B.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05B.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05C.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05C.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05C.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05C.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05D.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05D.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05D.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05D.png -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05E.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05E.graphml -------------------------------------------------------------------------------- /swipl_notes/about_difference_lists/pics/05E.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_difference_lists/pics/05E.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/README.md -------------------------------------------------------------------------------- /swipl_notes/about_documentation/bibliography/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/bibliography/README.md -------------------------------------------------------------------------------- /swipl_notes/about_documentation/bibliography/pics/pdflatex-bibtex_pipeline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/bibliography/pics/pdflatex-bibtex_pipeline.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/editing_process.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/editing_process.graphml -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/editing_process.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/editing_process.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/findall_predicate_banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/findall_predicate_banner.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/guillements_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/guillements_example.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/quotation_marks.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/quotation_marks.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/result_of_term_dotlists_true.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/result_of_term_dotlists_true.png -------------------------------------------------------------------------------- /swipl_notes/about_documentation/pics/result_of_typesetting_term.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_documentation/pics/result_of_typesetting_term.png -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/README.md -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/catch_with_backtrace.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/catch_with_backtrace.md -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/code/case_study.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/code/case_study.pl -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/code/catchy.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/code/catchy.pl -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/code/exception_testcode.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/code/exception_testcode.pl -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/code/perl_throwme_extractor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/code/perl_throwme_extractor.pl -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/example_code_to_verify_predicate_args.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/example_code_to_verify_predicate_args.md -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.graphml -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.png -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/pics/Java_Exception_Hierarchy.svg -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/pics/prolog_coding_guidelines_exceptions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/pics/prolog_coding_guidelines_exceptions.png -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/problems_with_the_iso_standard_exception_terms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/problems_with_the_iso_standard_exception_terms.md -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/throwing_in_style.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/throwing_in_style.md -------------------------------------------------------------------------------- /swipl_notes/about_exceptions/throwing_iso_standard_exceptions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_exceptions/throwing_iso_standard_exceptions.md -------------------------------------------------------------------------------- /swipl_notes/about_findall/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/README.md -------------------------------------------------------------------------------- /swipl_notes/about_findall/pics/cover_LNCS238.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/pics/cover_LNCS238.jpg -------------------------------------------------------------------------------- /swipl_notes/about_findall/pics/cover_art_of_prolog_1st_edition.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/pics/cover_art_of_prolog_1st_edition.jpg -------------------------------------------------------------------------------- /swipl_notes/about_findall/pics/cover_craft_of_prolog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/pics/cover_craft_of_prolog.jpg -------------------------------------------------------------------------------- /swipl_notes/about_findall/pics/cover_programming_in_prolog.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/pics/cover_programming_in_prolog.jpg -------------------------------------------------------------------------------- /swipl_notes/about_findall/pics/findall_is_pretty_acme.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_findall/pics/findall_is_pretty_acme.jpg -------------------------------------------------------------------------------- /swipl_notes/about_foldl/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_foldl/README.md -------------------------------------------------------------------------------- /swipl_notes/about_freeze/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_freeze/README.md -------------------------------------------------------------------------------- /swipl_notes/about_glossary/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_glossary/README.md -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/README.md -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/cut_as_wired_up_in_the_byrd_box_model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/cut_as_wired_up_in_the_byrd_box_model.png -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/if_then_else_as_parsed.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/if_then_else_as_parsed.graphml -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/if_then_else_as_parsed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/if_then_else_as_parsed.png -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/if_then_else_as_written.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/if_then_else_as_written.graphml -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/if_then_else_as_written.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/if_then_else_as_written.png -------------------------------------------------------------------------------- /swipl_notes/about_if_then_else/pics/or_as_wired_up_in_the_byrd_box_model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_if_then_else/pics/or_as_wired_up_in_the_byrd_box_model.png -------------------------------------------------------------------------------- /swipl_notes/about_jpl/test_jpl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_jpl/test_jpl.pl -------------------------------------------------------------------------------- /swipl_notes/about_length/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_length/README.md -------------------------------------------------------------------------------- /swipl_notes/about_length/code/test_length.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_length/code/test_length.pl -------------------------------------------------------------------------------- /swipl_notes/about_length/code/test_length_against_iso_prolog_wg17.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_length/code/test_length_against_iso_prolog_wg17.pl -------------------------------------------------------------------------------- /swipl_notes/about_length/webmanualtxt/length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_length/webmanualtxt/length.txt -------------------------------------------------------------------------------- /swipl_notes/about_maplist/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/README.md -------------------------------------------------------------------------------- /swipl_notes/about_maplist/maplist_2_examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/maplist_2_examples.md -------------------------------------------------------------------------------- /swipl_notes/about_maplist/maplist_3_examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/maplist_3_examples.md -------------------------------------------------------------------------------- /swipl_notes/about_maplist/maplist_4_examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/maplist_4_examples.md -------------------------------------------------------------------------------- /swipl_notes/about_maplist/pics/mutually_cyclic_lists.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/pics/mutually_cyclic_lists.graphml -------------------------------------------------------------------------------- /swipl_notes/about_maplist/pics/mutually_cyclic_lists.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/pics/mutually_cyclic_lists.svg -------------------------------------------------------------------------------- /swipl_notes/about_maplist/webmanualtxt/maplist_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_maplist/webmanualtxt/maplist_2.txt -------------------------------------------------------------------------------- /swipl_notes/about_mode_indicators/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_mode_indicators/README.md -------------------------------------------------------------------------------- /swipl_notes/about_mode_indicators/mode_indicators.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_mode_indicators/mode_indicators.ods -------------------------------------------------------------------------------- /swipl_notes/about_mode_indicators/mode_indicators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_mode_indicators/mode_indicators.pdf -------------------------------------------------------------------------------- /swipl_notes/about_mode_indicators/mode_indicators.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_mode_indicators/mode_indicators.png -------------------------------------------------------------------------------- /swipl_notes/about_operators/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/README.md -------------------------------------------------------------------------------- /swipl_notes/about_operators/code/list_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/code/list_ops.pl -------------------------------------------------------------------------------- /swipl_notes/about_operators/code/list_ops_with_urls.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/code/list_ops_with_urls.pl -------------------------------------------------------------------------------- /swipl_notes/about_operators/pics/parse_tree.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/pics/parse_tree.graphml -------------------------------------------------------------------------------- /swipl_notes/about_operators/pics/parse_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/pics/parse_tree.png -------------------------------------------------------------------------------- /swipl_notes/about_operators/pics/parse_tree_with_precedence_values.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/pics/parse_tree_with_precedence_values.graphml -------------------------------------------------------------------------------- /swipl_notes/about_operators/pics/parse_tree_with_precedence_values.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_operators/pics/parse_tree_with_precedence_values.png -------------------------------------------------------------------------------- /swipl_notes/about_output_formatting/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_output_formatting/README.md -------------------------------------------------------------------------------- /swipl_notes/about_output_formatting/output_formatting_pics/tldr.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_output_formatting/output_formatting_pics/tldr.graphml -------------------------------------------------------------------------------- /swipl_notes/about_output_formatting/output_formatting_pics/tldr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_output_formatting/output_formatting_pics/tldr.svg -------------------------------------------------------------------------------- /swipl_notes/about_packs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_packs/README.md -------------------------------------------------------------------------------- /swipl_notes/about_pengines/Pengine PLTP diagram.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_pengines/Pengine PLTP diagram.graphml -------------------------------------------------------------------------------- /swipl_notes/about_pengines/Pengine PLTP diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_pengines/Pengine PLTP diagram.svg -------------------------------------------------------------------------------- /swipl_notes/about_predicate_structure/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_predicate_structure/README.md -------------------------------------------------------------------------------- /swipl_notes/about_predicate_structure/falsing_and_error_throwing.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_predicate_structure/falsing_and_error_throwing.graphml -------------------------------------------------------------------------------- /swipl_notes/about_predicate_structure/falsing_and_error_throwing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_predicate_structure/falsing_and_error_throwing.png -------------------------------------------------------------------------------- /swipl_notes/about_predicate_structure/falsing_and_error_throwing.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_predicate_structure/falsing_and_error_throwing.svg -------------------------------------------------------------------------------- /swipl_notes/about_prolog_db_operations/simple_db_op.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_prolog_db_operations/simple_db_op.md -------------------------------------------------------------------------------- /swipl_notes/about_salvaging_a_term_out_of_a_dropped_search_branch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_salvaging_a_term_out_of_a_dropped_search_branch/README.md -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/README.md -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/archive/old/pseudotypes.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/archive/old/pseudotypes.graphml -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/archive/old/pseudotypes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/archive/old/pseudotypes.png -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/archive/older/prolog_syntax.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/archive/older/prolog_syntax.graphml -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/archive/older/prolog_syntax.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/archive/older/prolog_syntax.png -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/code/tagging.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/code/tagging.pl -------------------------------------------------------------------------------- /swipl_notes/about_swipl_data_types/webmanualtxt/type_tree_in_ascii.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_swipl_data_types/webmanualtxt/type_tree_in_ascii.txt -------------------------------------------------------------------------------- /swipl_notes/about_tabling/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_tabling/README.md -------------------------------------------------------------------------------- /swipl_notes/about_term_analysis_and_construction/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_term_analysis_and_construction/README.md -------------------------------------------------------------------------------- /swipl_notes/about_type_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_type_tests/README.md -------------------------------------------------------------------------------- /swipl_notes/about_type_tests/unit_tests_for_must_be.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/about_type_tests/unit_tests_for_must_be.pl -------------------------------------------------------------------------------- /swipl_notes/various/loading_lynx_library.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/various/loading_lynx_library.md -------------------------------------------------------------------------------- /swipl_notes/various/notes_on_the_caret_used_in_bagof_goals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/various/notes_on_the_caret_used_in_bagof_goals.md -------------------------------------------------------------------------------- /swipl_notes/various/swipl_string_modes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/various/swipl_string_modes.md -------------------------------------------------------------------------------- /swipl_notes/various_code/division_and_remainder.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/various_code/division_and_remainder.pl -------------------------------------------------------------------------------- /swipl_notes/various_code/test_sort_predicates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/swipl_notes/various_code/test_sort_predicates.pl -------------------------------------------------------------------------------- /terms_variables_jargon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/terms_variables_jargon/README.md -------------------------------------------------------------------------------- /terms_variables_jargon/prolog_lingo/prolog_lingo.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/terms_variables_jargon/prolog_lingo/prolog_lingo.ods -------------------------------------------------------------------------------- /terms_variables_jargon/prolog_lingo/prolog_lingo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/terms_variables_jargon/prolog_lingo/prolog_lingo.pdf -------------------------------------------------------------------------------- /terms_variables_jargon/prolog_lingo/prolog_lingo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/terms_variables_jargon/prolog_lingo/prolog_lingo.png -------------------------------------------------------------------------------- /third_party_code/plspec-master/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/.gitignore -------------------------------------------------------------------------------- /third_party_code/plspec-master/.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/.travis.yml -------------------------------------------------------------------------------- /third_party_code/plspec-master/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/LICENSE.md -------------------------------------------------------------------------------- /third_party_code/plspec-master/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/README.md -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/Makefile -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/builtins.plspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/builtins.plspec -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/domain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/domain.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/domain_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/domain_test.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/plspec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/plspec.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/plspec_core.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/plspec_core.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/plspec_logger.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/plspec_logger.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/plspec_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/plspec_test.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/plspec_test.plspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/plspec_test.plspec -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/preserve_behaviour_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/preserve_behaviour_test.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/prettyprinter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/prettyprinter.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/tests.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/tests.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/unbound_spec_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/unbound_spec_test.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/validator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/validator.pl -------------------------------------------------------------------------------- /third_party_code/plspec-master/plspec/validator_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/plspec-master/plspec/validator_test.pl -------------------------------------------------------------------------------- /third_party_code/snippets/O Keefe's flatten.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/third_party_code/snippets/O Keefe's flatten.txt -------------------------------------------------------------------------------- /vivid_logic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/vivid_logic/README.md -------------------------------------------------------------------------------- /vivid_logic/code/vl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/vivid_logic/code/vl.pl -------------------------------------------------------------------------------- /vivid_logic/pics/lnai764cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/vivid_logic/pics/lnai764cover.png -------------------------------------------------------------------------------- /website_comment_texts/BLOBs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/BLOBs.txt -------------------------------------------------------------------------------- /website_comment_texts/DCG.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/DCG.txt -------------------------------------------------------------------------------- /website_comment_texts/Foreign Function Interface.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/Foreign Function Interface.txt -------------------------------------------------------------------------------- /website_comment_texts/JPL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/JPL.txt -------------------------------------------------------------------------------- /website_comment_texts/Manual_Contents.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/Manual_Contents.txt -------------------------------------------------------------------------------- /website_comment_texts/Manual_Intro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/Manual_Intro.txt -------------------------------------------------------------------------------- /website_comment_texts/PCRE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/PCRE.txt -------------------------------------------------------------------------------- /website_comment_texts/SWI-Prolog_Manual_Intro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/SWI-Prolog_Manual_Intro.txt -------------------------------------------------------------------------------- /website_comment_texts/Syntax_Changes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/Syntax_Changes.txt -------------------------------------------------------------------------------- /website_comment_texts/aggregate.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/aggregate.txt -------------------------------------------------------------------------------- /website_comment_texts/append.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/append.txt -------------------------------------------------------------------------------- /website_comment_texts/assertion.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/assertion.txt -------------------------------------------------------------------------------- /website_comment_texts/atom_concat_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atom_concat_3.txt -------------------------------------------------------------------------------- /website_comment_texts/atom_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atom_length.txt -------------------------------------------------------------------------------- /website_comment_texts/atom_string.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atom_string.txt -------------------------------------------------------------------------------- /website_comment_texts/atomic_concat_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atomic_concat_3.txt -------------------------------------------------------------------------------- /website_comment_texts/atomic_list_concat_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atomic_list_concat_2.txt -------------------------------------------------------------------------------- /website_comment_texts/atomic_list_concat_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atomic_list_concat_3.txt -------------------------------------------------------------------------------- /website_comment_texts/atomics_to_string_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atomics_to_string_2.txt -------------------------------------------------------------------------------- /website_comment_texts/atomics_to_string_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/atomics_to_string_3.txt -------------------------------------------------------------------------------- /website_comment_texts/attributed_variables.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/attributed_variables.txt -------------------------------------------------------------------------------- /website_comment_texts/bagof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/bagof.txt -------------------------------------------------------------------------------- /website_comment_texts/between.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/between.txt -------------------------------------------------------------------------------- /website_comment_texts/bidicts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/bidicts.txt -------------------------------------------------------------------------------- /website_comment_texts/bitshift.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/bitshift.txt -------------------------------------------------------------------------------- /website_comment_texts/call_dcg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/call_dcg.txt -------------------------------------------------------------------------------- /website_comment_texts/call_with_depth_limit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/call_with_depth_limit.txt -------------------------------------------------------------------------------- /website_comment_texts/catch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/catch.txt -------------------------------------------------------------------------------- /website_comment_texts/char_type.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/char_type.txt -------------------------------------------------------------------------------- /website_comment_texts/clumped.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/clumped.txt -------------------------------------------------------------------------------- /website_comment_texts/cmdline.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/cmdline.txt -------------------------------------------------------------------------------- /website_comment_texts/consult.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/consult.txt -------------------------------------------------------------------------------- /website_comment_texts/current_module.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/current_module.txt -------------------------------------------------------------------------------- /website_comment_texts/current_prolog_flag.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/current_prolog_flag.txt -------------------------------------------------------------------------------- /website_comment_texts/cut.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/cut.txt -------------------------------------------------------------------------------- /website_comment_texts/cyclic_term.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/cyclic_term.txt -------------------------------------------------------------------------------- /website_comment_texts/db.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/db.txt -------------------------------------------------------------------------------- /website_comment_texts/defining_a_module.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/defining_a_module.txt -------------------------------------------------------------------------------- /website_comment_texts/delimited_continuations.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/delimited_continuations.txt -------------------------------------------------------------------------------- /website_comment_texts/dict_get.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/dict_get.pl -------------------------------------------------------------------------------- /website_comment_texts/dict_pairs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/dict_pairs.txt -------------------------------------------------------------------------------- /website_comment_texts/dict_projection.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/dict_projection.pl -------------------------------------------------------------------------------- /website_comment_texts/dif.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/dif.txt -------------------------------------------------------------------------------- /website_comment_texts/digit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/digit.txt -------------------------------------------------------------------------------- /website_comment_texts/doc_needs_help.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/doc_needs_help.md -------------------------------------------------------------------------------- /website_comment_texts/download.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/download.txt -------------------------------------------------------------------------------- /website_comment_texts/engines.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/engines.txt -------------------------------------------------------------------------------- /website_comment_texts/exception_term.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/exception_term.txt -------------------------------------------------------------------------------- /website_comment_texts/exists_file.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/exists_file.txt -------------------------------------------------------------------------------- /website_comment_texts/file_base_name.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/file_base_name.txt -------------------------------------------------------------------------------- /website_comment_texts/file_name_extension.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/file_name_extension.txt -------------------------------------------------------------------------------- /website_comment_texts/findall_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/findall_3.txt -------------------------------------------------------------------------------- /website_comment_texts/findall_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/findall_4.txt -------------------------------------------------------------------------------- /website_comment_texts/float.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/float.txt -------------------------------------------------------------------------------- /website_comment_texts/foldl.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/foldl.txt -------------------------------------------------------------------------------- /website_comment_texts/forall.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/forall.txt -------------------------------------------------------------------------------- /website_comment_texts/foreign_language_interface.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/foreign_language_interface.txt -------------------------------------------------------------------------------- /website_comment_texts/format.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/format.txt -------------------------------------------------------------------------------- /website_comment_texts/get_dict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/get_dict.txt -------------------------------------------------------------------------------- /website_comment_texts/get_single_char.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/get_single_char.txt -------------------------------------------------------------------------------- /website_comment_texts/get_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/get_time.txt -------------------------------------------------------------------------------- /website_comment_texts/glossary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/glossary.txt -------------------------------------------------------------------------------- /website_comment_texts/howto_pack.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/howto_pack.txt -------------------------------------------------------------------------------- /website_comment_texts/include.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/include.txt -------------------------------------------------------------------------------- /website_comment_texts/is_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/is_list.txt -------------------------------------------------------------------------------- /website_comment_texts/last.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/last.txt -------------------------------------------------------------------------------- /website_comment_texts/library_strings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/library_strings.txt -------------------------------------------------------------------------------- /website_comment_texts/library_yall.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/library_yall.txt -------------------------------------------------------------------------------- /website_comment_texts/load_test_files.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/load_test_files.txt -------------------------------------------------------------------------------- /website_comment_texts/maplist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/maplist.txt -------------------------------------------------------------------------------- /website_comment_texts/max_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/max_list.txt -------------------------------------------------------------------------------- /website_comment_texts/max_member.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/max_member.txt -------------------------------------------------------------------------------- /website_comment_texts/member.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/member.txt -------------------------------------------------------------------------------- /website_comment_texts/memberchk.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/memberchk.txt -------------------------------------------------------------------------------- /website_comment_texts/metacall.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/metacall.txt -------------------------------------------------------------------------------- /website_comment_texts/min.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/min.txt -------------------------------------------------------------------------------- /website_comment_texts/mode_indicators.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/mode_indicators.txt -------------------------------------------------------------------------------- /website_comment_texts/multifile.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/multifile.txt -------------------------------------------------------------------------------- /website_comment_texts/must_be.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/must_be.txt -------------------------------------------------------------------------------- /website_comment_texts/nb_setarg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/nb_setarg.txt -------------------------------------------------------------------------------- /website_comment_texts/nb_setval.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/nb_setval.txt -------------------------------------------------------------------------------- /website_comment_texts/nonground.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/nonground.txt -------------------------------------------------------------------------------- /website_comment_texts/not.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/not.txt -------------------------------------------------------------------------------- /website_comment_texts/not_unifies.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/not_unifies.txt -------------------------------------------------------------------------------- /website_comment_texts/notation_of_predicate_descriptions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/notation_of_predicate_descriptions.txt -------------------------------------------------------------------------------- /website_comment_texts/nth0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/nth0.txt -------------------------------------------------------------------------------- /website_comment_texts/obtaining_runtime_statistics.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/obtaining_runtime_statistics.txt -------------------------------------------------------------------------------- /website_comment_texts/once.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/once.txt -------------------------------------------------------------------------------- /website_comment_texts/op.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/op.txt -------------------------------------------------------------------------------- /website_comment_texts/option.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/option.txt -------------------------------------------------------------------------------- /website_comment_texts/option_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/option_3.txt -------------------------------------------------------------------------------- /website_comment_texts/partition.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/partition.txt -------------------------------------------------------------------------------- /website_comment_texts/pengines.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/pengines.txt -------------------------------------------------------------------------------- /website_comment_texts/pldoc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/pldoc.txt -------------------------------------------------------------------------------- /website_comment_texts/plunit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/plunit.txt -------------------------------------------------------------------------------- /website_comment_texts/predicate_property.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/predicate_property.txt -------------------------------------------------------------------------------- /website_comment_texts/predicate_semicolon.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/predicate_semicolon.txt -------------------------------------------------------------------------------- /website_comment_texts/process_create.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/process_create.txt -------------------------------------------------------------------------------- /website_comment_texts/put_dict.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/put_dict.pl -------------------------------------------------------------------------------- /website_comment_texts/put_dict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/put_dict.txt -------------------------------------------------------------------------------- /website_comment_texts/put_docall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/put_docall.pl -------------------------------------------------------------------------------- /website_comment_texts/put_dotcall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/put_dotcall.pl -------------------------------------------------------------------------------- /website_comment_texts/random_1_the_function.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/random_1_the_function.txt -------------------------------------------------------------------------------- /website_comment_texts/random_between.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/random_between.txt -------------------------------------------------------------------------------- /website_comment_texts/random_member.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/random_member.txt -------------------------------------------------------------------------------- /website_comment_texts/read.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/read.txt -------------------------------------------------------------------------------- /website_comment_texts/read_line_to_string.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/read_line_to_string.txt -------------------------------------------------------------------------------- /website_comment_texts/read_stream_to_codes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/read_stream_to_codes.txt -------------------------------------------------------------------------------- /website_comment_texts/reset.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/reset.txt -------------------------------------------------------------------------------- /website_comment_texts/reverse.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/reverse.txt -------------------------------------------------------------------------------- /website_comment_texts/run_tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/run_tests.txt -------------------------------------------------------------------------------- /website_comment_texts/same_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/same_length.txt -------------------------------------------------------------------------------- /website_comment_texts/setup_call_cleanup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/setup_call_cleanup.txt -------------------------------------------------------------------------------- /website_comment_texts/setup_call_cleanup_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/setup_call_cleanup_3.txt -------------------------------------------------------------------------------- /website_comment_texts/shell.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/shell.txt -------------------------------------------------------------------------------- /website_comment_texts/sleep.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/sleep.txt -------------------------------------------------------------------------------- /website_comment_texts/sort_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/sort_2.txt -------------------------------------------------------------------------------- /website_comment_texts/split_string.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/split_string.txt -------------------------------------------------------------------------------- /website_comment_texts/string_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/string_length.txt -------------------------------------------------------------------------------- /website_comment_texts/string_predicates.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/string_predicates.txt -------------------------------------------------------------------------------- /website_comment_texts/sub_string.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/sub_string.pl -------------------------------------------------------------------------------- /website_comment_texts/sum.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/sum.pl -------------------------------------------------------------------------------- /website_comment_texts/sum_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/sum_list.txt -------------------------------------------------------------------------------- /website_comment_texts/time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/time.txt -------------------------------------------------------------------------------- /website_comment_texts/transparent predicates.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/transparent predicates.txt -------------------------------------------------------------------------------- /website_comment_texts/unification.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/unification.txt -------------------------------------------------------------------------------- /website_comment_texts/univ.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/univ.txt -------------------------------------------------------------------------------- /website_comment_texts/uuid.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/uuid.txt -------------------------------------------------------------------------------- /website_comment_texts/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/var.txt -------------------------------------------------------------------------------- /website_comment_texts/whymodules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/whymodules.pl -------------------------------------------------------------------------------- /website_comment_texts/write_length.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dtonhofer/prolog_notes/HEAD/website_comment_texts/write_length.txt --------------------------------------------------------------------------------