home *** CD-ROM | disk | FTP | other *** search
/ C/C++ Interactive Guide / c-cplusplus-interactive-guide.iso / c_ref / csource4 / 297_01 / exampl12.spr < prev    next >
Encoding:
Text File  |  1980-01-01  |  1.6 KB  |  58 lines
  1. /* exampl12.spr */
  2. /* An example due to Colmerauer.
  3.    This is a good example of simple declarative programming.
  4.    The numbers are integers because real number comparison has not 
  5.    been implemented. It is very easy to add your own rless predicate.
  6.    The numbers here are ficticious.
  7.    It is important to notice the order of the solutions and
  8.    to understand why they come out in that order.
  9.  */
  10. /* Try the (weight_watch) query */
  11. ((weight_watch)
  12.  (writes "For a meal with less than 3000 calories.")(nl)
  13.  (meal Entree Main_dish Desert 3000)
  14.  (writes "Entree = ")
  15.  (display Entree)(nl)
  16.  (writes "Main dish = ")
  17.  (display Main_dish)(nl)
  18.  (writes "Desert =")
  19.  (display Desert)(nl)
  20. )
  21.  
  22. ((meal Entree Main_dish Desert Calorie_limit)
  23.     (entree Entree Calorie_Entree)
  24.     (main_dish Main_dish Calorie_Main_Dish)
  25.     (desert Desert Calorie_desert)
  26.     (sum3 Calorie_Entree Calorie_Main_Dish Calorie_desert Total_Calories)
  27.     (iless Total_Calories Calorie_limit)
  28. )
  29.  
  30. (entree green_salad_with_vinaigrette 800)
  31. (entree carrots 400)
  32. (entree pate_de_fois_gras 2000)
  33. (entree croissant_au_jambon 1000)
  34. (entree cocktail_sausages 1200)
  35. (entree souffle 1000)
  36. (entree frogs_legs 1000)
  37. (entree nothing 0)
  38.  
  39. (main_dish steak_and_eggs 2000)
  40. (main_dish turkey_and_parsnips 1800)
  41. (main_dish snails 1500)
  42. (main_dish hamburger /* sneer */ 1000)
  43. (main_dish rice_and_vegetable_curry 1300)
  44. (main_dish trout_and_potatoes 1600)
  45. (main_dish ravioli 1300)
  46.  
  47. (desert ice_cream 800)
  48. (desert chalotte_aux_poires 1000)
  49. (desert orange 500)
  50. (desert baba_au_rhum 700)
  51. (desert ile_flotante 800)
  52. (desert nothing 0)
  53.  
  54. ((sum3 A B C Total)
  55.  (iplus A B A_plus_B)
  56.  (iplus A_plus_B C Total)
  57. )
  58.