domains
  s=symbol

predicates
  produkt(symbol,real)
  zupa(symbol,integer)
  w_produkt(symbol,real)

clauses
  produkt(kasza,0.4).
  produkt(maka,1.2).
  produkt(makaron,3).
  produkt(ziemniaki,2.5).
  produkt(pomidory,1.25).
  produkt(koncentrat,3).
  produkt(bulion,12). 
  produkt(warzywa,0.5).