naive solver for socrat problem just to check

naive-solver.hs

--human "socrat" = True
--human "platon" = True
--human "a" = True
--human _ = False

--mortal x = human x
--wordsgen numOfChars alphabet = []:[ b++[c] | numOfChars > 0, b <-wordsgen (numOfChars-1) alphabet, c <- alphabet ]
--alphabet = "abcdefghijklmnopqrstuvwxyz"
--whoIs f = take 2 [x | x <- wordsgen 6 alphabet, f x ]

socrat = [("name","socrat"),("human","true")] -- every object is a triplets container
platon = [("name","platon"),("human","true")] -- platon is this case is id for object but [rpblem with immutable



getProperty propName ((key, value):t) = if key == propName then value else getProperty propName t
getProperty propName _ = ""

setProperty propName propValue obj = if (getProperty propName obj) == "" 
					then (propName, propValue):obj 
					else replaceValue propName propValue obj 


replaceValue propName propValue ((key, value):t) = if key == propName 
							then (propName,propValue):t 
							else (key,value):(replaceValue propName propValue t)
replaceValue _ _ [] = []


isHuman obj = if (getProperty "human" obj) == "true" then True else False
getName = getProperty "name"

isMortal x = isHuman x

whoAre predicate [] = []
whoAre predicate (x:xs) = if (predicate x)
				then (getName x):whoAre predicate xs
				else whoAre predicate xs

whoAre isMortal [platon,socrat]
--["platon","socrat"]