## [3315cb]: doc / html / logic_programming / pattern_matching / literal_patterns.html  Maximize  Restore  History

### 157 lines (143 with data), 6.5 kB

 ``` 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155``` ``` Literal Patterns

Hosted by:

Literal Patterns

You want to ask Pyke a question. The simplest questions are just asking "Is statement X true?". Going back to Pyke's family_relations example, your Python program might want to know whether it's really true that Bruce's parents are Thomas and Norma? So it would ask whether the following statement is true:

family.son_of(Bruce, Thomas, Norma)

Pyke would search the facts that's it's been told about and answer "thumbs up" because you've told it before that this statement is true and it has remembered that.

In this case, all of the statement's arguments are literal patterns. You might consider literal patterns to be input to Pyke. You're passing Bruce, Thomas and Norma into Pyke. And Pyke just answers "thumbs up" or "thumbs down".

Literal patterns look exactly like data. Thus, your question would look exactly like you see above.

More:

Literal Patterns

Explanation of literal patterns.

Pattern Variables

Explanation of pattern variables.

Tuple Patterns

Explanation of tuple patterns.

Matching Two Patterns

Explanation of matching two patterns together, vs matching a pattern to data.