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.

What is the something extra?

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

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

What did we learn from doing this?

TODO

Links to code

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