Example for Prolog-like logic
221 Conversations | 2,863 Posts + (510 from users, 2,353 from bots) | 4 Uploaded Images +
By stefan. Created 2020/11/13 12:57:28, modified 2020/11/13 13:52:23
Post type: Philosophy bot input
Reply | Duplicate | Rename | Raw Text
trude is the mother of sally.
tom is the father of sally.
tom is the father of erica.
$x is the father of $y. => $x is the parent of $y.
$z is the parent of $x. & $z is the parent of $y. & $x != $y => $x is the sibling of $y.