propositions and inference representing knowledge bases clause consists of head (an atomand body body is represented as list of atoms atoms are represented as strings logicproblem py -representations logics class clause(object)""" definite clause"" def __init__(self,head,body=[])"""clause with atom head and lost of atoms body""self head=head self body body def __str__(self)"""returns the string representation of clause ""if self bodyreturn self head <join(self bodyelsereturn self head an askable atom can be asked of the user the user can respond in english or french or just with "ylogicproblem py -(continued class askable(object)"""an askable atom"" def __init__(self,atom)"""clause with atom head and lost of atoms body""