Domains
	calories, proteins, fats, carbohydrates, vitamins, micronutrients = real
	dish_name = symbol
	dish_names = symbol*
Predicates
	nondeterm dish(dish_name, calories, proteins, fats, carbohydrates, vitamins, micronutrients)
	nondeterm task1(calories)
Clauses
	task1(Calories_):- dish("Oatmeal", Calories1, _, _, _, _, _),
	 dish("Borsch", Calories2, _, _, _, _, _),
	dish("Scrambled_eggs", Calories3, _, _, _, _, _),
	dish("Coffee", Calories4, _, _, _, _, _), dish("Boiled_fish", Calories5, _, _, _, _, _),
	dish("Caesar_salad", Calories6, _, _, _, _, _), dish("Pork_tenderloin", Calories7, _, _, _, _, _), dish("Beef", Calories8, _, _, _, _, _),
	dish("Fried_potatoes", Calories9, _, _, _, _, _), dish("Pelmeni", Calories10, _, _, _, _, _), Calories_ = (Calories1+Calories2+Calories3+Calories4+Calories5+Calories6+Calories7+Calories8+Calories9+Calories10).

	dish("Oatmeal", 94.1, 3.5, 2.8, 13.6, 10.0, 18.0).
	dish("Scrambled_eggs", 149.0, 10.0, 11.0, 1.6, 11.0, 13.0).
	dish("Coffee", 202.6, 14.0, 14.5, 4.1, 3.0, 5.0).
	dish("Borsch", 57.7, 3.8, 2.9, 4.3, 9.0, 13.0).
	dish("Boiled_fish", 165.0, 19.6, 6.0, 8.8, 8.0, 13.0).
	dish("Caesar_salad", 303.6, 14.8, 17.2, 24.0, 12.0, 15.0).
	dish("Pork_tenderloin", 142.0, 19.4, 7.1, 0.1, 10.0, 16.0).
	dish("Beef", 218.0, 18.6, 16.0, 0.3, 10.0, 14.0).
	dish("Fried_potatoes", 192.0, 2.8, 9.5, 23.4, 10.0, 9.0).
	dish("Pelmeni", 116.1, 6.4, 3.7, 14.3, 10.0, 15.0).

Goal
	task1(Calories).