sgo.to drafts

Kinship

This is a relatively larger example of using the natural logic described before for describing families.

Here is mine:

  
// Sam is a person
Sam(u) person(u).

// Dani is a person
Dani(v) person(v).

// Leo is a boy
Leo(p) person(p) male(p).

// Anna is a girl
Anna(q) person(q) female(q).

// Arthur is a boy
Arthur(r) person(r) male(r).

// Sam is Leo's, Anna's and Arthur's father
father(u, p) father(u, q) father(u, r).

// Dani is Leo's, Anna's and Arthur's mother
mother(v, p) mother(v, q) mother(v, r).
  

These describe basic facts about my family.

Here are some general statements about families in general:

  
for (let x: person(x)) {
  for (let y: person(y)) {
    // Every father is a male parent
    if (father(x, y)) {
      male(x) parent(x, y).
    }
    // Every mother is a female parent
    if (mother(x, y)) {
      female(x) parent(x, y).
    }
    // Every male parent is a father
    if (parent(x, y) male(x)) {
      father(x, y).
    }
    // Every female parent is a mother
    if (parent(x, y) female(x)) {
      mother(x, y).
    }
    // If A is a parent of B then B is a child of A
    if (parent(x, y)) {
      child(y, x).
    }
    // Every son is a male child
    if (son(x, y)) {
      male(x) child(x, y).
    }
    if (male(x) child(x, y)) {
      son(x, y).
    }
    // Every daughter is a female child
    if (daughter(x, y)) {
      female(x) child(x, y).
    }
    if (female(x) child(x, y)) {
      daughter(x, y).
    }
    // If A is an ancestor of B then B is a descendent of A
    if (ancestor(x, y)) {
      descedent(y, x).
    }
    if (parent(x, y)) {
      // Every parent is an ancestor
      ancestor(x, y).
      // Every parent is an ancestor of its descendents
      for (let z: person(z)) {
        if (ancestor(y, z)) {
          ancestor(x, z).
        }
      }
    }
    // If there is a person z who is a parent of x and y
    // then x and y are siblings
    for (let z: person(z)) {
      if (parent(z, x) parent(z, y)) {
        sibling(x, y).
      }
    }
 
    if (sibling(x, y)) {
      sibling(y, x).
      if (male(x)) {
        brother(x, y).
      }
      if (female(x)) {
        sister(x, y).
      }
    }
    if (brother(x, y)) {
      male(x) sibling(x, y).
    }
    if (sister(x, y)) {
      female(x) sibling(x, y).
    }
  }
}
  

With the basic facts about my family and the general statements about families in general, we can ask things that were only indirectly stated.

For example:

  
// Who is a child of Sam?
let x, y: Sam(x) child(y, x)?
  

You can run that query by clicking on the run button below:

The query returns three bindings, one for each of my kids.

This is kinda of exciting because child(u, p), child(u, q), child(u, r) was never something that we explicitly stated, but rather something that was inferred from the basic facts and the general statements about families.

Here is another example:

  
 // Who are Anna's brothers?
 let x, y: Anna(x) brother(y, x)?
  

And again, you get back two responses that were never explicitly stated before, but were rather inferred from the logical form of the program.

Neat, huh?