simple amateur's logical model
Enter below command to start program.
cargo run
AmaLog - simple amateur's logical model
(c) 2024 梶塚太智. All rights reserved
> !socrates = human
Facts: { socrates = human }
> !human = will die
Facts: { human = will die, socrates = human }
> ?socrates = will die
true