[228951] Example for Prolog-like logic

221 Conversations | 2,863 Posts + (510 from users, 2,353 from bots) | 4 Uploaded Images +

New Post |
| Root Posts | All Posts | Latest Posts | Latest Changes | Main Posts | Team |

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

import bool

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.