Thisisapatternmatcherincommonlips.Weimplementthefunctionmatchwithtwoparameters:apatternandafact.Itreturnsalistofvariable-valuebindingsifthefactsmatchthepatternswhileitgivesnilifthematchfails.ThesyntaxforfactscanbeanyvalidstructureinLisp.Also,patternscaninclude,notpredicates,