Project by: Armandas, Ilias

### What is the problem?

In lecture we were shown that Logic programming is well suited for defining axiomatic systems such as algebra and differentiation. Our goal is to implement fundamental finite-dimensional linear algebra properties in Prolog.

Our implementation of vectors will be independent of their scalar field, and we will create 3 scalar fields to demonstrate this fact:

- The Real Numbers
- The Complex Numbers
- $\mathbb {Z} _{2}$- The set {0,1}

### What did we learn from doing this?

TODO

### Links to code

https://github.com/ilias-karimalis/LinAlgProlog