decisiontree.oz

declare
% @pre: takes a database DB as input argument
% @post:
fun {BuildDecisionTree DB}
   Count CountBoolean Choice Remove Names Add ListeQuestion
in
% @pre: takes a question Quest and a database DB as input arguments
% @post: returns the number of persons in DB that answered true or false to Quest
   fun {Count Quest DB}
      fun {CountAux Qu L DBTrue DBFalse}
	 case L
	 of nil then
	    triple(Qu DBTrue DBFalse)
	 [] H|T andthen H.Qu==true then
	    {CountAux Qu T H|DBTrue DBFalse}
	 [] H|T andthen H.Qu==false then
	    {CountAux Qu T DBTrue H|DBFalse}
	 end
      end
   in
      {CountAux Quest DB nil nil}
   end
% @pre: takes a question Quest, a database DB, and a boolean Bool as input arguments
% @post: returns the number of Bool of the Quest in the DB
   fun {CountBoolean Quest DB Bool}
      case Bool
      of true then
	 {Length {Count Quest DB}.2}
      [] false then
	 {Length {Count Quest DB}.3}
      end
   end

% @pre: takes a question Quest and a database DB as input arguments
% @post: returns a question with a number of true/false
   fun {Choice Quest DB}
      fun {ChoiceAux Question L Quest Acc2}
	 case Question
	 of nil then
	    {Count Quest L}
	 [] H|T andthen {Abs {CountBoolean H L true}-{CountBoolean H L false}} < Acc2 then
	    {ChoiceAux T L H {Abs {CountBoolean H L true}-{CountBoolean H L false}}}
	 [] H|T then
	    {ChoiceAux T L Quest Acc2}
	 end
      end
   in
      {ChoiceAux Quest DB Quest.1 {Abs {CountBoolean Quest.1 DB true}-{CountBoolean Quest.1 DB false}}}
   end
% @pre: takes a list List and question Question as input arguments
% @post: returns List without Question
   fun {Remove List Question}
      case List
      of nil then
	 nil
      [] H|T andthen H==Question then
	 T
      [] H|T then
	 H|{Remove T Question}
      end
   end

% @pre: takes a database DB as input argument
% @post: returns the persons name from DB
   fun {Names DB}
      case DB
      of nil then
	 nil
      [] H|T then
	 H.1|{Names T}
      end
   end

% @pre: takes a list L and a database DB as input arguments
% @post: returns DB with L
   fun {Add L DB}
      if L == nil then
	 leaf({Names DB})
      elseif {Length DB} == 1 then
	 leaf({Names DB})
      else
	 A = {Choice L DB}
      in
	 if {CountBoolean A.1 DB true} == 0 orelse {CountBoolean A.1 DB false} == 0 then
	    leaf({Names DB})
	 else
	    question(A.1 true:{Add {Remove L A.1} A.2}  false:{Add {Remove L A.1} A.3} 'unknown':{Add {Remove L A.1} DB})
	 end
      end
   end
   ListeQuestion={Arity DB.1}.2
   {Add ListeQuestion DB}
end

local
   ListOfPerson
in
   ListOfPersons =[
		   person('Thibaut Courtois'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Eden Hazard'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Dries Mertens'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Vincent Kompany'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':false
			 )
		   person('Toby Alderweireld'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Romelu Lukaku'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':false
			 )
		   person('Daniel Van Buyten'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Axel Witsel'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Jan Vertonghen'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Steven Defour'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Nacer Chadli'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':false
			 )
		   person('Kevin De Bruyne'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Timmy Simons'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Moussa Dembele'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':false
			 )
		   person('Marouane Fellaini'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Nicolas Lombaerts'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Kevin Mirallas'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Zakaria Bakkali'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':false
			 )
		   person('Christian Benteke'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':true
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':false
			 )
		   person('Guillaume Gillet'
			  'A-t-il des cheveux longs ?':true
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Thomas Vermaelen'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Sébastien Pocognoli'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )
		   person('Laurent Ciman'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':true
			  'A-t-il une moustache ?':true
			  'Voit-on ses dents ?':false
			  'Est-il blanc de peau ?':true
			 )
		   person('Simon Mignolet'
			  'A-t-il des cheveux longs ?':false
			  'A-t-il des cheveux noirs ?':false
			  'A-t-il une barbe ?':false
			  'A-t-il une moustache ?':false
			  'Voit-on ses dents ?':true
			  'Est-il blanc de peau ?':true
			 )]
   {Browse {BuildDecisionTree ListOfPersons}}
end