Logic Programming

Definitions
Give an example of an atomic term.
Give an example of a numeric term.
Give and example of a variable term.
Given an example of a compound term.
For your examples of atoms, numbers, and compound terms indicate the arity and functor of the term.
A Prolog rule consists of three parts: head, neck, body. Describe the three parts, using an example.
What do we call a rule with no body?
What do we call a rule with no head?
There is no Prolog type for "lists". Why? How are lists impelmented in Prolog?

Family.

These questions use the following data base:

gender(al,male).
gender(anne,female).
gender(arthur,male).
gender(amber,female).
gender(boris,male).
gender(barbara,female).
gender(betty,female).
gender(buck,male).
gender(carla,female).
gender(charles,male).
gender(cora,female).
gender(cuthbert,male).
gender(cecilia,female).
gender(calvin,male).

father(arthur,buck).
father(al,buck).
father(amber,buck).
father(anne,boris).
father(barbara,charles).
father(betty,cuthbert).
father(boris,charles).
father(buck,calvin).

mother(al,barbara).
mother(anne,betty).
mother(arthur,barbara).
mother(amber,barbara).
mother(boris,carla).
mother(barbara,carla).
mother(betty,cora).
mother(buck,cecilia).

Given the above, implement "parent".
Given the above, implement "grandfather".
Using "parent" and "grandfather", implement "child" and "grandson".

List processing.

Here is the definition of "append".

append([], A, A).
append([A|B], C, [A|D]) :-
        append(B, C, D).

Describe the above two rules for append, in English.
Using "append", define a predicate that returns the second and third item in a list.