2012-01 Alberi

di

È dato il seguente insieme di regole (in cui il nome del termine è “rs” invece di “regola”):

  • rs(1,[c1,c2],i,12)
  • rs(2,[c1,i],c2,7)
  • rs(3,[c2,i],c1,7)
  • rs(4,[i,h],a,7)
  • rs(5,[a,h],i,7)
  • rs(6,[i,a],h,7)
  • rs(7,[c1,c2],a,12)
  • rs(8,[c1,a],c2,12)
  • rs(9,[c2,a],c1,12)
  • rs(10,[c1,p1],h,7)
  • rs(11,[c1,h],p1,7)
  • rs(12,[p1,h],c1,7)
  • rs(13,[p1,p2],h,8)
  • rs(14,[h,p1],p2,7)
  • rs(15,[p2,h],p1,7)
  • rs(16,[c2,p2],h,7)
  • rs(17,[c2,h],p2,7)
  • rs(18,[p2,h],c2,7)
  • rs(19,[c1,p1],i,7)
  • rs(20,[c1,i],p1,7)
  • rs(21,[p1,i],c1,7)
  • rs(22,[c2,p2],i,7)
  • rs(23,[c2,i],p2,7)
  • rs(24,[p2,i],c2,7)
  • rs(25,[p1,p2],i,2)
  • rs(26,[i,p1],p2,2)
  • rs(27,[p2,h],p1,2).

Dati gli elementi della lista [p1,h], trovare:

  1. il numero N di procedimenti di deduzione dell’elemento c2 che abbiano una valutazione minore di 22;
  2. tra questi procedimenti, trovare la lista L1 che descrive il procedimento di valutazione minima e la lista L2 che descrive il procedimento di valutazione massima.

SOLUZIONE

  • N=3
  • L1=[14,18]
  • L2=[12,19,2]

COMMENTI ALLA SOLUZIONE

  • ?- qs(c2,[p1,h],D2,L2,K).
  • D2=[c2,i,c1,p1,h], L2=[2,19,12], K=21
  • D2=[c2,p2,p1,h], L2=[18,14], K=14
  • D2=[c2,i,p2,p1,h], L2 = [24,25,14], K=16

…