Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
s([]) --> []. s([H|T]) --> exp(H), s(T). exp('*') --> []. exp('*') --> l(_). exp('*') --> l(_), l(_). exp('*') --> l(_), l(_), l(_). exp('*') --> l(_), l(_), l(_), l(_). exp(X) --> l(X). l(X) --> [X]. is_alpha(X) :- char_type(X, alpha). double_list_match(L1, L2, Lmat) :- phrase(s(L1), Lmat), phrase(s(L2), Lmat), maplist(is_alpha, Lmat). double_string_match(Str1, Str2, StrMatch) :- string_chars(Str1, L1), string_chars(Str2, L2), double_list_match(L1, L2, Lmat), string_chars(StrMatch, Lmat).