This is because [[Prolog]] does not know anything about [[Plato]], and hence defaults to any property about Plato being false (the so-called [[closed world assumption]]). [[Prolog]] can be used for vastly more complicated inference tasks. See the corresponding article for further examples. | This is because [[Prolog]] does not know anything about [[Plato]], and hence defaults to any property about Plato being false (the so-called [[closed world assumption]]). [[Prolog]] can be used for vastly more complicated inference tasks. See the corresponding article for further examples. |