Summary
Metadata
Words
Tuple classes
Symbol words
Class predicate words
Files
Children from resource:extra
Metadata
| Parents: | logic.examples |
Words
Tuple classes
| Class | Superclass | Slots |
 house | tuple | color nationality pet |
Symbol words
| H1 |
| H2 |
| H3 |
| L |
| R |
| Street |
| X |
| Xs |
| blue |
| cat |
| dog |
| english |
| japanese |
| neighboro |
| red |
| spanish |
| zebra |
| zebrao |
Class predicate words
| Word | Stack effect |
 house? | ( object -- ? ) |
Files
resource:extra/logic/examples/zebra-short/zebra-short.factor
resource:extra/logic/examples/zebra-short/zebra-short-tests.factor
resource:extra/logic/examples/zebra-short/zebra-short-tests.factor
Children from resource:extra
| Vocabulary | Summary |
 logic.examples.zebra-short.zebra-short-tests.factor | |
| logic.examples.zebra-short.zebra-short.factor |