PROLOG
Uma relação como progenitor pode ser facilmente definida em Prolog estabelecendo-se as tuplas de objetos que satisfazem a relação;
O usuário pode facilmente consultar o sistema Prolog sobre as relações definidas em seu programa;
Um programa Prolog é constituído de cláusulas, cada uma das quais é encerrada por um ponto (.);
Os argumentos das relações podem ser objetos concretos (como júlia e íris) ou objetos genéricos (como X e Y). Objetos concretos em um programa são denominados átomos, enquanto que os objetos genéricos são denominados variáveis;