opencog-atomspace / tests / query / unordered-odo-below.scm

;
; unordered-odo-below.scm
;
; Unordered terms, arranged in series, inside an ordered link.
; Since they are in series, they force the "odometer" to run,
; during search. Similar to `unordered-odometer.scm`, except
; that the search is designed to start "underneath" the
; unordered link, thus taking a different code path through
; the pattern matcher.

(use-modules (opencog))

(List (Concept "A")
	(Set (Concept "A") (Predicate "P") (Predicate "Q") (Predicate "R")))

; Expect 3!=6 solutions
(define below-dim-one
	(Query
		(Present (List (Variable "$CPT")
			(Set (Concept "A") (Variable "$X") (Variable "$Y") (Variable "$Z"))))
		(Associative
			(Variable "$X") (Variable "$Y") (Variable "$Z"))))

; (cog-execute! below-dim-one)

; ----------------------------------------------------
; Like above, but 3! * 3! = 36 permutations

(List (Concept "B")
	(Set (Concept "B") (Predicate "P") (Predicate "Q") (Predicate "R"))
	(Set (Concept "B") (Predicate "S") (Predicate "T") (Predicate "U")))

(define below-dim-two
	(Query
		(Present (List (Variable "$CPT")
			(Set (Concept "B") (Variable "$U") (Variable "$V") (Variable "$W"))
			(Set (Concept "B") (Variable "$X") (Variable "$Y") (Variable "$Z"))))
		(Associative
			(Variable "$U") (Variable "$V") (Variable "$W")
			(Variable "$X") (Variable "$Y") (Variable "$Z"))))

; (cog-execute! below-dim-two)

; ----------------------------------------------------
; Like above, but 6*6*6 = 216 permutations
(List (Concept "C")
	(Set (Concept "C") (Predicate "P") (Predicate "Q") (Predicate "R"))
	(Set (Concept "C") (Predicate "S") (Predicate "T") (Predicate "U"))
	(Set (Concept "C") (Predicate "V") (Predicate "W") (Predicate "X")))

(define below-dim-three
	(Query
		(Present (List (Variable "$CPT")
			(Set (Concept "C") (Variable "$A") (Variable "$B") (Variable "$C"))
			(Set (Concept "C") (Variable "$U") (Variable "$V") (Variable "$W"))
			(Set (Concept "C") (Variable "$X") (Variable "$Y") (Variable "$Z"))))
		(Associative
			(Variable "$A") (Variable "$B") (Variable "$C")
			(Variable "$U") (Variable "$V") (Variable "$W")
			(Variable "$X") (Variable "$Y") (Variable "$Z"))))

; (cog-execute! below-dim-three)

; ----------------------------------------------------
; Like above, but 6*6*6*6 = 1296 permutations
(List (Concept "D")
	(Set (Concept "D") (Predicate "L") (Predicate "M") (Predicate "N"))
	(Set (Concept "D") (Predicate "P") (Predicate "Q") (Predicate "R"))
	(Set (Concept "D") (Predicate "S") (Predicate "T") (Predicate "U"))
	(Set (Concept "D") (Predicate "V") (Predicate "W") (Predicate "X")))

(define below-dim-four
	(Query
		(Present (List (Variable "$CPT")
			(Set (Concept "D") (Variable "$A") (Variable "$B") (Variable "$C"))
			(Set (Concept "D") (Variable "$D") (Variable "$E") (Variable "$F"))
			(Set (Concept "D") (Variable "$U") (Variable "$V") (Variable "$W"))
			(Set (Concept "D") (Variable "$X") (Variable "$Y") (Variable "$Z"))))
		(Associative
			(Variable "$A") (Variable "$B") (Variable "$C")
			(Variable "$D") (Variable "$E") (Variable "$F")
			(Variable "$U") (Variable "$V") (Variable "$W")
			(Variable "$X") (Variable "$Y") (Variable "$Z"))))

; (cog-execute! below-dim-four)

; ----------------------------------------------------