Os Dados

A Base de conhecimento necessária para testar o seu programa reside num ficheiro de nome "ginastas.dat", o qual deve ser consultado no início. Esse ficheiro contém:

• os factos:

            deltaAltura/1
            deltaPeso/1
  

  que definem, respectivamente, a máxima diferença entre alturas e entre pesos, permitida entre os elementos de cada par;

• o facto

            plano/1
  

  que especifica a lista de identificadores dos exercícios que se quer incluir no espectáculo a organizar, isto é, descreve o plano do espectáculo;

• uma colecção de factos referente ao predicado:

            participa/1
  

  sabendo-se que participa(num) identifica cada ginasta que estará presente e apto no espectáculo em causa;

• uma colecção de factos referentes ao predicado:

            exercicio/6
  

  cujos argumentos têm o seguinte significado

            exercicio( id,descricao,minginastas,maxginastas,parimpar,tipo )
  

  em que parimpar indica se o número de participantes tem de ser impar, par, ou se é indiferente; e tipo indica se esse exercício é para ser executado aos pares, ou se é singular. Note-se que no caso do exercício dever ser executado aos pares, os argumentos minginastas e maxginastas continuam a ser referentes ao número de participantes que, nesse caso, será o dobro do número mínimo, ou máximo, de pares pretendidos;

• uma colecção de factos relativos ao predicado:

           ginasta/6
  

  cujos argumentos são

            ginasta( num,nome,sexo,idade,peso,altura )