[[
pl:prolog:pllib:shell
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Menadżer multimediów
Katalogi
Wybierz katalog
[główny]
en
graphviz
hekate
hekatedev
hexordev
kese
latex
mindstorms
mindstormsdev
miw
pl
dydaktyka
epp
hekatedev
hexor
hexordev
mindstorms
miw
prolog
jpl
pllib
prolog_lab
playground
plnxt
research
student
undefined
wiki
Wysyłanie pliku
Wysyłanie pliku
Przesyłanie plików
Szukaj
Pliki w
pl:prolog:pllib
Miniatury
Wiersze
Nazwa
Data
Zastosuj
8_puzzle.pl
2017/07/17 08:03
6.8 KB
8_queens.pl
2017/07/17 08:03
885 B
8_queens_2.pl
2017/07/17 08:03
650 B
8_queens_3.pl
2017/07/17 08:03
824 B
8_queens_4.pl
2017/07/17 08:03
960 B
8_queens_5.pl
2017/07/17 08:03
1.1 KB
abc_language_enhancement.pl
2017/07/17 08:03
313 B
abc_language_recognition.pl
2017/07/17 08:03
300 B
ackermann.pl
2017/07/17 08:03
304 B
acyclic_path.pl
2017/07/17 08:03
513 B
acyclic_path_2.pl
2017/07/17 08:03
798 B
add.pl
2017/07/17 08:03
278 B
add_2.pl
2017/07/17 08:03
273 B
alfa_beta.pl
2017/07/17 08:03
1.6 KB
all_solutions.pl
2017/07/17 08:03
670 B
analogy.pl
2017/07/17 08:03
895 B
ancestor.pl
2017/07/17 08:03
289 B
and_gate.pl
2017/07/17 08:03
751 B
animals.pl
2017/07/17 08:03
2.3 KB
animals_kb.pl
2017/07/17 08:03
1.9 KB
answers_storing.pl
2017/07/17 08:03
278 B
append.pl
2017/07/17 08:03
199 B
arc.pl
2017/07/17 08:03
2.2 KB
area.pl
2017/07/17 08:03
107 B
arg_predicate.pl
2017/07/17 08:03
88 B
ascending_sorting.pl
2017/07/17 08:03
182 B
avl_dict_insert.pl
2017/07/17 08:03
1.5 KB
backward-chaining_rule_interpreter.pl
2017/07/17 08:03
514 B
belief_network_specification.pl
2017/07/17 08:03
685 B
belief_networks.pl
2017/07/17 08:03
2.6 KB
best-first.pl
2017/07/17 08:03
3.4 KB
best-first_framework.pl
2017/07/17 08:03
2.8 KB
best-first_framework_2.pl
2017/07/17 08:03
1.6 KB
best-move.pl
2017/07/17 08:03
657 B
best-move_minimax.pl
2017/07/17 08:03
1.2 KB
best_first_search.pl
2017/07/17 08:03
5.4 KB
between.pl
2017/07/17 08:03
241 B
binary_dictionary.pl
2017/07/17 08:03
447 B
birds.pl
2017/07/17 08:03
271 B
birds_recognition.pl
2017/07/17 08:03
293 B
blocks.pl
2017/07/17 08:03
1.4 KB
breadth-first_search.pl
2017/07/17 08:03
1 KB
breadth-first_search_2.pl
2017/07/17 08:03
1.2 KB
bubble_sort.pl
2017/07/17 08:03
277 B
build_sentence.pl
2017/07/17 08:03
282 B
camera_planner.pl
2017/07/17 08:03
1.9 KB
capacity.pl
2017/07/17 08:03
154 B
change_element.pl
2017/07/17 08:03
209 B
circuit_simulator.pl
2017/07/17 08:03
780 B
clauses_displaying.pl
2017/07/17 08:03
266 B
combinations_with_repeated.pl
2017/07/17 08:03
138 B
combinations_without_repeated.pl
2017/07/17 08:03
174 B
common_divisor_2.pl
2017/07/17 08:03
509 B
comon_divisor.pl
2017/07/17 08:03
328 B
composition.pl
2017/07/17 08:03
1 KB
consulting_file.pl
2017/07/17 08:03
378 B
correlation_factor.pl
2017/07/17 08:03
862 B
course_rules.pl
2017/07/17 08:03
441 B
credit_system.pl
2017/07/17 08:03
5.4 KB
crossword.pl
2017/07/17 08:03
403 B
crossword.png
325×310
2017/07/17 08:03
6.9 KB
cryptoarithmetic_puzzle.pl
2017/07/17 08:03
601 B
cryptoarithmetic_puzzle_2.pl
2017/07/17 08:03
1.2 KB
cut.pl
2017/07/17 08:03
384 B
dcg.pl
2017/07/17 08:03
1.4 KB
dcg_contextless.pl
2017/07/17 08:03
575 B
dcg_interpreter.pl
2017/07/17 08:03
777 B
dcg_interpreter_counting_words.pl
2017/07/17 08:03
919 B
dcg_number_agreement.pl
2017/07/17 08:03
1.1 KB
dcg_numbers.pl
2017/07/17 08:03
1.3 KB
dcg_tree.pl
2017/07/17 08:03
756 B
delete_element.pl
2017/07/17 08:03
314 B
delete_element_2.pl
2017/07/17 08:03
289 B
delete_from_tree.pl
2017/07/17 08:03
747 B
depth-first_framework.pl
2017/07/17 08:03
691 B
depth-first_search.pl
2017/07/17 08:03
809 B
depth-first_search_2.pl
2017/07/17 08:03
1.6 KB
depth-first_search_3.pl
2017/07/17 08:03
389 B
derivative.pl
2017/07/17 08:03
395 B
derivative_2.pl
2017/07/17 08:03
731 B
descendant.pl
2017/07/17 08:03
174 B
diagnose_false_solution.pl
2017/07/17 08:03
1.5 KB
diagnose_false_solution_top-down.pl
2017/07/17 08:03
1.3 KB
diagnose_missing_solution.pl
2017/07/17 08:03
923 B
dictionary_lookup.pl
2017/07/17 08:03
447 B
dictionary_modification.pl
2017/07/17 08:03
1.8 KB
dif_operator.pl
2017/07/17 08:03
154 B
diff_quicksort.pl
2017/07/17 08:03
549 B
differential_equations.pl
2017/07/17 08:03
7 KB
disjunction.pl
2017/07/17 08:03
205 B
disjunctive_sets.pl
2017/07/17 08:03
95 B
dollar.pl
2017/07/17 08:03
492 B
dutch_flag.pl
2017/07/17 08:03
809 B
dutch_flag_2.pl
2017/07/17 08:03
892 B
dynamic_memory.pl
2017/07/17 08:03
304 B
editor.pl
2017/07/17 08:03
1.5 KB
electrical_circuits.pl
2017/07/17 08:03
781 B
electrical_network_kb.pl
2017/07/17 08:03
2 KB
electronics.pl
2017/07/17 08:03
1.1 KB
eliza_simulator.pl
2017/07/17 08:03
1.7 KB
english2french.pl
2017/07/17 08:03
402 B
equation_solving.pl
2017/07/17 08:03
214 B
equation_solving_2.pl
2017/07/17 08:03
12.2 KB
evaluator.pl
2017/07/17 08:03
553 B
exp.pl
2017/07/17 08:03
466 B
explanation-based_generalization_problem_def.pl
2017/07/17 08:03
1.5 KB
explanation_shell.pl
2017/07/17 08:03
3.2 KB
factorial.pl
2017/07/17 08:03
379 B
factorial_2.pl
2017/07/17 08:03
290 B
fam_biblical.pl
2017/07/17 08:03
287 B
fam_grandparents.pl
2017/07/17 08:03
243 B
family.pl
2017/07/17 08:03
394 B
family_2.pl
2017/07/17 08:03
1.1 KB
file_operations.pl
2017/07/17 08:03
845 B
file_writting.pl
2017/07/17 08:03
232 B
findall.pl
2017/07/17 08:03
621 B
flatten.pl
2017/07/17 08:03
302 B
flatten_2.pl
2017/07/17 08:03
393 B
flatten_3.pl
2017/07/17 08:03
537 B
flatten_4.pl
2017/07/17 08:03
384 B
flight_planner.pl
2017/07/17 08:03
3.4 KB
food_chain.pl
2017/07/17 08:03
179 B
forward-chaining_rule_interpreter.pl
2017/07/17 08:03
1.2 KB
functor_predicate.pl
2017/07/17 08:03
132 B
game_framework.pl
2017/07/17 08:03
577 B
generalization.pl
2017/07/17 08:03
1.3 KB
geometric_objects.pl
2017/07/17 08:03
1.7 KB
german2english.pl
2017/07/17 08:03
243 B
get_element.pl
2017/07/17 08:03
153 B
grammar2clauses.pl
2017/07/17 08:03
1.2 KB
graph_connections.pl
2017/07/17 08:03
315 B
graph_directed.pl
2017/07/17 08:03
107 B
graph_path.pl
2017/07/17 08:03
719 B
graph_path_2.pl
2017/07/17 08:03
1.1 KB
graph_path_3.pl
2017/07/17 08:03
838 B
graph_path_4.pl
2017/07/17 08:03
493 B
graph_path_4.png
150×119
2017/07/17 08:03
1.7 KB
graph_path_learning.pl
2017/07/17 08:03
871 B
ground_term.pl
2017/07/17 08:03
419 B
hanoi.pl
2017/07/17 08:03
260 B
hanoi.png
481×200
2017/07/17 08:03
2.4 KB
hanoi_2.pl
2017/07/17 08:03
585 B
hill-climbing_framework.pl
2017/07/17 08:03
1.5 KB
hyper_hypothesis_refiner.pl
2017/07/17 08:03
9.9 KB
ida_algorithm.pl
2017/07/17 08:03
1.9 KB
if_rule.pl
2017/07/17 08:03
130 B
if_then.pl
2017/07/17 08:03
184 B
if_then_rule.pl
2017/07/17 08:03
4.7 KB
insert_into_tree.pl
2017/07/17 08:03
517 B
insert_into_tree_2.pl
2017/07/17 08:03
897 B
insert_sort.pl
2017/07/17 08:03
240 B
insertion_sort.pl
2017/07/17 08:03
1.1 KB
integers_set.pl
2017/07/17 08:03
236 B
interactive_interpreter.pl
2017/07/17 08:03
1.2 KB
interactive_shell.pl
2017/07/17 08:03
579 B
interchange_sort.pl
2017/07/17 08:03
358 B
interface.pl
2017/07/17 08:03
201 B
interface_2.pl
2017/07/17 08:03
496 B
interpreter_for_hypotheses.pl
2017/07/17 08:03
1.5 KB
kalah.pl
2017/07/17 08:03
6.8 KB
keyword_in_context.pl
2017/07/17 08:03
952 B
king_rook.pl
2017/07/17 08:03
15.4 KB
last_element.pl
2017/07/17 08:03
93 B
learn_tree.pl
2017/07/17 08:03
5 KB
learning_predicate.pl
2017/07/17 08:03
1001 B
lee_routing.pl
2017/07/17 08:03
2.3 KB
lesseq_operator.pl
2017/07/17 08:03
453 B
list2term.pl
2017/07/17 08:03
554 B
list_define.pl
2017/07/17 08:03
113 B
list_divide.pl
2017/07/17 08:03
188 B
list_duplicates_remove.pl
2017/07/17 08:03
394 B
list_examples.pl
2017/07/17 08:03
210 B
list_intersection.pl
2017/07/17 08:03
467 B
list_learn_membership.pl
2017/07/17 08:03
614 B
list_length.pl
2017/07/17 08:03
66 B
list_length_2.pl
2017/07/17 08:03
171 B
list_length_3.pl
2017/07/17 08:03
493 B
list_linking.pl
2017/07/17 08:03
68 B
list_linking_2.pl
2017/07/17 08:03
432 B
list_linking_3.pl
2017/07/17 08:03
251 B
list_linking_4.pl
2017/07/17 08:03
254 B
list_max_element.pl
2017/07/17 08:03
157 B
list_member.pl
2017/07/17 08:03
205 B
list_member_2.pl
2017/07/17 08:03
171 B
list_member_3.pl
2017/07/17 08:03
91 B
list_member_4.pl
2017/07/17 08:03
210 B
list_nonmember.pl
2017/07/17 08:03
188 B
list_odd-even.pl
2017/07/17 08:03
605 B
list_prefix.pl
2017/07/17 08:03
120 B
list_prefix_suffix.pl
2017/07/17 08:03
293 B
list_smallest_element.pl
2017/07/17 08:03
157 B
list_sum.pl
2017/07/17 08:03
205 B
list_sum_2.pl
2017/07/17 08:03
207 B
list_sum_3.pl
2017/07/17 08:03
321 B
lists_merging.pl
2017/07/17 08:03
461 B
logic_operators.pl
2017/07/17 08:03
681 B
map_colouring.pl
2017/07/17 08:03
916 B
map_colouring1.png
263×235
2017/07/17 08:03
2.1 KB
map_colouring2.pl
2017/07/17 08:03
1.6 KB
map_colouring2.png
263×235
2017/07/17 08:03
2.1 KB
mastermind.pl
2017/07/17 08:03
1.7 KB
matrix_add.pl
2017/07/17 08:03
233 B
matrix_multiply.pl
2017/07/17 08:03
752 B
matrix_transposition.pl
2017/07/17 08:03
433 B
max.pl
2017/07/17 08:03
329 B
max_min.pl
2017/07/17 08:03
661 B
mcsam.pl
2017/07/17 08:03
1.7 KB
means-ends.pl
2017/07/17 08:03
2.2 KB
means-ends_goal_protection.pl
2017/07/17 08:03
1.5 KB
merge_sort.pl
2017/07/17 08:03
773 B
merge_sort_2.pl
2017/07/17 08:03
503 B
meta_interpreter.pl
2017/07/17 08:03
253 B
meta_interpreter_2.pl
2017/07/17 08:03
403 B
meta_interpreter_3.pl
2017/07/17 08:03
433 B
meta_interpreter_4.pl
2017/07/17 08:03
878 B
meta_interpreter_5.pl
2017/07/17 08:03
445 B
meta_interpreter_6.pl
2017/07/17 08:03
237 B
meta_interpreter_7.pl
2017/07/17 08:03
395 B
meta_interpreter_tracing.pl
2017/07/17 08:03
1.1 KB
min.pl
2017/07/17 08:03
182 B
minihyper_ilp_program.pl
2017/07/17 08:03
2.9 KB
minimax_move.pl
2017/07/17 08:03
1.5 KB
minimax_principle.pl
2017/07/17 08:03
1.2 KB
model_bath_tub.pl
2017/07/17 08:03
1 KB
model_block-spring.pl
2017/07/17 08:03
567 B
model_circuit.pl
2017/07/17 08:03
753 B
modelling_circuits.pl
2017/07/17 08:03
1.7 KB
monkey_banana.pl
2017/07/17 08:03
1.2 KB
multiply.pl
2017/07/17 08:03
390 B
n_queens.pl
2017/07/17 08:03
819 B
n_queens_2.pl
2017/07/17 08:03
741 B
naiv_sort.pl
2017/07/17 08:03
284 B
natural_numbers.pl
2017/07/17 08:03
171 B
ndfa_interpreter.pl
2017/07/17 08:03
470 B
negation.pl
2017/07/17 08:03
148 B
nim_game.pl
2017/07/17 08:03
3.3 KB
normalization.pl
2017/07/17 08:03
398 B
npda.pl
2017/07/17 08:03
443 B
npda_interpreter.pl
2017/07/17 08:03
559 B
occurs.pl
2017/07/17 08:03
691 B
older.pl
2017/07/17 08:03
156 B
oo_interpreter.pl
2017/07/17 08:03
901 B
oscillator.pl
2017/07/17 08:03
746 B
oven.pl
2017/07/17 08:03
1.2 KB
palindrome.pl
2017/07/17 08:03
436 B
parser_abc.pl
2017/07/17 08:03
524 B
parser_pascal.pl
2017/07/17 08:03
2.2 KB
partial_reduction.pl
2017/07/17 08:03
990 B
pattern_interpreter.pl
2017/07/17 08:03
1.1 KB
permutation.pl
2017/07/17 08:03
137 B
permutation_sort.pl
2017/07/17 08:03
422 B
polinomial.pl
2017/07/17 08:03
547 B
polinomial_2.pl
2017/07/17 08:03
673 B
polygon_area.pl
2017/07/17 08:03
389 B
predecessor.pl
2017/07/17 08:03
713 B
prolog_compiler.pl
2017/07/17 08:03
6.3 KB
proof_explanation.pl
2017/07/17 08:03
1.4 KB
propositional_calculus_2_clauses.pl
2017/07/17 08:03
1.7 KB
prune_tree.pl
2017/07/17 08:03
2.5 KB
puzzle.pl
2017/07/17 08:03
1.5 KB
queue.pl
2017/07/17 08:03
435 B
quicksort.pl
2017/07/17 08:03
671 B
quicksort_2.pl
2017/07/17 08:03
881 B
rbfs_algorithm.pl
2017/07/17 08:03
3.2 KB
read_from_file.pl
2017/07/17 08:03
120 B
recognize_objects.pl
2017/07/17 08:03
999 B
recursion.pl
2017/07/17 08:03
42 B
regression_planner.pl
2017/07/17 08:03
2.5 KB
relationships.pl
2017/07/17 08:03
317 B
repeat.pl
2017/07/17 08:03
320 B
reverse_1.pl
2017/07/17 08:03
156 B
reverse_2.pl
2017/07/17 08:03
172 B
reverse_difference.pl
2017/07/17 08:03
269 B
reverse_no_duplicate.pl
2017/07/17 08:03
502 B
riddle.pl
2017/07/17 08:03
767 B
riddle1.png
140×202
2017/07/17 08:03
3 KB
road-map_path-finding.pl
2017/07/17 08:03
435 B
robot_world.pl
2017/07/17 08:03
1.1 KB
rule_interpreter.pl
2017/07/17 08:03
1.2 KB
rule_interpreter_2.pl
2017/07/17 08:03
2.2 KB
rule_interpreter_3.pl
2017/07/17 08:03
965 B
rule_interpreter_4.pl
2017/07/17 08:03
1.6 KB
rule_interpreter_certainty.pl
2017/07/17 08:03
646 B
scheduling.pl
2017/07/17 08:03
1017 B
scheduling_clp.pl
2017/07/17 08:03
3.4 KB
search_tree.pl
2017/07/17 08:03
458 B
select.pl
2017/07/17 08:03
258 B
select_first.pl
2017/07/17 08:03
305 B
sentence.pl
2017/07/17 08:03
406 B
sentence2atoms.pl
2017/07/17 08:03
1 KB
session_logging.pl
2017/07/17 08:03
1.2 KB
set_intersection.pl
2017/07/17 08:03
179 B
sets_sum.pl
2017/07/17 08:03
149 B
shell.pl
2017/07/17 08:03
11.3 KB
sister.pl
2017/07/17 08:03
186 B
skeleton.pl
2017/07/17 08:03
1.6 KB
sliding_puzzle.pl
2017/07/17 08:03
9.2 KB
sliding_puzzle.png
128×120
2017/07/17 08:03
1.4 KB
space_planner.pl
2017/07/17 08:03
1.4 KB
standard_deviation.pl
2017/07/17 08:03
469 B
state-space.pl
2017/07/17 08:03
926 B
string2int.pl
2017/07/17 08:03
1.2 KB
string2list.pl
2017/07/17 08:03
856 B
sublists.pl
2017/07/17 08:03
848 B
subterm.pl
2017/07/17 08:03
397 B
subterm_2.pl
2017/07/17 08:03
376 B
subterm_substitution.pl
2017/07/17 08:03
851 B
task_scheduling.pl
2017/07/17 08:03
3.4 KB
term2list.pl
2017/07/17 08:03
376 B
term_melting.pl
2017/07/17 08:03
1.2 KB
term_substitution.pl
2017/07/17 08:03
714 B
terms_variety.pl
2017/07/17 08:03
601 B
theorem_proving.pl
2017/07/17 08:03
1.8 KB
tictactoe.pl
2017/07/17 08:03
5.3 KB
tracer.pl
2017/07/17 08:03
823 B
transitive_closure.pl
2017/07/17 08:03
349 B
tree.pl
2017/07/17 08:03
64 B
tree.png
486×176
2017/07/17 08:03
111 KB
tree_2.pl
2017/07/17 08:03
10 B
tree_2.png
332×142
2017/07/17 08:03
69.2 KB
tree_displaying.pl
2017/07/17 08:03
483 B
tree_member.pl
2017/07/17 08:03
290 B
trees_binary.pl
2017/07/17 08:03
201 B
trees_game.pl
2017/07/17 08:03
689 B
trees_heap.pl
2017/07/17 08:03
871 B
trees_heap_2.pl
2017/07/17 08:03
450 B
trees_isomorphic.pl
2017/07/17 08:03
374 B
trees_proof.pl
2017/07/17 08:03
528 B
trees_spanning.pl
2017/07/17 08:03
1.3 KB
trees_spanning_2.pl
2017/07/17 08:03
1.4 KB
truth_table.pl
2017/07/17 08:03
2.3 KB
uncertaint_reasoning.pl
2017/07/17 08:03
505 B
unification.pl
2017/07/17 08:03
690 B
unification_2.pl
2017/07/17 08:03
1 KB
union.pl
2017/07/17 08:03
413 B
union_and_intersection.pl
2017/07/17 08:03
420 B
variables_in_term.pl
2017/07/17 08:03
456 B
variance.pl
2017/07/17 08:03
213 B
variation.pl
2017/07/17 08:03
153 B
variation_2.pl
2017/07/17 08:03
161 B
vectors_inner_product.pl
2017/07/17 08:03
411 B
vectors_inner_product_2.pl
2017/07/17 08:03
310 B
warehouse.pl
2017/07/17 08:03
175 B
water_jugs.pl
2017/07/17 08:03
1.2 KB
welfare_payments.pl
2017/07/17 08:03
452 B
wolf_goat_cabbage.pl
2017/07/17 08:03
1.5 KB
write_predicate.pl
2017/07/17 08:03
230 B
yesno_question.pl
2017/07/17 08:03
310 B
Plik
Widok
Historia
pl:prolog:pllib:best_first_search.pl
Data:
2017/07/17 08:03
Nazwa pliku:
best_first_search.pl
Rozmiar:
5KB
Odnośniki do:
best_first_search
pl/prolog/pllib/shell.txt
· ostatnio zmienione: 2017/07/17 08:08 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry