Answer and Explanation:
The Prolog rule expresses that logical implication (:-) describes the relationship between facts.
Prolog expressions are containing truth-functional symbols, which have the same intervention as in predicate calculus.
For example:
English Predicate calculus prolog
and ^ ,
or v ;
By using information, given in the question,
We can make prolog:
Grandfather(X, Y) :-mother(M,Y), father(X,M); father (F, Y), father(X,F)
Prolog (:- ) means define,
Prolog (,) represents a conjunction
And
Prolog (;) represent a disjunction
The train traveled 60 miles per hour since 360 miles divided by 6 hours gives you 60 mph
Answer:
Step-by-step explanation:
Since the divisor of 
is in the form of 
we use what is called Synthetic Division. Now, in this formula, −c gives the OPPOSITE terms of what they really are, so do not forget it. Anyway, here is how it is done:
4| 1 1 −17
↓ 4 20
_________
1 5 3 →
You start by placing the <em>c</em> in the top left corner, then list all the coefficients of your dividend [x² + x - 17]. You bring down the original term closest to <em>c</em> then begin your multiplication. Now depending on what symbol your result is tells you whether the next step is to subtract or add, then you continue this process starting with multiplication all the way up until you reach the end. Now, when the last term is 0, that means you have no remainder. Finally, your quotient is one degree less than your dividend, so that 1 in your quotient can be an x, the 5 follows right behind it, and bringing up the rear, 
giving you the quotient of 
However, in this case, since you have a remainder of 3, this gets set over the divisor.
I am joyous to assist you anytime.
Answer:
4950
Step-by-step explanation:
you round down from the 50
