ludaesch@meme:~/Dropbox/165A-FQ-2012/web/assignments/hw4_files/examples$ 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 division.dl 

Info: 14 rules consulted.

DES> not_rents_all(S)

{
  not_rents_all(bob),
  not_rents_all(joe)
}
Info: 2 tuples computed.          

DES> rents_all(S)

{
  rents_all(jane)
}
Info: 1 tuple computed.          

DES>