Machine translation of cardinal numbers from greek to english and vice versa using Prolog | NTUA Knowledge Representation and Reasoning Course