SMCDEL.Examples.SumAndProduct

Documentation

pairs :: [(Int, Int)]

xProps :: [Prp]

yProps :: [Prp]

sProps :: [Prp]

pProps :: [Prp]

sapAllProps :: [Prp]

xIs :: Int -> Form

yIs :: Int -> Form

sIs :: Int -> Form

pIs :: Int -> Form

xyAre :: (Int, Int) -> Form

sapKnStruct :: KnowStruct

sapKnows :: Agent -> Form

sapForm1 :: Form

sapForm2 :: Form

sapForm3 :: Form

sapProtocol :: Form

sapSolutions :: [[Prp]]

sapExplainState :: [Prp] -> String

nmbr :: [Prp] -> [Prp] -> Int