How do I properly save a file in prolog; so that it saves to the file with the owl icon (it keeps creating a new file with a ~ symbol at the end). This makes no sense to me. How do I get the compiler to recognize my saved database (I keep getting an error where it won't recognize the rules that were made before saving). How do I compile a database in emacs without creating a new seperate file? The emacs editor won't do the same features with the .pl file as with the .pl~ file, why is this?