ludaesch@meme:~/Dropbox/165A-FQ-2012/assignments/hw4$ des
*********************************************************
*                                                       *
*        DES: Datalog Educational System v.3.0          *
*                                                       *
* Type "/help" for help about commands                  *
*                                                       *
*                    Fernando Saenz-Perez (c) 2004-2012 *
*                                         GPD DISIA UCM *
*             Please send comments, questions, etc. to: *
*                                     fernan@sip.ucm.es *
*                                             Web site: *
*                           http://des.sourceforge.net/ *
*                                                       *
* This program comes with ABSOLUTELY NO WARRANTY, is    *
* free software, and you are welcome to redistribute it *
* under certain conditions. Type "/license" for details *
*********************************************************

DES> /c hw4-EC-queries.dl 

Info: 42 rules consulted.

DES> grandparent(C,G)

{
  grandparent(albert,hermann),
  grandparent(albert,johanna),
  grandparent(bernhard,rita),
  grandparent(bernhard,wilhelm),
  grandparent(eva,hermann),
  grandparent(eva,johanna),
  grandparent(karl,rita),
  grandparent(karl,wilhelm),
  grandparent(kati,rita),
  grandparent(kati,wilhelm)
}
Info: 10 tuples computed.          

DES> ancestor(C,A)

{
  ancestor(albert,bernhard),
  ancestor(albert,hermann),
  ancestor(albert,johanna),
  ancestor(albert,monique),
  ancestor(albert,rita),
  ancestor(albert,wilhelm),
  ancestor(bernhard,hermann),
  ancestor(bernhard,johanna),
  ancestor(bernhard,rita),
  ancestor(bernhard,wilhelm),
  ancestor(eva,hermann),
  ancestor(eva,johanna),
  ancestor(eva,kati),
  ancestor(eva,rita),
  ancestor(eva,wilhelm),
  ancestor(franz,rita),
  ancestor(franz,wilhelm),
  ancestor(heinz,rita),
  ancestor(heinz,wilhelm),
  ancestor(hermann,rita),
  ancestor(hermann,wilhelm),
  ancestor(karl,hermann),
  ancestor(karl,johanna),
  ancestor(karl,rita),
  ancestor(karl,wilhelm),
  ancestor(kati,hermann),
  ancestor(kati,johanna),
  ancestor(kati,rita),
  ancestor(kati,wilhelm)
}
Info: 29 tuples computed.          

DES> samegen(X,Y)

{
  samegen(albert,eva),
  samegen(bernhard,karl),
  samegen(bernhard,kati),
  samegen(eva,albert),
  samegen(franz,heinz),
  samegen(franz,hermann),
  samegen(heinz,franz),
  samegen(heinz,hermann),
  samegen(hermann,franz),
  samegen(hermann,heinz),
  samegen(karl,bernhard),
  samegen(karl,kati),
  samegen(kati,bernhard),
  samegen(kati,karl)
}
Info: 14 tuples computed.          

DES> lca(X,Y,A)

{
  lca(albert,bernhard,hermann),
  lca(albert,bernhard,johanna),
  lca(albert,eva,hermann),
  lca(albert,eva,johanna),
  lca(albert,franz,rita),
  lca(albert,franz,wilhelm),
  lca(albert,heinz,rita),
  lca(albert,heinz,wilhelm),
  lca(albert,hermann,rita),
  lca(albert,hermann,wilhelm),
  lca(albert,karl,hermann),
  lca(albert,karl,johanna),
  lca(albert,kati,hermann),
  lca(albert,kati,johanna),
  lca(bernhard,albert,hermann),
  lca(bernhard,albert,johanna),
  lca(bernhard,eva,hermann),
  lca(bernhard,eva,johanna),
  lca(bernhard,franz,rita),
  lca(bernhard,franz,wilhelm),
  lca(bernhard,heinz,rita),
  lca(bernhard,heinz,wilhelm),
  lca(bernhard,hermann,rita),
  lca(bernhard,hermann,wilhelm),
  lca(bernhard,karl,hermann),
  lca(bernhard,karl,johanna),
  lca(bernhard,kati,hermann),
  lca(bernhard,kati,johanna),
  lca(eva,albert,hermann),
  lca(eva,albert,johanna),
  lca(eva,bernhard,hermann),
  lca(eva,bernhard,johanna),
  lca(eva,franz,rita),
  lca(eva,franz,wilhelm),
  lca(eva,heinz,rita),
  lca(eva,heinz,wilhelm),
  lca(eva,hermann,rita),
  lca(eva,hermann,wilhelm),
  lca(eva,karl,hermann),
  lca(eva,karl,johanna),
  lca(eva,kati,hermann),
  lca(eva,kati,johanna),
  lca(franz,albert,rita),
  lca(franz,albert,wilhelm),
  lca(franz,bernhard,rita),
  lca(franz,bernhard,wilhelm),
  lca(franz,eva,rita),
  lca(franz,eva,wilhelm),
  lca(franz,heinz,rita),
  lca(franz,heinz,wilhelm),
  lca(franz,hermann,rita),
  lca(franz,hermann,wilhelm),
  lca(franz,karl,rita),
  lca(franz,karl,wilhelm),
  lca(franz,kati,rita),
  lca(franz,kati,wilhelm),
  lca(heinz,albert,rita),
  lca(heinz,albert,wilhelm),
  lca(heinz,bernhard,rita),
  lca(heinz,bernhard,wilhelm),
  lca(heinz,eva,rita),
  lca(heinz,eva,wilhelm),
  lca(heinz,franz,rita),
  lca(heinz,franz,wilhelm),
  lca(heinz,hermann,rita),
  lca(heinz,hermann,wilhelm),
  lca(heinz,karl,rita),
  lca(heinz,karl,wilhelm),
  lca(heinz,kati,rita),
  lca(heinz,kati,wilhelm),
  lca(hermann,albert,rita),
  lca(hermann,albert,wilhelm),
  lca(hermann,bernhard,rita),
  lca(hermann,bernhard,wilhelm),
  lca(hermann,eva,rita),
  lca(hermann,eva,wilhelm),
  lca(hermann,franz,rita),
  lca(hermann,franz,wilhelm),
  lca(hermann,heinz,rita),
  lca(hermann,heinz,wilhelm),
  lca(hermann,karl,rita),
  lca(hermann,karl,wilhelm),
  lca(hermann,kati,rita),
  lca(hermann,kati,wilhelm),
  lca(karl,albert,hermann),
  lca(karl,albert,johanna),
  lca(karl,bernhard,hermann),
  lca(karl,bernhard,johanna),
  lca(karl,eva,hermann),
  lca(karl,eva,johanna),
  lca(karl,franz,rita),
  lca(karl,franz,wilhelm),
  lca(karl,heinz,rita),
  lca(karl,heinz,wilhelm),
  lca(karl,hermann,rita),
  lca(karl,hermann,wilhelm),
  lca(karl,kati,hermann),
  lca(karl,kati,johanna),
  lca(kati,albert,hermann),
  lca(kati,albert,johanna),
  lca(kati,bernhard,hermann),
  lca(kati,bernhard,johanna),
  lca(kati,eva,hermann),
  lca(kati,eva,johanna),
  lca(kati,franz,rita),
  lca(kati,franz,wilhelm),
  lca(kati,heinz,rita),
  lca(kati,heinz,wilhelm),
  lca(kati,hermann,rita),
  lca(kati,hermann,wilhelm),
  lca(kati,karl,hermann),
  lca(kati,karl,johanna)
}
Info: 112 tuples computed.          

DES>