QualiFood: An Intelligent Quality Food Evaluation Using Logical Satisfiability Reasoning On Spark | IEEE Conference Publication | IEEE Xplore