| … | … | @@ -82,5 +82,48 @@ |
| 82 | 82 | (IncrementValue (Variable "$typ") (Predicate "cnt") (Number 0 0 1))) |
| 83 | 83 | (Name "get-types"))) |
| 84 | 84 | |
| 85 | ; Must actually run this one... |
| 86 | ; Can we have an Atom that just runs where created? |
| 85 | 87 | (cog-execute! (Name "count-types")) |
| 86 | 88 | |
| 89 | (Pipe |
| 90 | (Name "unique-types") |
| 91 | (CollectionOf (TypeNode 'UnisetValue) |
| 92 | (Name "get-types"))) |
| 93 | |
| 94 | ; (cog-execute! (Name "unique-types")) |
| 95 | |
| 96 | (DefineLink |
| 97 | (DefinedPredicate "count-order") |
| 98 | (Lambda |
| 99 | (VariableList (Variable "left") (Variable "right")) |
| 100 | (Not |
| 101 | (GreaterThan |
| 102 | (ElementOf (Number 2) |
| 103 | (ValueOf (Variable "left") (Predicate "cnt"))) |
| 104 | (ElementOf (Number 2) |
| 105 | (ValueOf (Variable "right") (Predicate "cnt"))))))) |
| 106 | |
| 107 | (define x |
| 108 | (SortedValue |
| 109 | (DefinedPredicate "count-order") |
| 110 | (Name "unique-types"))) |
| 111 | |
| 112 | |
| 113 | ; Debug print |
| 114 | (cog-execute! |
| 115 | (Filter |
| 116 | (Rule |
| 117 | (TypedVariable (Variable "$typ") (Type 'Type)) ; vardecl |
| 118 | (Variable "$typ") ; body - accept everything |
| 119 | (LinkSignature (Type 'LinkValue) |
| 120 | (Variable "$typ") |
| 121 | (ValueOf (Variable "$typ") (Predicate "cnt")))) |
| 122 | (Name "unique-types"))) |
| 123 | |
| 124 | |
| 125 | (cog-execute! |
| 126 | (CollectionOf |
| 127 | (TypeNode 'SortedValue) |
| 128 | (Name "unique-types"))) |
| 129 | |