dana4

ricerca automatica padri e figli

/* dana4.pro */

nowarnings
include "ana4.dba"

domains
predicates
 figlio(nome)
 figlia(nome)
 archivio(nome)

clauses
 /* cerca padre di figli maschi */
 figlio(N) if
  dati(N,F,S) and
  S=maschio.
  

 /* cerca padre di figli femmine */
 figlia(N) if
  dati(N,F,S) and
  S=femmina.
 

 /* stampa archivio completo */ 
 archivio(N) if
  dati(N,F,S),
  write("----------------------"),nl,
  write(N,"\t",F,"\t",S),nl.
  

/* ana4.dba */

domains
 nome = symbol
predicates
 dati(nome,nome,nome)
clauses
 dati(verdi,luigi,maschio).
 dati(rossi,carlo,maschio).
 dati(bassi,anna,femmina).
 dati(grassi,sergio,maschio).
 dati(basso,elisa,femmina).