:- op(800, xfy, ':'). colonlist_list([], []). colonlist_list(A:As, [A|Bs]) :- colonlist_list(As, Bs). % ---------------------------- Die 11 Massen mass(51.025, "H6NP" : "C4H3" : "CH7S" : []). mass(52.033, "H7NP" : "C4H4" : []). mass(55.021, "C3H3O" : []). mass(65.039, "C5H5" : "CH8NP" : []). mass(77.04, "C2H8NP" : "C6H5" : "C3H9S" : []). mass(80.027, "CH7NOP" : "C5H4O" : "H6N3S" : "C3H2N3" : "C2H8OS" : []). mass(108.022, "C2H7NO2P" : "C6H4O2" : "CH6N3OS" : "H5N4OP" : "C4H2N3O" : "C3H8O2S" : []). mass(123.043, "C5H5N3O" : "CH8N4OP" : "C3H3N6" : "C7H7O2" : "C3H10NO2P" : "H7N6S" : "C2H7N2O4" : "C4H12PS" : "C2H9N3OS" : []). mass(151.04, "CH7N6OS" : "C4H10NO3P" : "C8H7O3" : "C3H9N3O2S" : "C2H8N4O2P" : "C6H5N3O2" : "C7H8N2P" : "C3H11N3P2" : "C5H11O3S" : "H6N7OP" : "C4H3N6O" : "C4H11N2S2" : "C5H13OP2" : "C2HN9" : "C3H7N2O5" : []). mass(195.067, "C7H10N5P" : "C3H11N6O2S" : "C3H13N6P2" : "C5H13N3O3S" : "C6H14NO4P" : "C10H11O4" : "C9H12N2OP" : "CH9N9OS" : "C5H15N3OP2" : "C7H15O4S" : "C4H12N4O3P" : "C8H9N3O3" : "H7N10O3" : "C7H17O2P2" : "C8H11N4S" : "C2H10N7O2P" : "C4H14N5PS" : "C6H7N6O2" : "C6H15N2OS2" : "C2H9N7O4" : "C10H13NOS" : "C7H18P3" : "H8N10OP" : "C6H16N2OPS" : "C4H5N9O" : "C5H11N2O6" : "C4H13N5S2" : []). mass(254.13901, "C13H20NO4" : "C11H28P2S" : "C4H18N10OS" : "C9H23N2O4P" : "C7H21N5O3P" : "C6H20N7O2S" : "C11H18N4O3" : "C14H16N5" : "C11H26O2S2" : "C2H16N13S" : "C10H19N6P" : "C6H22N7P2" : "C5H19N8O2P" : "C8H22N4O3S" : "C9H16N7O2" : "C10H22O7" : "C16H18N2O" : "C9H24N3OS2" : "C12H21N3OP" : "CH14N14O2" : "C10H27NP3" : "C8H24N4OP2" : "C3H17N11OP" : "C10H24NO4S" : "C14H24P2" : "C7H14N10O" : "C8H20N3O6" : "C7H22N6S2" : "C14H23O2P" : "C10H25NO2PS" : "C3H16N11O3" : "C10H26NO2P2" : "CH15N14P" : "C11H20N5S" : "C14H22O2S" : "C5H12N13" : "C6H18N6O5" : "C7H23N6PS" : "C8H23N4OPS" : "C5H18N8O4" : "C13H22N2OS" : "C12H20N3OS" : "C4H16N9O4" : "C9H25N3OPS" : "C6H21N7PS" : "C7H20N5O5" : "C6H14N12" : []). mass_text(M,C) :- mass(M,Cs), colonlist_list(Cs,Cs0), member(C,Cs0). % ---------------------------- Die 55 Neutralverluste defect(1.008, 51.025, 52.033, "H" : []). defect(3.996, 51.025, 55.021, []). defect(2.988, 52.033, 55.021, []). defect(14.014, 51.025, 65.039, "CH2" : []). defect(13.006, 52.033, 65.039, "CH" : []). defect(10.018, 55.021, 65.039, []). defect(26.015, 51.025, 77.04, "C2H2" : []). defect(25.007, 52.033, 77.04, "C2H" : []). defect(22.019, 55.021, 77.04, []). defect(12.001, 65.039, 77.04, "C" : []). defect(29.002, 51.025, 80.027, "CHO" : []). defect(27.994, 52.033, 80.027, "CO" : []). defect(25.006, 55.021, 80.027, "C2H" : []). defect(14.988, 65.039, 80.027, []). defect(2.987, 77.04, 80.027, []). defect(56.997, 51.025, 108.022, "C2HO2" : []). defect(55.989, 52.033, 108.022, "C2O2" : []). defect(53.001, 55.021, 108.022, "C3HO" : []). defect(42.983, 65.039, 108.022, []). defect(30.982, 77.04, 108.022, []). defect(27.995, 80.027, 108.022, "CO" : []). defect(72.018, 51.025, 123.043, "CH2N3O" : []). defect(71.01, 52.033, 123.043, "CHN3O" : []). defect(68.022, 55.021, 123.043, "C2H2N3" : []). defect(58.004, 65.039, 123.043, "N3O" : "C2H2O2" : []). defect(46.003, 77.04, 123.043, "CH2O2" : []). defect(43.016, 80.027, 123.043, "HN3" : "C2H3O" : []). defect(15.021, 108.022, 123.043, "CH3" : []). defect(100.015, 51.025, 151.04, "C2H2N3O2" : "C4H4O3" : "H7NO3P" : "N6O" : []). defect(99.007, 52.033, 151.04, "C2HN3O2" : "C4H3O3" : "H6NO3P" : "H7N2S2" : []). defect(96.019, 55.021, 151.04, "CN6" : "C3H2N3O" : "H4N2O4" : "C5H4O2" : "CH7NO2P" : "C2H9PS" : []). defect(86.001, 65.039, 151.04, "C3H2O3" : "CN3O2" : "C6N" : "C2H3N2P" : []). defect(74, 77.04, 151.04, "C2H2O3" : "N3O2" : []). defect(71.013, 80.027, 151.04, "C3H3O2" : "CHN3O" : []). defect(43.018, 108.022, 151.04, "C2H3O" : "HN3" : []). defect(27.997, 123.043, 151.04, "CO" : []). defect(144.042, 51.025, 195.067, "C6H8O4" : "C2H11NO4P" : "H9N4O3P" : "C4H6N3O3" : "C7H4N4" : "C3H7N5P" : "CH10N3O3S" : "C2H4N6O2" : "C9H6NO" : "C5H9N2OP" : "CH12N3OP2" : "H2N9O" : "CH8N2O6" : "H10N5S2" : []). defect(143.034, 52.033, 195.067, "C6H7O4" : "H8N4O3P" : "C2H10NO4P" : "C4H5N3O3" : "C7H3N4" : "C3H6N5P" : "C2H3N6O2" : "CH9N3O3S" : "C2H11N2OS2" : "C9H5NO" : "C3H14P3" : "C5H8N2OP" : "HN9O" : "CH7N2O6" : "CH11N3OP2" : "C3H11O4S" : "H9N5S2" : []). defect(140.046, 55.021, 195.067, "C5H6N3O2" : "CH9N4O2P" : "C7H8O3" : "C3H4N6O" : "C3H11NO3P" : "C3H12N2S2" : "H8N6OS" : "CH2N9" : "C2H8N2O5" : "C2H10N3O2S" : "C4H13OPS" : "C10H6N" : "H6N5O4" : []). defect(130.028, 65.039, 195.067, "C6H2N4" : "C2H5N5P" : "H8N3O3S" : "CH9NO4P" : "C8H4NO" : "C5H6O4" : "C4H7N2OP" : "H10N3OP2" : "C3H4N3O3" : "C3H6N4S" : []). defect(118.027, 77.04, 195.067, "C4H6O4" : "C5H2N4" : "CH5N5P" : "C2H4N3O3" : "C7H4NO" : "C3H7N2OP" : "H2N6O2" : []). defect(115.04, 80.027, 195.067, "C5H7O3" : "C3H5N3O2" : "C8H5N" : "C4H8N2P" : "CH3N6O" : []). defect(87.045, 108.022, 195.067, "C4H7O2" : "C2H5N3O" : []). defect(72.024, 123.043, 195.067, "C3H4O2" : []). defect(44.027, 151.04, 195.067, "C2H4O" : "H2N3" : []). defect(203.114, 51.025, 254.139, "C7H15N4O3" : "CH16N8O2P" : "C5H13N7O2" : "H15N10OS" : "C9H17NO4" : "C10H21P2" : "C3H11N10O" : "C10H13N5" : "C6H16N6P" : "C10H19O2S" : "CH9N13" : "C2H15N6O5" : "C12H15N2O" : "C8H18N3OP" : "C8H17N3OS" : "H13N9O4" : "C10H20O2P" : []). defect(202.106, 52.033, 254.139, "CH15N8O2P" : "C7H14N4O3" : "C5H12N7O2" : "C3H17N5O3P" : "H14N10OS" : "C9H16NO4" : "C10H20P2" : "C3H10N10O" : "C4H16N3O6" : "C2H16N7O2S" : "C10H12N5" : "C10H18O2S" : "CH8N13" : "C2H14N6O5" : "C6H15N6P" : "C2H18N7P2" : "C12H14N2O" : "C8H16N3OS" : "H12N9O4" : "C8H17N3OP" : "C2H17N7PS" : "C6H14N6S" : []). defect(199.118, 55.021, 254.139, "C7H19O6" : "C6H13N7O" : "C2H16N8OP" : "H14N11P" : "C4H11N10" : "C5H17N3O5" : "C8H15N4O2" : "C4H18N5O2P" : "CH15N10S" : "C11H19OS" : "C3H15N6O4" : "C10H17NO3" : "C6H20N2O3P" : "C5H20N4PS" : "C3H17N7OS" : "C9H17N3S" : "CH13N9O3" : "C5H19N4O2S" : "C6H21N2OP2" : "C10H18NOP" : "C13H15N2" : "C14H15O" : "C9H18N3P" : []). defect(189.1, 65.039, 254.139, "C8H15NO4" : "C6H13N4O3" : "C9H11N5" : "C5H14N6P" : "H14N8O2P" : "C4H11N7O2" : "C11H13N2O" : "C7H16N3OP" : "C9H19P2" : "C2H9N10O" : "C9H18O2P" : "C6H15N5S" : "C9H17O2S" : "H7N13" : "CH13N6O5" : []). defect(177.099, 77.04, 254.139, "C5H13N4O3" : "C7H15NO4" : "C3H11N7O2" : "C8H11N5" : "C4H14N6P" : "C8H19P2" : "CH9N10O" : "C10H13N2O" : "C6H16N3OP" : "C8H17O2S" : []). defect(174.112, 80.027, 254.139, "C6H14N4O2" : "C8H16NO3" : "C4H12N7O" : "C2H10N10" : "C11H14N2" : "C7H17N3P" : "C9H18OS" : []). defect(146.117, 108.022, 254.139, "C5H14N4O" : "C7H16NO2" : "C3H12N7" : "C8H18S" : []). defect(131.096, 123.043, 254.139, "C6H13NO2" : "C4H11N4O" : "C7H16P" : []). defect(103.099, 151.04, 254.139, "C3H11N4" : "C5H13NO" : []). defect(59.072, 195.067, 254.139, "C3H9N" : []). defect_text(M,M0,M1,C) :- defect(M,M0,M1,Cs), colonlist_list(Cs,Cs0), member(C,Cs0).