GitHub repository: HhMorgan/Artificial-Intellegence-Logical-Agent
Primary language: Java
Description: A simple agent as an example to logical agents based on successor axioms rules.