Define and test the Prolog predicates described below. Each of your predicates must have the same name and signature as the examples below. Your predicates must behave properly on all instances of valid input types. Your submission should consist of a single source code text file that includes all facts, predicate definitions, and propositions.

You may find additional Prolog language help at the following links:

SWI-Prolog manual: http://www.swi-prolog.org/pldoc/refman/

SWI-Prolog documentation: http://www.swi-prolog.org/pldoc/index.html

Learn Prolog Now: http://www.learnprolognow.org/

3) Segregate

Define a predicate segregate/3 that takes a list of integers as an argument and

generates two lists, the first containing the even numbers from the original

list and the second sublist containing the odd numbers from the original list. Your

predicate should have the signature segregate(List, Even, Odd).

Examples:

?- segregate([8,7,6,5,4,3], Even, Odd).

Even = [8,6,4]

Odd = [7,5,3]

?- segregate([7,2,3,5,8], Even, Odd).

Even = [2,8]

Odd = [7,3,5]

?- segregate([-4,11,-7,9,0], Even, Odd).

Even = [-4,0]

Odd = [11,-7,9]

?- segregate([5,13,29], Even, Odd).

Even = []

Odd = [5,13,29]

?- segregate([], Even, Odd).

Even = []

Odd = []

Even = Odd, Odd = []