Prolog trabalho faculdade

Preciso de um trabalho em prologEste trabalho tem por objetivo introduzir os alunos aos conceitos de programação em lógica, utilizando para isso Prolog.

A base de fatos inicial

Baixe do Moodle o arquivo trabalho1.pl que contém uma base inicial de fatos. Desenvolva o trabalho sobre esse arquivo.

O arquivo trabalho1.pl traz um conjunto de fatos utilizando os seguintes predicados:

    gerou(x,y): utilizado para representar que um indivíduo x é pai/mãe biológico do indivíduo y, ou seja, y é filho de x;
    homem(x): representa que o indivíduo x é um homem;
    mulher(x): representa que o indivíduo x é uma mulher;
    casadoCom(x,y): representa que o indivíduo x é casado com o indivíduo y;
    nasceuEm(x,y): representa que o indivíduo x nasceu no lugar y, onde y pode ser qualquer tipo de localização geo-política, por exemplo, uma cidade, estado, país, continente, etc.
    PertenceA(x,y): representa que a localização geo-política x pertence à localização geo-política y. Por exemplo, a cidade de Colatina pertence ao estado ES que, por sua vez, pertence ao país Brasil.


    Pais(x): representa que x é um país, por exemplo, Brasil.

As regras a serem desenvolvidas

O trabalho consiste em adicionar ao programa Prolog um conjunto de regras que definam os seguintes conceitos:

    Pai de: x é pai de y se x é o homem que gerou y.
    Mãe de: x é mãe de y se x é o homem que gerou y.
    Meio-irmãos: dois indivíduos são meio-irmãos quando tem o mesmo pai e mães diferentes ou a mesma mãe e pais diferentes.


    Totalmente-Irmãos: dois indivíduos são irmãos quando tem o mesmo pai e a mesma mãe
    Descendente: um indivíduo x é descendente de um indivíduo y se x é filho de y ou x é filho de um descendente de y
    Enteado(a) de: um individuo x é enteado(a) de y se y não é uma das pessoas que geraram x, mas y é casado com uma das pessoas que geraram x. Por exemplo se Zé é filho de Toin e Ana, mas Toin está casado com Maria então Zé é enteado de Maria.
    Casamento homossexual: o casamento entre x e y é homossexual se x e y são ambos homens ou ambos mulheres.


    Fruto de incesto: uma pessoa será considerada fruto de incesto se seus pais são irmãos ou se há uma relação de paternidade ou maternidade entre seus pais. Por exemplo, se João é filho de Zé e Ana e Zé e Ana são irmãos (ou meio-irmãos ou Zé é pai de Ana ou Ana é mãe de Zé) então João é fruto de um incesto entre Zé e Ana. (Obs.:

Fruto de incesto deve então ser um predicado ternário).
    Natural de: um individuo x é natural de um lugar y se ele nasceu em y ou se nasceu em algum lugar que pertence a y
    Estrangeiro: um individuo é estrangeiro se é natural de qualquer país diferente de Brasil.
    Nikkei: deve ser classificado como Nikkei todo descendente de japonês que não é natural do Japão (obs.:

Japonês é todo individuo natural do japão).
    Sansei: um indivíduo deve ser classificado como sansei se for neto de japonês e não for natural do Japão.
    Adicione, além das regras obrigatórias acima, mais 7 regras a seu critério.

Essas regras podem definir relações de parentescos (ex. Tio, avô, primos, etc), padrões em casamentos (ex. Casamento entre primos), relações de naturalidade (ex.

Capixaba), etc.