| Copyright | (c) Levent Erkok |
|---|---|
| License | BSD3 |
| Maintainer | erkokl@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Documentation.SBV.Examples.Puzzles.Murder
Description
Solution to "Malice and Alice," from George J. Summers' Logical Deduction Puzzles:
A man and a woman were together in a bar at the time of the murder. The victim and the killer were together on a beach at the time of the murder. One of Alice’s two children was alone at the time of the murder. Alice and her husband were not together at the time of the murder. The victim's twin was not the killer. The killer was younger than the victim. Who killed who?
Synopsis
- data Location
- data Sex
- data Role
- cv2Location :: String -> [CV] -> Location
- _undefiner_Location :: a
- type SLocation = SBV Location
- sBar :: SBV Location
- sBeach :: SBV Location
- sAlone :: SBV Location
- isBar :: SBV Location -> SBool
- isBeach :: SBV Location -> SBool
- isAlone :: SBV Location -> SBool
- sCaseLocation :: Mergeable result => SBV Location -> result -> result -> result -> result
- cv2Sex :: String -> [CV] -> Sex
- _undefiner_Sex :: a
- type SSex = SBV Sex
- sMale :: SBV Sex
- sFemale :: SBV Sex
- isMale :: SBV Sex -> SBool
- isFemale :: SBV Sex -> SBool
- sCaseSex :: Mergeable result => SBV Sex -> result -> result -> result
- cv2Role :: String -> [CV] -> Role
- _undefiner_Role :: a
- type SRole = SBV Role
- sVictim :: SBV Role
- sKiller :: SBV Role
- sBystander :: SBV Role
- isVictim :: SBV Role -> SBool
- isKiller :: SBV Role -> SBool
- isBystander :: SBV Role -> SBool
- sCaseRole :: Mergeable result => SBV Role -> result -> result -> result -> result
- data Person (f :: Type -> Type) = Person {}
- newtype Const a = Const {
- getConst :: a
- newPerson :: String -> Symbolic (Person SBV)
- getPerson :: Person SBV -> Query (Person Const)
- killer :: IO ()
- puzzle :: IO [Person Const]
Documentation
Locations
Instances
Sexes
Instances
Roles
Instances
_undefiner_Location :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseLocation :: Mergeable result => SBV Location -> result -> result -> result -> result Source #
Case analyzer for the type Location.
_undefiner_Sex :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseSex :: Mergeable result => SBV Sex -> result -> result -> result Source #
Case analyzer for the type Sex.
_undefiner_Role :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseRole :: Mergeable result => SBV Role -> result -> result -> result -> result Source #
Case analyzer for the type Role.
data Person (f :: Type -> Type) Source #
A person has a name, age, together with location and sex. We parameterize over a function so we can use this struct both in a concrete context and a symbolic context. Note that the name is always concrete.
Constructors
| Person | |
Helper functor
getPerson :: Person SBV -> Query (Person Const) Source #
Get the concrete value of the person in the model
Solve the puzzle. We have:
>>>killerAlice 48 Bar Female Bystander Husband 47 Beach Male Killer Brother 48 Beach Male Victim Daughter 21 Alone Female Bystander Son 20 Bar Male Bystander
That is, Alice's brother was the victim and Alice's husband was the killer.