Engineering

/in /by

Question)4.!Consider)the)following)problem,)write)it)in)logical)form,)then)translate)it)

into) prolog,)

you)must) code) and) run) it) using) SWI) Prolog,) and) then) determine)which)

statements)follow:)

Sophia! is! the!mother!of!Tom!and!Sarah,!both!of!whom!work!50!and! 40!hours!per!

week!respectively.!Tom!is!the!father!of!Bob!and!Sarah!is!the!mother!of!Charlie,!who!

works!60!hours!a!week.!Any!person!who!works!more!than!45!hours!a!week!works!

overtime.!Anyone!is!tired!if!they!both!work!overtime!and!are!parents.!!

1. Who!is!tired?!

2. Is!Charlie!a!parent?!Is!Sophia?!

3. Who!are!the!parents!who!work!overtime?!!

#)NOTE:!IN!YOUR!SOLUTION,!YOU!HAVE!TO!PUT!YOUR!CODE!WITH!SCREEN!SHOTS!

OF!RUNNING.!

the subject is csc 281 discrete math for computer science