OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-ure / tests / ure / backwardchainer / scm

ref:
..
animals.scm 1.4 KiB
bc-config.scm 887 B
bc-criminal-config.scm 1.7 KiB
bc-criminal-without-deduction-config.scm 1.4 KiB
bc-deduction-config.scm 785 B
bc-induction-config.scm 973 B
bc-induction.scm 815 B
bc-modus-ponens-config.scm 765 B
bc-transitive-closure.scm 553 B
bit.scm 31.8 KiB
conditional-instantiation-config.scm 931 B
conditional-partial-instantiation-config.scm 842 B
control-rules.scm 2.9 KiB
criminal.scm 3.8 KiB
friends.scm 2.3 KiB
fuzzy-conjunction-introduction-config.scm 1.2 KiB
green-balls-kb.scm 930 B
green-balls-rb.scm 44 B
green-balls-targets.scm 2.5 KiB
modus-ponens-example.scm 338 B
no-exec-output.scm 1.8 KiB
simple-conjunction.scm 182 B