School project where I have to work in Linux OS, and I must use the Prolog programming language for writing 2-3 files. I also have to implement the project using a tool named DLV from the terminal , which can be downloaded from here [login to view URL] , this version : x86-64-linux-elf-static .