Usage: ftruncate(File, Size)
Truncates the file File to the specified size Size
File a string representing a path to a specified file Size the new size of the file
Examples: ?- ftruncate("test.txt", 1024).