Integers and Basic Operations on Integers

Consider natural numbers and how basic arithmetic operations are defined in sample programs 3 and 4 as a basic framework. Extend the framework with your own new constructs to provide the support of all integers and basic arithmetic operations on them.

Note that

·         now you need to have a way to symbolically represent negative integers and

·         you need to extend the predicates regarding how integers are related to the results of basic arithmetic operations on them.

 

Submission: (i) Submit your Prolog program file as a separate attachment and document in it with comments about how you accomplish the two tasks above. (ii) Fill out this self-evaluation form to report whether the program works and whether you have bugs in it.