%---------------------------Features SORT HOSTALEN--------------------- producer($hostalen,hoechst). volume_per_unit_time_mvr_1_temperature($hostalen,190). volume_per_unit_time_mvr_1_stress($hostalen,5). volume_per_unit_time_mvr_2_temperature($hostalen,230). volume_per_unit_time_mvr_2_stress($hostalen,2.16). melting_index_mfi_1_temperature($hostalen,190). melting_index_mfi_1_stress($hostalen,5). melting_index_mfi_2_temperature($hostalen,230). melting_index_mfi_2_stress($hostalen,2.16). melting_index_mfi_3_temperature($hostalen,230). melting_index_mfi_3_stress($hostalen,5). recyclable($hostalen,horizontal-recycling). % ---------------------------Features hostalen_ppk_1060_f1-------------- density(hostalen_ppk_1060_f1,0.902). melting_index_mfi_1(hostalen_ppk_1060_f1,2). melting_index_mfi_2(hostalen_ppk_1060_f1,0.9). melting_index_mfi_3(hostalen_ppk_1060_f1,4). volume_per_unit_time_mvr_1(hostalen_ppk_1060_f1,2.3). volume_per_unit_time_mvr_2(hostalen_ppk_1060_f1,1.3). yield_stress(hostalen_ppk_1060_f1,32). yield_elangation(hostalen_ppk_1060_f1,11). tension_module_of_elasticity(hostalen_ppk_1060_f1,1300). tension_module_of_criep_1_h(hostalen_ppk_1060_f1,850). tension_module_of_criep_1000_h(hostalen_ppk_1060_f1,500). ball_thrust_hardness(hostalen_ppk_1060_f1,67). tension_notched-bar_impact_strength(hostalen_ppk_1060_f1,48). notched-bar_impact_strength(hostalen_ppk_1060_f1,8). izod-impact_strength_23(hostalen_ppk_1060_f1,100). izod-impact_strength_-30(hostalen_ppk_1060_f1,14). izod-notched-bar_impact_strength_23(hostalen_ppk_1060_f1,3.5). izod-notched-bar_impact_strength_-30(hostalen_ppk_1060_f1,1.5). vicat_a/50(hostalen_ppk_1060_f1,152). vicat_b/50(hostalen_ppk_1060_f1,88). dimensional_stability_hdt/a(hostalen_ppk_1060_f1,56). dimensional_stability_hdt/b(hostalen_ppk_1060_f1,94). used-for(hostalen_ppk_1060_f1,spritzgiessen[elektrogeraete]). used-for(hostalen_ppk_1060_f1,spritzgiessen[technische_teile]). used-for(hostalen_ppk_1060_f1,spritzgiessen[haushaltmaschinen]). used-for(hostalen_ppk_1060_f1,spritzgiessen[sanitaereinrichtungen]). used-for(hostalen_ppk_1060_f1,spritzgiessen[moebelbau]). used-for(hostalen_ppk_1060_f1,spritzgiessen[verpackungen]). used-for(hostalen_ppk_1060_f1,pressen[verpackungen]). used-for(hostalen_ppk_1060_f1,pressen[elektrogeraete]). used-for(hostalen_ppk_1060_f1,pressen[verpackungsbaender]). used-for(hostalen_ppk_1060_f1,blasformen[moebelbau]). used-for(hostalen_ppk_1060_f1,blasformen[verpackungsbaender]). additives(hostalen_ppk_1060_f1,flameproofing_agent). %----------------Features SORT HOSTALEN-PPN-1-------------------- density($hostalen-ppn-1,0.903). melting_index_mfi_1($hostalen-ppn-1,4). melting_index_mfi_2($hostalen-ppn-1,2). melting_index_mfi_3($hostalen-ppn-1,9). volume_per_unit_time_mvr_1($hostalen-ppn-1,4.5). volume_per_unit_time_mvr_2($hostalen-ppn-1,2.7). yield_stress($hostalen-ppn-1,32). yield_elangation($hostalen-ppn-1,11). tension_module_of_elasticity($hostalen-ppn-1,1300). tension_module_of_criep_1_h($hostalen-ppn-1,900). tension_module_of_criep_1000_h($hostalen-ppn-1,480). ball_thrust_hardness($hostalen-ppn-1,68). tension_notched-bar_impact_strength($hostalen-ppn-1,45). notched-bar_impact_strength($hostalen-ppn-1,7). izod-impact_strength_23($hostalen-ppn-1,90). izod-impact_strength_0($hostalen-ppn-1,35). izod-impact_strength_-30($hostalen-ppn-1,12). izod-notched-bar_impact_strength_23($hostalen-ppn-1,3.1). izod-notched-bar_impact_strength_0($hostalen-ppn-1,1.6). izod-notched-bar_impact_strength_-30($hostalen-ppn-1,1.4). vicat_a/50($hostalen-ppn-1,152). vicat_b/50($hostalen-ppn-1,89). dimensional_stability_hdt/a($hostalen-ppn-1,56). dimensional_stability_hdt/b($hostalen-ppn-1,90). %(hn (additives $hostalen-ppn-1 (tup))) additives($hostalen-ppn-1,antistatic_additive).% 4 -> fiktiv used-for($hostalen-ppn-1,pressen[verpackungen]). used-for($hostalen-ppn-1,pressen[elektrogeraete]). used-for($hostalen-ppn-1,pressen[verpackungsbaender]). %----------------------Features hostalen_ppn_1060--------------------- stress-strain(hostalen_ppn_1060, [interpol, [[0.71,13.4], [1.42,22.2], [2.13,26.7], [2.84,29.5], [3.55,31.6], [4.26,33.2], [4.97,34.3], [5.68,35.2], [6.39,35.7], [7.1,36.0]]]). %-----------------------Features SORT NOVODUR--------------------------- producer($novodur,bayer). recyclable($novodur,horizontal-recycling). %---------------Features SORT NOVODUR-REC-1------------------- izod-impact_strength_23($novodur-rec-1,60). izod-impact_strength_-30($novodur-rec-1,40). izod-notched-bar_impact_strength_23($novodur-rec-1,12). izod-notched-bar_impact_strength_-30($novodur-rec-1,6). ball_thrust_hardness($novodur-rec-1,90). recycling-product($novodur-rec-1,true). %----------------Features of novodur_r_5320----------------------------- yield_stress(novodur_r_5320,38). yield_elangation(novodur_r_5320,2.1). tension_module_of_elasticity(novodur_r_5320,2000). dimensional_stability_hdt/a(novodur_r_5320,90). dimensional_stability_hdt/b(novodur_r_5320,95). %----------------Features of novodur_r_5322----------------------------- yield_stress(novodur_r_5322,40). yield_elangation(novodur_r_5322,2.3). tension_module_of_elasticity(novodur_r_5322,2200). dimensional_stability_hdt/a(novodur_r_5322,96). dimensional_stability_hdt/b(novodur_r_5322,100). %----------------------------------------------------------------------- horizontal-recycling(Plastic-id) :- additives(Plastic-id:$pp,flameproofing_agent) & only_in_closed_circle. horizontal-recycling(Plastic-id) :- additives(Plastic-id:$pp,Additives), naf(Additives .= flameproofing_agent) & possible. horizontal-recycling(Plastic-id) :- additives(Plastic-id:$abs-k,flameproofing_agent) & only_in_closed_circle. horizontal-recycling(Plastic-id) :- additives(Plastic-id:$abs-k,Additives), naf(Additives .= flameproofing_agent) & possible. cardinality(identifier,=[1]). sort(identifier,string). sort(cardinality,predicate). cardinality(sort,1). sort(method_for_test,tupel-of-strings). sort(additives,tupel-of-strings). sort(measurement,tupel-of-strings). sort(exists-with-conditions,tupel-of-strings). cardinality(exists-with-conditions,>=[1]). sort(recyclable,boolean). sort(recycling-product,boolean). cardinality($numerical-attribute,<=[1]). sort($numerical-attribute,real). measurement(temperature,c). method_for_test(density,[iso_1183,din_53735]). measurement(volume_per_unit_time_mvr_1_temperature,c). measurement(volume_per_unit_time_mvr_1_stress,kg). measurement(volume_per_unit_time_mvr_2_temperature,c). measurement(volume_per_unit_time_mvr_2_stress,kg). measurement(melting_index_mfi_1_temperature,c). measurement(melting_index_mfi_1_stress,kg). measurement(melting_index_mfi_2_temperature,c). measurement(melting_index_mfi_2_stress,kg). measurement(melting_index_mfi_3_temperature,c). measurement(melting_index_mfi_3_stress,kg). method_for_test(vicat_a/50,[din_306]). measurement(vicat_a/50,c). method_for_test(vicat_b/50,[din_306]). measurement(vicat_b/50,c). method_for_test(yield_elangation,[iso_527,din_53455]). measurement(yield_elangation,proz). method_for_test(dimensional_stability_hdt/a,[iso_75,din_53461]). measurement(dimensional_stability_hdt/a,c). method_for_test(dimensional_stability_hdt/b,[iso_75,din_53461]). measurement(dimensional_stability_hdt/b,c). measurement($numerical-attribute-n/qmm-prototype,/[n,^[mm,2]]). method_for_test(yield_stress,[iso_527,din_53455]). method_for_test(tension_module_of_elasticity,[iso_527,din_53457]). method_for_test(tension_module_of_criep_1_h,[iso_899,din_53444]). method_for_test(tension_module_of_criep_1000_h,[iso_899,din_53444]). method_for_test(ball_thrust_hardness,[din_53456]). measurement($numerical-attribute-kj/qm-prototype,/[kj,^[m,2]]). method_for_test(tension_notched-bar_impact_strength,[iso_8256,din_53448/1b]). method_for_test(notched-bar_impact_strength,[din_53453]). method_for_test(izod-impact_strength_23,[iso_180/1c]). method_for_test(izod-impact_strength_0,[iso_180/1c]). method_for_test(izod-impact_strength_-30,[iso_180/1c]). method_for_test(izod-notched-bar_impact_strength_23,[iso_180/1a]). method_for_test(izod-notched-bar_impact_strength_0,[iso_180/1a]). method_for_test(izod-notched-bar_impact_strength_-30,[iso_180/1a]). sort($melting_index-prototype,real). measurement($melting_index-prototype,/[g,*[10,min]]). method_for_test($melting_index-prototype,[iso_1133,din_53735]). exists-with-conditions(melting_index_mfi_1, [melting_index_mfi_1_temperature, melting_index_mfi_1_stress]). exists-with-conditions(melting_index_mfi_2, [melting_index_mfi_2_temperature, melting_index_mfi_2_stress]). exists-with-conditions(melting_index_mfi_3, [melting_index_mfi_3_temperature, melting_index_mfi_3_stress]). sort($volume_per_unit_time-prototype,real). measurement($volume_per_unit_time-prototype,/[^[cm,3],*[10,min]]). method_for_test($volume_per_unit_time-prototype,[iso_1133,din_53735]). exists-with-conditions(volume_per_unit_time_mvr_1, [volume_per_unit_time_mvr_1_temperature, volume_per_unit_time_mvr_1_stress]). exists-with-conditions(volume_per_unit_time_mvr_2, [volume_per_unit_time_mvr_2_temperature, volume_per_unit_time_mvr_2_stress]). sort($interpol-attribute,interpol-chart). first(stress-strain,dehnung). first-measurement(stress-strain,proz). second(stress-strain,spannung). second-measurement(stress-strain,mpa). sort($rule-attribute) :- rule. simple-rule-attribute(identifier[recyclable], number-of-parameter[1], para[identifier]). simple-rule-attribute(identifier[used-for], number-of-parameter[2], first-para[identifier], second-para[processing]). interpol(Pairs,X) :- & sum(Pairs,X,Pairs,1). sum(Pairs,X,[],No) :- & 0. sum(Pairs,X,Left-over-pairs,No) :- [[First,Second]|Left-over] .= Left-over-pairs & +(*(Second,mul(Pairs,X,First,No,1)), sum(Pairs,X,Left-over,+(No,1))). mul([],X,Xv,No,Mulno) :- & 1. mul(Pairs,X,Xv,No,No) :- [_|Left-over] .= Pairs & mul(Left-over,X,Xv,No,+(No,1)). mul(Pairs,X,Xv,No,Mulno) :- [[First,_]|Left-over] .= Pairs, /=(0,-(Xv,First)), Result .= /(-(X,First),-(Xv,First)) & *(Result,mul(Left-over,X,Xv,No,+(Mulno,1))).