Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:<<(Dict1, Dict2) :- (\+ is_dict(Dict2) -> Dict1 = Dict2 ; var(Dict1) -> Dict1 = Dict2 ; dict_keys(Dict1, Keys1), dict_keys(Dict2, Keys2), intersection(Keys1, Keys2, CommonKeys), maplist(unify(Dict1,Dict2), CommonKeys) ). unify(Dict1, Dict2, Key) :- get_dict(Key,Dict1,V1), get_dict(Key,Dict2,V2), :<<(V1,V2). /** <examples> Your example queries go here, e.g. ?- :<<(_{ value:_{name:N, age:A} } , _{ value:_{name:bob, age:21, address:_{}} }). */