Here I will demonstrate a simple logic problem using the set network compiler.
socrates // Let's say there's a socrates
socrates:man // Socrates is a man
|man=>|mortal // A man is mortal
?socrates|man // is Socrates a man?
YES
?socrates|mortal // is Socrates mortal?
YES
We can also let there be multiple steps:
// TWO STEP DEMONSTRATION
socrates // Let there be a Socrates
socrates:a_man // Socrates is a man
|men=>|mortal // All men are mortal
|a_man=>|men // A man is men
?socrates|mortal // Is socrates Mortal?
YES
Thus is provided a symbolic framework for simple reasoning.
