jannatulferdous20101

first order logic propositional logic knowledge base in ai modus ponens pl fol knowledge base artificial intelligence