c9109ac · opencog-ure · pear-git-v3

tests/ure/RuleUTest.cxxtest +16 -16

…	…	@@ -205,13 +205,13 @@ void RuleUTest::test_unify_target_deduction_1()
205	205	VA = al(INHERITANCE_LINK, V, A),
206	206	XA = al(INHERITANCE_LINK, X, A),
207	207	XnotA = al(NOT_LINK, al(IDENTICAL_LINK, X, A)),
208		true_enough = an(GROUNDED_PREDICATE_NODE, "scm: true-enough"),
	208	true_enough = an(GROUNDED_PREDICATE_NODE, "scm-eager: true-enough"),
209	209	true_enough_XV = al(EVALUATION_LINK, true_enough, XV),
210	210	true_enough_VA = al(EVALUATION_LINK, true_enough, VA),
211	211	body = al(AND_LINK,
212	212	al(PRESENT_LINK, XV, VA),
213	213	XnotA, true_enough_XV, true_enough_VA),
214		schema = an(GROUNDED_SCHEMA_NODE, "scm: bc-deduction"),
	214	schema = an(GROUNDED_SCHEMA_NODE, "scm-eager: bc-deduction"),
215	215	rewrite = al(EXECUTION_OUTPUT_LINK,
216	216	schema,
217	217	al(LIST_LINK, XA, XV, VA)),
…	…	@@ -245,13 +245,13 @@ void RuleUTest::test_unify_target_deduction_2()
245	245	VA = al(INHERITANCE_LINK, V, A),
246	246	XA = al(INHERITANCE_LINK, X, A),
247	247	XnotA = al(NOT_LINK, al(IDENTICAL_LINK, X, A)),
248		true_enough = an(GROUNDED_PREDICATE_NODE, "scm: true-enough"),
	248	true_enough = an(GROUNDED_PREDICATE_NODE, "scm-eager: true-enough"),
249	249	true_enough_XV = al(EVALUATION_LINK, true_enough, XV),
250	250	true_enough_VA = al(EVALUATION_LINK, true_enough, VA),
251	251	body = al(AND_LINK,
252	252	al(PRESENT_LINK, XV, VA),
253	253	XnotA, true_enough_XV, true_enough_VA),
254		schema = an(GROUNDED_SCHEMA_NODE, "scm: bc-deduction"),
	254	schema = an(GROUNDED_SCHEMA_NODE, "scm-eager: bc-deduction"),
255	255	rewrite = al(EXECUTION_OUTPUT_LINK,
256	256	schema,
257	257	al(LIST_LINK, XA, XV, VA)),
…	…	@@ -314,7 +314,7 @@ void RuleUTest::test_unify_target_deduction_3()
314	314	" (VariableNode \"$B-6c74a409\"))"
315	315	" (AndLink"
316	316	" (EvaluationLink"
317		" (GroundedPredicateNode \"scm: true-enough\")"
	317	" (GroundedPredicateNode \"scm-eager: true-enough\")"
318	318	" (ImplicationLink"
319	319	" (VariableNode \"$B-6c74a409\")"
320	320	" (QuoteLink"
…	…	@@ -341,7 +341,7 @@ void RuleUTest::test_unify_target_deduction_3()
341	341	" (UnquoteLink"
342	342	" (VariableNode \"$P-25868310\"))))))"
343	343	" (EvaluationLink"
344		" (GroundedPredicateNode \"scm: true-enough\")"
	344	" (GroundedPredicateNode \"scm-eager: true-enough\")"
345	345	" (ImplicationLink"
346	346	" (LambdaLink"
347	347	" (TypedVariableLink"
…	…	@@ -374,7 +374,7 @@ void RuleUTest::test_unify_target_deduction_3()
374	374	" (ConceptNode \"treatment-1\"))))"
375	375	" (VariableNode \"$B-6c74a409\"))))"
376	376	" (ExecutionOutputLink"
377		" (GroundedSchemaNode \"scm: crisp-deduction\")"
	377	" (GroundedSchemaNode \"scm-eager: crisp-deduction\")"
378	378	" (ListLink"
379	379	" (ImplicationLink"
380	380	" (LambdaLink"
…	…	@@ -437,7 +437,7 @@ void RuleUTest::test_unify_target_implication_scope_to_implication_1()
437	437	// Expected up to an alpha conversion
438	438	body = al(IMPLICATION_SCOPE_LINK, Typed_X, Eval_P, Eval_Q),
439	439	schema = an(GROUNDED_SCHEMA_NODE,
440		"scm: implication-scope-to-implication"),
	440	"scm-eager: implication-scope-to-implication"),
441	441	rewrite = al(EXECUTION_OUTPUT_LINK,
442	442	schema,
443	443	al(LIST_LINK, target, body)),
…	…	@@ -468,7 +468,7 @@ void RuleUTest::test_unify_target_implication_scope_to_implication_2()
468	468	// Expected up to an alpha conversion
469	469	body = al(IMPLICATION_SCOPE_LINK, Typed_X, P_body_var, Eval_Q),
470	470	schema = an(GROUNDED_SCHEMA_NODE,
471		"scm: implication-scope-to-implication"),
	471	"scm-eager: implication-scope-to-implication"),
472	472	rewrite = al(EXECUTION_OUTPUT_LINK,
473	473	schema,
474	474	al(LIST_LINK, target, body)),
…	…	@@ -566,7 +566,7 @@ void RuleUTest::test_unify_target_implication_scope_to_implication_4()
566	566	" (Unquote (VariableNode \"$P-6266d6f2\"))"
567	567	" (Unquote (VariableNode \"$Q-7005b724\")))))"
568	568	" (ExecutionOutputLink"
569		" (GroundedSchemaNode \"scm: implication-scope-to-implication\")"
	569	" (GroundedSchemaNode \"scm-eager: implication-scope-to-implication\")"
570	570	" (ListLink"
571	571	" (ImplicationLink"
572	572	" (Quote (LambdaLink"
…	…	@@ -684,7 +684,7 @@ void RuleUTest::test_unify_target_implication_and_lambda_factorization()
684	684	" )"
685	685	" )"
686	686	" (ExecutionOutputLink"
687		" (GroundedSchemaNode \"scm: implication-and-lambda-factorization\")"
	687	" (GroundedSchemaNode \"scm-eager: implication-and-lambda-factorization\")"
688	688	" (ImplicationLink"
689	689	" (AndLink"
690	690	" (LambdaLink"
…	…	@@ -773,7 +773,7 @@ void RuleUTest::test_unify_target_closed_lambda_introduction_1()
773	773	" )"
774	774	" (AndLink"
775	775	" (EvaluationLink"
776		" (GroundedPredicateNode \"scm: closed-lambda-introduction-precondition\")"
	776	" (GroundedPredicateNode \"scm-eager: closed-lambda-introduction-precondition\")"
777	777	" (EvaluationLink"
778	778	" (PredicateNode \"contain\")"
779	779	" (ListLink"
…	…	@@ -797,7 +797,7 @@ void RuleUTest::test_unify_target_closed_lambda_introduction_1()
797	797	" )"
798	798	" )"
799	799	" (ExecutionOutputLink"
800		" (GroundedSchemaNode \"scm: closed-lambda-introduction\")"
	800	" (GroundedSchemaNode \"scm-eager: closed-lambda-introduction\")"
801	801	" (ListLink"
802	802	" (LambdaLink"
803	803	" (TypedVariableLink"
…	…	@@ -855,7 +855,7 @@ void RuleUTest::test_unify_target_closed_lambda_introduction_2()
855	855	" (VariableSet)"
856	856	" (AndLink"
857	857	" (EvaluationLink"
858		" (GroundedPredicateNode \"scm: closed-lambda-introduction-precondition\")"
	858	" (GroundedPredicateNode \"scm-eager: closed-lambda-introduction-precondition\")"
859	859	" (EvaluationLink"
860	860	" (PredicateNode \"take\")"
861	861	" (ListLink"
…	…	@@ -879,7 +879,7 @@ void RuleUTest::test_unify_target_closed_lambda_introduction_2()
879	879	" )"
880	880	" )"
881	881	" (ExecutionOutputLink"
882		" (GroundedSchemaNode \"scm: closed-lambda-introduction\")"
	882	" (GroundedSchemaNode \"scm-eager: closed-lambda-introduction\")"
883	883	" (ListLink"
884	884	" (LambdaLink"
885	885	" (TypedVariableLink"
…	…	@@ -967,7 +967,7 @@ void RuleUTest::test_unify_target_intensional_inheritance_direct_introduction()
967	967	" )"
968	968	" )"
969	969	" (ExecutionOutputLink"
970		" (GroundedSchemaNode \"scm: intensional-inheritance-direct-introduction\")"
	970	" (GroundedSchemaNode \"scm-eager: intensional-inheritance-direct-introduction\")"
971	971	" (ListLink"
972	972	" (IntensionalInheritanceLink"
973	973	" (VariableNode \"$X\")"

tests/ure/backwardchainer/BITUTest.cxxtest +15 -15

…	…	@@ -227,7 +227,7 @@ void BITUTest::test_expand_1()
227	227	" )"
228	228	" )"
229	229	" (EvaluationLink"
230		" (GroundedPredicateNode \"scm: closed-lambda-introduction-precondition\")"
	230	" (GroundedPredicateNode \"scm-eager: closed-lambda-introduction-precondition\")"
231	231	" (EvaluationLink (stv 1.000000 1.000000)"
232	232	" (PredicateNode \"contain\")"
233	233	" (ListLink"
…	…	@@ -268,7 +268,7 @@ void BITUTest::test_expand_1()
268	268	" )"
269	269	" )"
270	270	" (ExecutionOutputLink"
271		" (GroundedSchemaNode \"scm: deduction\")"
	271	" (GroundedSchemaNode \"scm-eager: deduction\")"
272	272	" (ListLink"
273	273	" (ImplicationLink"
274	274	" (LambdaLink"
…	…	@@ -296,7 +296,7 @@ void BITUTest::test_expand_1()
296	296	" (VariableNode \"$X\")"
297	297	" (ConceptNode \"treatment-1\"))))))"
298	298	" (ExecutionOutputLink"
299		" (GroundedSchemaNode \"scm: implication-implicant-distribution\")"
	299	" (GroundedSchemaNode \"scm-eager: implication-implicant-distribution\")"
300	300	" (ListLink"
301	301	" (ImplicationLink"
302	302	" (LambdaLink"
…	…	@@ -328,7 +328,7 @@ void BITUTest::test_expand_1()
328	328	" (ConceptNode \"treatment-1\")"
329	329	" (ConceptNode \"compound-A\"))))))"
330	330	" (ExecutionOutputLink"
331		" (GroundedSchemaNode \"scm: implication-introduction\")"
	331	" (GroundedSchemaNode \"scm-eager: implication-introduction\")"
332	332	" (ListLink"
333	333	" (ImplicationLink"
334	334	" (LambdaLink"
…	…	@@ -359,7 +359,7 @@ void BITUTest::test_expand_1()
359	359	" (VariableNode \"$X\")"
360	360	" (ConceptNode \"treatment-1\"))))"
361	361	" (ExecutionOutputLink"
362		" (GroundedSchemaNode \"scm: closed-lambda-introduction\")"
	362	" (GroundedSchemaNode \"scm-eager: closed-lambda-introduction\")"
363	363	" (ListLink"
364	364	" (LambdaLink"
365	365	" (TypedVariableLink"
…	…	@@ -376,7 +376,7 @@ void BITUTest::test_expand_1()
376	376	" (ConceptNode \"treatment-1\")"
377	377	" (ConceptNode \"compound-A\")))))))))"
378	378	" (ExecutionOutputLink"
379		" (GroundedSchemaNode \"scm: implication-and-lambda-factorization\")"
	379	" (GroundedSchemaNode \"scm-eager: implication-and-lambda-factorization\")"
380	380	" (ImplicationLink"
381	381	" (AndLink"
382	382	" (LambdaLink"
…	…	@@ -674,7 +674,7 @@ void BITUTest::test_expand_2()
674	674	" )"
675	675	" )"
676	676	" (ExecutionOutputLink"
677		" (GroundedSchemaNode \"scm: deduction\")"
	677	" (GroundedSchemaNode \"scm-eager: deduction\")"
678	678	" (ListLink"
679	679	" (ImplicationLink"
680	680	" (LambdaLink"
…	…	@@ -705,7 +705,7 @@ void BITUTest::test_expand_2()
705	705	" )"
706	706	" )"
707	707	" (ExecutionOutputLink"
708		" (GroundedSchemaNode \"scm: deduction\")"
	708	" (GroundedSchemaNode \"scm-eager: deduction\")"
709	709	" (ListLink"
710	710	" (ImplicationLink"
711	711	" (LambdaLink"
…	…	@@ -724,7 +724,7 @@ void BITUTest::test_expand_2()
724	724	" (VariableNode \"$B-732fec2a\")"
725	725	" )"
726	726	" (ExecutionOutputLink"
727		" (GroundedSchemaNode \"scm: deduction\")"
	727	" (GroundedSchemaNode \"scm-eager: deduction\")"
728	728	" (ListLink"
729	729	" (ImplicationLink"
730	730	" (LambdaLink"
…	…	@@ -792,7 +792,7 @@ void BITUTest::test_expand_2()
792	792	" )"
793	793	" )"
794	794	" (ExecutionOutputLink"
795		" (GroundedSchemaNode \"scm: implication-and-lambda-factorization\")"
	795	" (GroundedSchemaNode \"scm-eager: implication-and-lambda-factorization\")"
796	796	" (ImplicationLink"
797	797	" (AndLink"
798	798	" (QuoteLink"
…	…	@@ -938,7 +938,7 @@ void BITUTest::test_expand_3()
938	938	" (VariableNode \"$f-72fe9f60\"))"
939	939	" (VariableNode \"$f-53364b8c\")"
940	940	" (EvaluationLink"
941		" (GroundedPredicateNode \"scm: has-arity\")"
	941	" (GroundedPredicateNode \"scm-eager: has-arity\")"
942	942	" (ListLink"
943	943	" (VariableNode \"$g-6566b25f\")"
944	944	" (NumberNode \"1.000000\")"
…	…	@@ -953,7 +953,7 @@ void BITUTest::test_expand_3()
953	953	" )"
954	954	" )"
955	955	" (EvaluationLink"
956		" (GroundedPredicateNode \"scm: absolutely-true\")"
	956	" (GroundedPredicateNode \"scm-eager: absolutely-true\")"
957	957	" (EvaluationLink"
958	958	" (PredicateNode \"minsup\")"
959	959	" (ListLink"
…	…	@@ -964,7 +964,7 @@ void BITUTest::test_expand_3()
964	964	" )"
965	965	" )"
966	966	" (EvaluationLink"
967		" (GroundedPredicateNode \"scm: has-arity\")"
	967	" (GroundedPredicateNode \"scm-eager: has-arity\")"
968	968	" (ListLink"
969	969	" (QuoteLink"
970	970	" (PutLink"
…	…	@@ -981,7 +981,7 @@ void BITUTest::test_expand_3()
981	981	" )"
982	982	" )"
983	983	" (ExecutionOutputLink"
984		" (GroundedSchemaNode \"scm: specialization\")"
	984	" (GroundedSchemaNode \"scm-eager: specialization\")"
985	985	" (ListLink"
986	986	" (EvaluationLink"
987	987	" (PredicateNode \"minsup\")"
…	…	@@ -1009,7 +1009,7 @@ void BITUTest::test_expand_3()
1009	1009	" )"
1010	1010	" )"
1011	1011	" (ExecutionOutputLink"
1012		" (GroundedSchemaNode \"scm: specialization\")"
	1012	" (GroundedSchemaNode \"scm-eager: specialization\")"
1013	1013	" (ListLink"
1014	1014	" (EvaluationLink"
1015	1015	" (PredicateNode \"minsup\")"

tests/ure/backwardchainer/scm/bit.scm +20 -20

…	…	@@ -73,7 +73,7 @@
73	73	)
74	74	)
75	75	(EvaluationLink
76		(GroundedPredicateNode "scm: implication-introduction-precondition")
	76	(GroundedPredicateNode "scm-eager: implication-introduction-precondition")
77	77	(ListLink
78	78	(LambdaLink
79	79	(TypedVariableLink
…	…	@@ -105,7 +105,7 @@
105	105	)
106	106	)
107	107	(ExecutionOutputLink
108		(GroundedSchemaNode "scm: deduction")
	108	(GroundedSchemaNode "scm-eager: deduction")
109	109	(ListLink
110	110	(ImplicationLink
111	111	(LambdaLink
…	…	@@ -145,7 +145,7 @@
145	145	)
146	146	)
147	147	(ExecutionOutputLink
148		(GroundedSchemaNode "scm: implication-implicant-distribution")
	148	(GroundedSchemaNode "scm-eager: implication-implicant-distribution")
149	149	(ListLink
150	150	(ImplicationLink
151	151	(LambdaLink
…	…	@@ -191,7 +191,7 @@
191	191	)
192	192	)
193	193	(ExecutionOutputLink
194		(GroundedSchemaNode "scm: implication-introduction")
	194	(GroundedSchemaNode "scm-eager: implication-introduction")
195	195	(ListLink
196	196	(ImplicationLink
197	197	(LambdaLink
…	…	@@ -252,7 +252,7 @@
252	252	)
253	253	)
254	254	(ExecutionOutputLink
255		(GroundedSchemaNode "scm: implication-and-lambda-factorization")
	255	(GroundedSchemaNode "scm-eager: implication-and-lambda-factorization")
256	256	(ImplicationLink
257	257	(AndLink
258	258	(LambdaLink
…	…	@@ -361,7 +361,7 @@
361	361	(VariableNode "$X")
362	362	(ConceptNode "treatment-1"))))))
363	363	(EvaluationLink
364		(GroundedPredicateNode "scm: implication-introduction-precondition")
	364	(GroundedPredicateNode "scm-eager: implication-introduction-precondition")
365	365	(ListLink
366	366	(LambdaLink
367	367	(TypedVariableLink
…	…	@@ -383,7 +383,7 @@
383	383	(ConceptNode "treatment-1")
384	384	(ConceptNode "compound-A")))))))
385	385	(ExecutionOutputLink
386		(GroundedSchemaNode "scm: deduction")
	386	(GroundedSchemaNode "scm-eager: deduction")
387	387	(ListLink
388	388	(ImplicationLink
389	389	(LambdaLink
…	…	@@ -411,7 +411,7 @@
411	411	(VariableNode "$X")
412	412	(ConceptNode "treatment-1"))))))
413	413	(ExecutionOutputLink
414		(GroundedSchemaNode "scm: implication-implicant-distribution")
	414	(GroundedSchemaNode "scm-eager: implication-implicant-distribution")
415	415	(ListLink
416	416	(ImplicationLink
417	417	(LambdaLink
…	…	@@ -443,7 +443,7 @@
443	443	(VariableNode "$X")
444	444	(ConceptNode "treatment-1"))))))
445	445	(ExecutionOutputLink
446		(GroundedSchemaNode "scm: implication-introduction")
	446	(GroundedSchemaNode "scm-eager: implication-introduction")
447	447	(ListLink
448	448	(ImplicationLink
449	449	(LambdaLink
…	…	@@ -483,7 +483,7 @@
483	483	(ConceptNode "treatment-1")
484	484	(ConceptNode "compound-A"))))))))
485	485	(ExecutionOutputLink
486		(GroundedSchemaNode "scm: implication-and-lambda-factorization")
	486	(GroundedSchemaNode "scm-eager: implication-and-lambda-factorization")
487	487	(ImplicationLink
488	488	(AndLink
489	489	(LambdaLink
…	…	@@ -664,7 +664,7 @@
664	664	)
665	665	)
666	666	(ExecutionOutputLink
667		(GroundedSchemaNode "scm: deduction")
	667	(GroundedSchemaNode "scm-eager: deduction")
668	668	(ListLink
669	669	(ImplicationLink
670	670	(LambdaLink
…	…	@@ -695,7 +695,7 @@
695	695	)
696	696	)
697	697	(ExecutionOutputLink
698		(GroundedSchemaNode "scm: deduction")
	698	(GroundedSchemaNode "scm-eager: deduction")
699	699	(ListLink
700	700	(ImplicationLink
701	701	(LambdaLink
…	…	@@ -714,7 +714,7 @@
714	714	(VariableNode "$B-732fec2a")
715	715	)
716	716	(ExecutionOutputLink
717		(GroundedSchemaNode "scm: deduction")
	717	(GroundedSchemaNode "scm-eager: deduction")
718	718	(ListLink
719	719	(ImplicationLink
720	720	(LambdaLink
…	…	@@ -856,7 +856,7 @@
856	856	)
857	857	)
858	858	(EvaluationLink
859		(GroundedPredicateNode "scm: gt-zero-confidence")
	859	(GroundedPredicateNode "scm-eager: gt-zero-confidence")
860	860	(AndLink
861	861	(EvaluationLink
862	862	(PredicateNode "contraryAttribute")
…	…	@@ -883,7 +883,7 @@
883	883	)
884	884	)
885	885	(ExecutionOutputLink
886		(GroundedSchemaNode "scm: conditional-full-instantiation-scope")
	886	(GroundedSchemaNode "scm-eager: conditional-full-instantiation-scope")
887	887	(ListLink
888	888	(EvaluationLink
889	889	(PredicateNode "property")
…	…	@@ -893,7 +893,7 @@
893	893	)
894	894	)
895	895	(ExecutionOutputLink
896		(GroundedSchemaNode "scm: fuzzy-conjunction-introduction")
	896	(GroundedSchemaNode "scm-eager: fuzzy-conjunction-introduction")
897	897	(ListLink
898	898	(AndLink
899	899	(EvaluationLink
…	…	@@ -934,7 +934,7 @@
934	934	)
935	935	)
936	936	(ExecutionOutputLink
937		(GroundedSchemaNode "scm: conditional-full-instantiation-scope")
	937	(GroundedSchemaNode "scm-eager: conditional-full-instantiation-scope")
938	938	(ListLink
939	939	(EvaluationLink
940	940	(PredicateNode "property")
…	…	@@ -1121,14 +1121,14 @@
1121	1121	)
1122	1122	)
1123	1123	(EvaluationLink
1124		(GroundedPredicateNode "scm: has-arity")
	1124	(GroundedPredicateNode "scm-eager: has-arity")
1125	1125	(ListLink
1126	1126	(VariableNode "$g-2101505b")
1127	1127	(NumberNode "2.000000")
1128	1128	)
1129	1129	)
1130	1130	(EvaluationLink
1131		(GroundedPredicateNode "scm: absolutely-true")
	1131	(GroundedPredicateNode "scm-eager: absolutely-true")
1132	1132	(EvaluationLink
1133	1133	(PredicateNode "minsup")
1134	1134	(ListLink
…	…	@@ -1140,7 +1140,7 @@
1140	1140	)
1141	1141	)
1142	1142	(ExecutionOutputLink
1143		(GroundedSchemaNode "scm: specialization")
	1143	(GroundedSchemaNode "scm-eager: specialization")
1144	1144	(ListLink
1145	1145	(EvaluationLink
1146	1146	(PredicateNode "minsup")

tests/ure/meta-rules/conditional-full-instantiation-meta-rule.scm +3 -3

…	…	@@ -44,7 +44,7 @@
44	44	(Unquote (Variable "$P"))
45	45	(Unquote (Variable "$Q")))))
46	46	(precondition (Evaluation
47		(GroundedPredicate "scm: true-enough")
	47	(GroundedPredicate "scm-eager: true-enough")
48	48	implication)))
49	49	(And
50	50	implication
…	…	@@ -66,9 +66,9 @@
66	66	(Unquote TyVs)
67	67	(And
68	68	(Unquote (LocalQuote (LocalQuote P)))
69		(Evaluation (GroundedPredicate "scm: true-enough") (Unquote P)))
	69	(Evaluation (GroundedPredicate "scm-eager: true-enough") (Unquote P)))
70	70	(ExecutionOutput
71		(GroundedSchema "scm: conditional-full-instantiation")
	71	(GroundedSchema "scm-eager: conditional-full-instantiation")
72	72	(Unquote
73	73	(ListLink
74	74	Q

tests/ure/meta-rules/conditional-partial-instantiation-meta-rule.scm +2 -2

…	…	@@ -64,7 +64,7 @@
64	64	(Unquote Q))))
65	65	;; Meta rule precondition
66	66	(meta-precondition (Evaluation
67		(GroundedPredicate "scm: gt-zero-confidence")
	67	(GroundedPredicate "scm-eager: gt-zero-confidence")
68	68	implication))
69	69	;; Meta rule pattern
70	70	(meta-pattern (And implication meta-precondition))
…	…	@@ -78,7 +78,7 @@
78	78	;; Produced rule rewrite. Apply formula to calculate the TV
79	79	;; over the partially substituted ImplicationScope.
80	80	(produced-rewrite (ExecutionOutput
81		(GroundedSchema "scm: conditional-partial-instantiation")
	81	(GroundedSchema "scm-eager: conditional-partial-instantiation")
82	82	(Unquote
83	83	(List
84	84	;; Conclusion

tests/ure/rules/bc-deduction-rule.scm +3 -3

…	…	@@ -19,12 +19,12 @@
19	19	(TypedVariable A Concept)
20	20	(TypedVariable B Concept)
21	21	(TypedVariable C Concept)))
22		(precon1 (Evaluation (GroundedPredicate "scm: true-enough") AB))
23		(precon2 (Evaluation (GroundedPredicate "scm: true-enough") BC))
	22	(precon1 (Evaluation (GroundedPredicate "scm-eager: true-enough") AB))
	23	(precon2 (Evaluation (GroundedPredicate "scm-eager: true-enough") BC))
24	24	(precon3 (Not (Identical A C)))
25	25	(pattern (And (Present AB BC) precon1 precon2 precon3))
26	26	(rewrite (ExecutionOutput
27		(GroundedSchema "scm: bc-deduction")
	27	(GroundedSchema "scm-eager: bc-deduction")
28	28	(List AC AB BC))))
29	29	(Bind
30	30	vardecl

tests/ure/rules/closed-lambda-introduction-rule.scm +2 -2

…	…	@@ -30,12 +30,12 @@
30	30	(VariableNode "$V")
31	31	(VariableNode "$B"))
32	32	(EvaluationLink
33		(GroundedPredicateNode "scm: closed-lambda-introduction-precondition")
	33	(GroundedPredicateNode "scm-eager: closed-lambda-introduction-precondition")
34	34	(VariableNode "$B"))))
35	35
36	36	(define closed-lambda-introduction-rewrite
37	37	(ExecutionOutputLink
38		(GroundedSchemaNode "scm: closed-lambda-introduction")
	38	(GroundedSchemaNode "scm-eager: closed-lambda-introduction")
39	39	(ListLink
40	40	(QuoteLink (LambdaLink
41	41	(UnquoteLink (VariableNode "$V"))

tests/ure/rules/conditional-direct-evaluation.scm +1 -1

…	…	@@ -29,7 +29,7 @@
29	29	(Present
30	30	(Variable "$I"))
31	31	(ExecutionOutput
32		(GroundedSchema "scm: conditional-direct-evaluation-implication-scope")
	32	(GroundedSchema "scm-eager: conditional-direct-evaluation-implication-scope")
33	33	(Variable "$I"))))
34	34
35	35	(define (conditional-direct-evaluation-implication-scope I)

tests/ure/rules/crisp-deduction-rule.scm +3 -3

…	…	@@ -21,12 +21,12 @@
21	21	(BC (link-type B C))
22	22	(AC (link-type A C))
23	23	(vardecl (VariableSet A B C))
24		(precon1 (Evaluation (GroundedPredicate "scm: true-enough") AB))
25		(precon2 (Evaluation (GroundedPredicate "scm: true-enough") BC))
	24	(precon1 (Evaluation (GroundedPredicate "scm-eager: true-enough") AB))
	25	(precon2 (Evaluation (GroundedPredicate "scm-eager: true-enough") BC))
26	26	(precon3 (Not (Identical A C)))
27	27	(pattern (And (Present AB BC) precon1 precon2 precon3))
28	28	(rewrite (ExecutionOutput
29		(GroundedSchema "scm: crisp-deduction")
	29	(GroundedSchema "scm-eager: crisp-deduction")
30	30	(List AC AB BC))))
31	31	(Bind
32	32	vardecl

tests/ure/rules/crisp-modus-ponens-rule.scm +3 -3

…	…	@@ -18,14 +18,14 @@
18	18	(vardecl (VariableSet
19	19	(TypedVariable A (TypeChoice LambdaT PredicateT))
20	20	(TypedVariable B (TypeChoice LambdaT PredicateT))))
21		(precon1 (Evaluation (GroundedPredicate "scm: true-enough") A))
22		(precon2 (Evaluation (GroundedPredicate "scm: true-enough") AB))
	21	(precon1 (Evaluation (GroundedPredicate "scm-eager: true-enough") A))
	22	(precon2 (Evaluation (GroundedPredicate "scm-eager: true-enough") AB))
23	23	(pattern (And
24	24	;; No need to include A as it is already in AB
25	25	(Present AB)
26	26	precon1 precon2))
27	27	(rewrite (ExecutionOutput
28		(GroundedSchema "scm: crisp-modus-ponens")
	28	(GroundedSchema "scm-eager: crisp-modus-ponens")
29	29	(List B A AB))))
30	30	(BindLink
31	31	vardecl

tests/ure/rules/fc-deduction-rule.scm +1 -1

…	…	@@ -41,7 +41,7 @@
41	41	)
42	42	)
43	43	(ExecutionOutputLink
44		(GroundedSchemaNode "scm: fc-deduction")
	44	(GroundedSchemaNode "scm-eager: fc-deduction")
45	45	(ListLink
46	46	(InheritanceLink
47	47	(VariableNode "$A")

tests/ure/rules/fuzzy-conjunction-introduction-rule.scm +1 -1

…	…	@@ -39,7 +39,7 @@
39	39	(vardecl (VariableSet (map gen-typed-variable variables)))
40	40	(pattern (Present variables))
41	41	(rewrite (ExecutionOutput
42		(GroundedSchema "scm: fuzzy-conjunction-introduction")
	42	(GroundedSchema "scm-eager: fuzzy-conjunction-introduction")
43	43	;; We wrap the variables in Set because the order
44	44	;; doesn't matter and that way alpha-conversion
45	45	;; works better.

tests/ure/rules/implication-and-lambda-factorization-rule.scm +1 -1

…	…	@@ -74,7 +74,7 @@
74	74
75	75	(define implication-and-lambda-factorization-rewrite
76	76	(ExecutionOutputLink
77		(GroundedSchemaNode "scm: implication-and-lambda-factorization")
	77	(GroundedSchemaNode "scm-eager: implication-and-lambda-factorization")
78	78	(ImplicationLink
79	79	(AndLink
80	80	(QuoteLink (LambdaLink

tests/ure/rules/implication-instantiation-rule.scm +2 -2

…	…	@@ -53,7 +53,7 @@
53	53
54	54	(define implication-full-instantiation-rewrite
55	55	(ExecutionOutputLink
56		(GroundedSchemaNode "scm: implication-full-instantiation")
	56	(GroundedSchemaNode "scm-eager: implication-full-instantiation")
57	57	(ListLink
58	58	implication-instantiation-body)))
59	59
…	…	@@ -115,7 +115,7 @@
115	115
116	116	(define implication-partial-instantiation-rewrite
117	117	(ExecutionOutputLink
118		(GroundedSchemaNode "scm: implication-partial-instantiation")
	118	(GroundedSchemaNode "scm-eager: implication-partial-instantiation")
119	119	(ListLink
120	120	implication-instantiation-body)))
121	121

tests/ure/rules/implication-introduction-rule.scm +1 -1

…	…	@@ -42,7 +42,7 @@
42	42
43	43	(define implication-introduction-rewrite
44	44	(ExecutionOutputLink
45		(GroundedSchemaNode "scm: implication-introduction")
	45	(GroundedSchemaNode "scm-eager: implication-introduction")
46	46	(ListLink
47	47	(VariableNode "$P")
48	48	(VariableNode "$Q"))))

tests/ure/rules/implication-scope-direct-evaluation-rule.scm +1 -1

…	…	@@ -83,7 +83,7 @@
83	83
84	84	(define implication-scope-direct-evaluation-rewrite
85	85	(ExecutionOutput
86		(GroundedSchema "scm: implication-scope-direct-evaluation")
	86	(GroundedSchema "scm-eager: implication-scope-direct-evaluation")
87	87	(List
88	88	(Variable "$P")
89	89	(Variable "$Q"))))

tests/ure/rules/implication-scope-to-implication-rule.scm +1 -1

…	…	@@ -37,7 +37,7 @@
37	37
38	38	(define implication-scope-to-implication-rewrite
39	39	(ExecutionOutputLink
40		(GroundedSchemaNode "scm: implication-scope-to-implication")
	40	(GroundedSchemaNode "scm-eager: implication-scope-to-implication")
41	41	(ListLink
42	42	(Implication
43	43	(Quote (Lambda

tests/ure/rules/intensional-inheritance-direct-introduction.scm +1 -1

…	…	@@ -94,7 +94,7 @@
94	94	;; A and B are different
95	95	(Not (Equal A B)))
96	96	(ExecutionOutput
97		(GroundedSchema "scm: intensional-inheritance-direct-introduction")
	97	(GroundedSchema "scm-eager: intensional-inheritance-direct-introduction")
98	98	(List
99	99	;; Conclusion
100	100	(IntensionalInheritance A B)

tests/ure/rules/pln-implication-and-lambda-factorization-rule.scm +1 -1

…	…	@@ -75,7 +75,7 @@
75	75
76	76	(define implication-and-lambda-factorization-rewrite
77	77	(ExecutionOutputLink
78		(GroundedSchemaNode "scm: implication-and-lambda-factorization")
	78	(GroundedSchemaNode "scm-eager: implication-and-lambda-factorization")
79	79	(ListLink
80	80	(VariableNode "$TyVs-one")
81	81	(VariableNode "$TyVs-two")

tests/ure/rules/unary-specialization-rule.scm +3 -3

…	…	@@ -20,7 +20,7 @@
20	20	(AndLink
21	21	(Present (VariableNode "$f"))
22	22	(EvaluationLink
23		(GroundedPredicateNode "scm: has-arity")
	23	(GroundedPredicateNode "scm-eager: has-arity")
24	24	(ListLink
25	25	(VariableNode "$g")
26	26	(NumberNode "1.000000")))
…	…	@@ -31,7 +31,7 @@
31	31	(VariableNode "$texts")
32	32	(VariableNode "$ms")))
33	33	(EvaluationLink
34		(GroundedPredicateNode "scm: absolutely-true")
	34	(GroundedPredicateNode "scm-eager: absolutely-true")
35	35	(EvaluationLink
36	36	(PredicateNode "minsup")
37	37	(ListLink
…	…	@@ -39,7 +39,7 @@
39	39	(VariableNode "$texts")
40	40	(VariableNode "$ms")))))
41	41	(ExecutionOutputLink
42		(GroundedSchemaNode "scm: specialization")
	42	(GroundedSchemaNode "scm-eager: specialization")
43	43	(ListLink
44	44	(EvaluationLink
45	45	(PredicateNode "minsup")

opencog-ure commits / c9109ac

Changed files (20) +81 -81