First Order Logic Network Graph

Classical Logics like First Order Logic is a triple with Constants, Predicate and Functions. This python program visualizes such FOL programs into graphs and implements various searches such as node, paths, similarity etc.

Techstack:

1. FrontEnd: Plotly Dash
2. Building the graph: NetworkX
3. Visualization: Plotly
4. NLP processing: Genism
5. NLP model: Conceptnet Numberbatch

TODO

Properly structure network.py

Add a short demo