logic.examples.zebra vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Parents:

logic.examples

Words

Tuple classes

Class	Superclass	Slots
house	tuple	color nationality drink smoke pet

Symbol words

A

B

Hs

Ls

X

Y

beer

birds

blend

blue

blue-master

cat

coffee

dane

dog

dunhill

english

german

green

horse

houseso

lefto

milk

neighboro

nexto

norwegian

pall-mall

prince

red

swede

tea

water

watero

white

yellow

zebra

zebrao

Class predicate words

Word	Stack effect
house?	( object -- ? )

Files

resource:extra/logic/examples/zebra/zebra.factor
resource:extra/logic/examples/zebra/zebra-tests.factor