{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:58:52Z","timestamp":1743011932523,"version":"3.40.3"},"publisher-location":"Cham","reference-count":84,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031352539"},{"type":"electronic","value":"9783031352546"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_26","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"318-333","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Prolog Meets Biology"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"26_CR1","unstructured":"Angelopoulos, N., Giamas, G.: Prolog Bioinformatic Pipelines: A Case Study in Gene Dysregulation. In: Workshop on Constraint-Based Methods in Bioinformatics (WCB14). Lyon, France (2014)"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1038\/s41592-021-01360-8","volume":"19","author":"M Baek","year":"2022","unstructured":"Baek, M., Baker, D.: Deep learning and protein structure modeling. Nat. Methods 19, 13\u201314 (2022)","journal-title":"Nat. Methods"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Bansal, A.K.: Establishing a framework for comparative analysis of genome sequences. In: Proceedings of the International IEEE Symposium on Intelligence in Neural and Biological Systems, pp. 84\u201391 (1995)","DOI":"10.1109\/INBS.1995.404275"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-49201-1_19","volume-title":"Practical Aspects of Declarative Languages","author":"AK Bansal","year":"1998","unstructured":"Bansal, A.K., Bork, P.: Applying logic programming to derive novel functional information of genomes. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 275\u2013289. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49201-1_19"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Barton, G.J., Rawlings, C.J.: A Prolog approach to analysing protein structure. Tetrahedron Comput. Methodol. 3(6 PART C), 739\u2013756 (1990)","DOI":"10.1016\/0898-5529(90)90171-4"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Bodei, C., Bracciali, A., Chiarugi, D.: On deducing causality in metabolic networks. BMC Bioinform. 9(S-4) (2008)","DOI":"10.1186\/1471-2105-9-S4-S8"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/bioinformatics\/btg400","volume":"20","author":"A Burger","year":"2004","unstructured":"Burger, A., Davidson, D., Baldock, R.: Formalization of mouse embryo anatomy. Bioinformatics 20, 259\u2013267 (2004)","journal-title":"Bioinformatics"},{"issue":"14","key":"26_CR8","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1613\/jair.4193","volume":"48","author":"F Campeotto","year":"2013","unstructured":"Campeotto, F., Dal Pal\u00f9, A., Dovier, A., Fioretto, F., Pontelli, E.: A constraint solver for flexible protein model. J. Artif. Intell. Res. (JAIR) 48, 953\u20131000 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"26_CR10","unstructured":"Chisham, B., Pontelli, E., Son, T., Wright, B.: CDAOStore: a phylogenetic repository using logic programming and web services. In: International Conference on Logic Programming, pp. 209\u2013219 (2011)"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1186\/1471-2105-12-98","volume":"12","author":"B Chisham","year":"2011","unstructured":"Chisham, B., Wright, B., Le, T., Son, T., Pontelli, E.: CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinform. 12, 98 (2011)","journal-title":"BMC Bioinform."},{"issue":"4\u20136","key":"26_CR12","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1017\/S1471068410000219","volume":"10","author":"H Christiansen","year":"2010","unstructured":"Christiansen, H., Have, C.T., Lassen, O.T., Petit, M.: Inference with constrained hidden markov models in PRISM. Theory Pract. Logic Program. 10(4\u20136), 449\u2013464 (2010)","journal-title":"Theory Pract. Logic Program."},{"issue":"2","key":"26_CR13","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0010-4809(90)90014-4","volume":"23","author":"G Cooper","year":"1990","unstructured":"Cooper, G., Friedman, J.M.: Interpreting chromosomal abnormalities using Prolog. Comput. Biomed. Res. 23(2), 153\u2013164 (1990)","journal-title":"Comput. Biomed. Res."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Crescenzi, P., Goldman, D., Papadimitrou, C., Piccolboni, A., Yannakakis, M.: On the complexity of protein folding. In: Proceedings of STOC, pp. 597\u2013603 (1998)","DOI":"10.1145\/276698.276875"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A Dal Pal\u00f9","year":"2004","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinform. 5, 186 (2004)","journal-title":"BMC Bioinform."},{"issue":"4\u20136","key":"26_CR16","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1017\/S1471068410000372","volume":"10","author":"A Dal Pal\u00f9","year":"2010","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F., Pontelli, E.: CLP-based protein fragment assembly. Theory Pract. Logic Program. 10(4\u20136), 709\u2013724 (2010)","journal-title":"Theory Pract. Logic Program."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Formisano, A., Pontelli, E.: Exploring life: answer set programming in bioinformatics. In: Kifer, M., Liu, Y.A. (eds.) Declarative Logic Programming: Theory, Systems, and Applications, pp. 359\u2013412. ACM \/ Morgan & Claypool (2018)","DOI":"10.1145\/3191315.3191323"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"1594","DOI":"10.1039\/c3mb25551d","volume":"9","author":"D De Maeyer","year":"2013","unstructured":"De Maeyer, D., Renkens, J., Cloots, L., De Raedt, L., Marchal, K.: PheNetic: network-based interpretation of unstructured gene lists in E. coli. Mol. BioSyst. 9, 1594\u20131603 (2013)","journal-title":"Mol. BioSyst."},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-030-60327-4_4","volume-title":"Computational Methods in Systems Biology","author":"\u00c9 Degrand","year":"2020","unstructured":"Degrand, \u00c9., Fages, F., Soliman, S.: Graphical conditions for rate independence in chemical reaction networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 61\u201378. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_4"},{"issue":"3","key":"26_CR20","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1006\/geno.1994.1541","volume":"23","author":"S Dong","year":"1994","unstructured":"Dong, S., Searls, D.B.: Gene structure prediction by linguistic methods. Genomics 23(3), 540\u2013551 (1994)","journal-title":"Genomics"},{"issue":"6","key":"26_CR21","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1017\/S1471068422000059","volume":"22","author":"A Dovier","year":"2022","unstructured":"Dovier, A., Formisano, A., Gupta, G., Hermenegildo, M.V., Pontelli, E., Rocha, R.: Parallel logic programming: a sequel. Theory Pract. Log. Program. 22(6), 905\u2013973 (2022)","journal-title":"Theory Pract. Log. Program."},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-20832-4_26","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"E Erdem","year":"2011","unstructured":"Erdem, E.: Applications of answer set programming in phylogenetic systematics. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS (LNAI), vol. 6565, pp. 415\u2013431. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20832-4_26"},{"issue":"3","key":"26_CR23","first-page":"53","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"26_CR24","unstructured":"EvoInfo Working Group: PhyloWS: Phyloinformatics Web Services API. https:\/\/evoinfo.nescent.org\/PhyloWS (2009)"},{"key":"26_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-25974-9_9","volume-title":"Computational Methods in Systems Biology","author":"E Fanchon","year":"2005","unstructured":"Fanchon, E., Corblin, F., Trilling, L., Hermant, B., Gulino, D.: Modeling the molecular network controlling adhesion between human endothelial cells: inference and simulation using constraint logic programming. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS, vol. 3082, pp. 104\u2013118. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-25974-9_9"},{"issue":"3","key":"26_CR26","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., et al.: Inference and learning in probabilistic logic programs using weighted boolean formulas. Theory Pract. Logic Program. 15(3), 358\u2013401 (2015)","journal-title":"Theory Pract. Logic Program."},{"issue":"5","key":"26_CR27","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/0300-9084(96)84761-4","volume":"78","author":"T Gaasterland","year":"1996","unstructured":"Gaasterland, T., Sensen, C.W.: Fully automated genome analysis that reflects user needs and preferences. A detailed introduction to the MAGPIE system architecture. Biochimie 78(5), 302\u2013310 (1996)","journal-title":"Biochimie"},{"key":"26_CR28","unstructured":"Gaasterland, T., Selkov, E.: Reconstruction of metabolic networks using incomplete information. In: Rawlings, C.J., Clark, D.A., Altman, R.B., Hunter, L., Lengauer, T., Wodak, S.J. (eds.) Proceedings of the Third International Conference on Intelligent Systems for Molecular Biology, Cambridge, United Kingdom, 16\u201319 July 1995, pp. 127\u2013135. AAAI (1995)"},{"key":"26_CR29","unstructured":"Gon\u00e7alves, A., Ong, I.M., Lewis, J.A., Santos Costa, V.: A Problog model for analyzing gene regulatory networks. In: Riguzzi, F., Zelezn\u00fd, F. (eds.) Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, Dubrovnik, Croatia, 17\u201319 September 2012. CEUR Workshop Proceedings, vol. 975, pp. 38\u201343. CEUR-WS.org (2012)"},{"key":"26_CR30","unstructured":"Goodman, N., Rozen, S., Stein, L.: Requirements for a deductive query language in the mapbase genome-mapping database. In: Ramakrishnan, R. (ed.) Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993. Technical Report, vol. 1183, pp. 18\u201332. University of Wisconsin (1993)"},{"key":"26_CR31","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1186\/1471-2105-10-298","volume":"10","author":"P Gouret","year":"2009","unstructured":"Gouret, P., Thompson, J.D., Pontarotti, P.: PhyloPattern: regular expressions to identify complex patterns in phylogenetic trees. BMC Bioinformatics 10, 298 (2009)","journal-title":"BMC Bioinformatics"},{"key":"26_CR32","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1186\/1471-2105-6-198","volume":"6","author":"P Gouret","year":"2005","unstructured":"Gouret, P., Vitiello, V., Balandraud, N., Gilles, A., Pontarotti, P., Danchin, E.G.J.: FIGENIX: intelligent automation of genomic annotation: expertise integration in a new software platform. BMC Bioinform. 6, 198 (2005)","journal-title":"BMC Bioinform."},{"issue":"4","key":"26_CR33","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/protein\/3.4.235","volume":"3","author":"PMD Gray","year":"1990","unstructured":"Gray, P.M.D., Paton, N.W., Kemp, G.J.L., Fothergill, J.E.: An object-oriented database for protein structure analysis. Protein Eng. Des. Sel. 3(4), 235\u2013243 (1990)","journal-title":"Protein Eng. Des. Sel."},{"key":"26_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45587-6_7","volume-title":"Practical Aspects of Declarative Languages","author":"G Gupta","year":"2002","unstructured":"Gupta, G., et al.: Semantics-based filtering: logic programming\u2019s Killer app. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 82\u2013100. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45587-6_7"},{"key":"26_CR35","unstructured":"Gupta, G., et al.: Prolog: past, present, and future. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: 50 Years of Future, LNAI 13900, pp. 48\u201361. Springer, Cham (2023)"},{"issue":"7","key":"26_CR36","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1093\/bioinformatics\/btm016","volume":"23","author":"K Hanekamp","year":"2007","unstructured":"Hanekamp, K., Bohnebeck, U., Beszteri, B., Valentin, K.: PhyloGena - a user-friendly system for automated phylogenetic annotation of unknown sequences. Bioinformatics 23(7), 793\u2013801 (2007)","journal-title":"Bioinformatics"},{"key":"26_CR37","unstructured":"Hearne, C., Cui, Z., Parsons, S., Hajnal, S., et al.: Prototyping a genetics deductive database. In: ISMB. vol. 2, pp. 170\u2013178 (1994)"},{"key":"26_CR38","unstructured":"Heidtke, K.R., Schulze-Kremer, S.: BioSim: a new qualitative simulation environment for molecular biology. In: Glasgow, J.I., Littlejohn, T.G., Major, F., Lathrop, R.H., Sankoff, D., Sensen, C.W. (eds.) Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology (ISMB-98), Montr\u00e9al, Qu\u00e9bec, Canada, 28 June - 1 July, 1998. pp. 85\u201394. AAAI (1998)"},{"key":"26_CR39","first-page":"339","volume":"4","author":"T Ishikawa","year":"1993","unstructured":"Ishikawa, T., Terano, T.: Using analogical reasoning to predict a protein structure. Genome Inform. 4, 339\u2013346 (1993)","journal-title":"Genome Inform."},{"key":"26_CR40","unstructured":"Ishikawa, T., Terano, T.: How to predict it: inductive prediction by analogy using taxonomic information. In: Proceedings of the Third International Conference on Multistrategy Learning, pp. 285\u2013293. AAAI Press (1996)"},{"issue":"1","key":"26_CR41","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1109\/TCBB.2016.2520943","volume":"14","author":"HM Jamil","year":"2017","unstructured":"Jamil, H.M.: A visual interface for querying heterogeneous phylogenetic databases. IEEE ACM Trans. Comput. Biol. Bioinform. 14(1), 131\u2013144 (2017)","journal-title":"IEEE ACM Trans. Comput. Biol. Bioinform."},{"issue":"5","key":"26_CR42","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/TCBB.2017.2743706","volume":"15","author":"HM Jamil","year":"2018","unstructured":"Jamil, H.M.: Optimizing phylogenetic queries for performance. IEEE ACM Trans. Comput. Biol. Bioinform. 15(5), 1692\u20131705 (2018)","journal-title":"IEEE ACM Trans. Comput. Biol. Bioinform."},{"key":"26_CR43","unstructured":"Joubert, M., Fieschi, M., Fieschi, D., Roux, M.: Medical decision aid: Logic bases of the system SPHINX. In: Caneghem, M.V. (ed.) Proceedings of the First International Logic Programming Conference, Facult\u00e9 des Science de Luminy, ADDP-GIA, Marseille, France, September, 14\u201317, 1982, pp. 210\u2013214. ADDP-GIA (1982)"},{"key":"26_CR44","doi-asserted-by":"crossref","unstructured":"Kazic, T.: Representation, reasoning and the intermediary metabolism of Escherichia coli. In: Proceedings of the Annual Hawaii International Conference on System Sciences, vol. 1, pp. 853\u2013862 (1993)","DOI":"10.1109\/HICSS.1993.270605"},{"key":"26_CR45","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1021\/bk-1994-0576.ch026","volume-title":"Molecular Modeling","author":"T Kazic","year":"1994","unstructured":"Kazic, T.: Representation of biochemistry for modeling organisms. In: Kumosinski, T.F., Liebman, M.N. (eds.) Molecular Modeling, pp. 486\u2013494. American Chemical Society, Washington, DC (1994)"},{"issue":"4","key":"26_CR46","first-page":"357","volume":"6","author":"GJL Kemp","year":"1990","unstructured":"Kemp, G.J.L., Gray, P.M.D.: Finding hydrophobic microdomains using an object-oriented database. Comput. Appl. Biosci. 6(4), 357\u2013363 (1990)","journal-title":"Comput. Appl. Biosci."},{"key":"26_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-58183-9_57","volume-title":"Applications of Databases","author":"GJL Kemp","year":"1994","unstructured":"Kemp, G.J.L., Jiao, Z., Gray, P.M.D., Fothergill, J.E.: Combining computation with database access in biomolecular computing. In: Litwin, W., Risch, T. (eds.) ADB 1994. LNCS, vol. 819, pp. 317\u2013335. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58183-9_57"},{"issue":"3","key":"26_CR48","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1093\/bioinformatics\/17.3.226","volume":"17","author":"S Leung","year":"2001","unstructured":"Leung, S., Mellish, C., Robertson, D.: Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences. Bioinform. 17(3), 226\u2013236 (2001)","journal-title":"Bioinform."},{"key":"26_CR49","unstructured":"Lusk, E.L., Overbeek, R.A., Mudambi, S., Szeredi, P.: Applications of the aurora parallel Prolog system to computational molecular biology. In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP\u201992, Washington, DC, USA, November 1992 (1992)"},{"issue":"1","key":"26_CR50","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/nar\/12.1Part2.633","volume":"12","author":"A Lyall","year":"1984","unstructured":"Lyall, A., Hammond, P., Brough, D., Glover, D.: BIOLOG - a DNA sequence analysis system in Prolog. Nucleic Acids Res. 12(1), 633\u2013642 (1984)","journal-title":"Nucleic Acids Res."},{"key":"26_CR51","doi-asserted-by":"crossref","unstructured":"MacKay, K., Carlsson, M., Kusalik, A.: GeneRHi-C: 3D GENomE reconstruction from Hi-C data. In: Proceedings of the 10th International Conference on Computational Systems-Biology and Bioinformatics, CSBIO 2019. ACM (2019)","DOI":"10.1145\/3365953.3365962"},{"issue":"4","key":"26_CR52","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1093\/sysbio\/46.4.590","volume":"46","author":"D Maddison","year":"1997","unstructured":"Maddison, D., Swofford, D., Maddison, W.: NEXUS: an extensible file format for systematic information. Syst. Biol. 46(4), 590\u2013621 (1997)","journal-title":"Syst. Biol."},{"key":"26_CR53","doi-asserted-by":"crossref","unstructured":"Meneghetti, A.: Exploiting fashion features for floor storage systems in the shoe industry. Int. J. Eng. Bus. Manage. 5, SPL.ISSUE (2013)","DOI":"10.5772\/56834"},{"issue":"5","key":"26_CR54","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1093\/bioinformatics\/btr698","volume":"28","author":"S M\u00f8rk","year":"2012","unstructured":"M\u00f8rk, S., Holmes, I.: Evaluating bacterial gene-finding hmm structures as probabilistic logic programs. Bioinformatics 28(5), 636\u2013642 (2012)","journal-title":"Bioinformatics"},{"issue":"3\u20134","key":"26_CR55","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. N. Gener. Comput. 13(3\u20134), 245\u2013286 (1995)","journal-title":"N. Gener. Comput."},{"key":"26_CR56","doi-asserted-by":"crossref","unstructured":"Muggleton, S., King, R.D., Sternberg, M.J.E.: Using logic for protein structure prediction. In: Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, vol. 1, pp. 685\u2013696 (1992)","DOI":"10.1109\/HICSS.1992.183221"},{"key":"26_CR57","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-49292-5_29","volume-title":"Discovey Science","author":"S Muggleton","year":"1998","unstructured":"Muggleton, S., Srinivasan, A., King, R.D., Sternberg, M.J.E.: Biochemical knowledge discovery using inductive logic programming. In: Arikawa, S., Motoda, H. (eds.) DS 1998. LNCS (LNAI), vol. 1532, pp. 326\u2013341. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49292-5_29"},{"key":"26_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02846-5_1","volume":"5649","author":"C Mungall","year":"2009","unstructured":"Mungall, C.: Experiences using logic programming in bioinformatics. Lect. Notes Comput. Sci. 5649, 1\u201321 (2009)","journal-title":"Lect. Notes Comput. Sci."},{"key":"26_CR59","doi-asserted-by":"crossref","unstructured":"Nakhleh, L., Miranker, D.P., Barban\u00e7on, F., Piel, W.H., Donoghue, M.J.: Requirements of phylogenetic databases. In: 3rd IEEE International Symposium on BioInformatics and BioEngineering (BIBE) 2003, 10\u201312 March 2003, Bethesda, MD, USA, pp. 141\u2013148. IEEE Computer Society (2003)","DOI":"10.1109\/BIBE.2003.1188940"},{"issue":"3\u20134","key":"26_CR60","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1017\/S1471068418000236","volume":"18","author":"TH Nguyen","year":"2018","unstructured":"Nguyen, T.H., Pontelli, E., Son, T.C.: Phylotastic: an experiment in creating, manipulating, and evolving phylogenetic biology workflows using logic programming. Theory Pract. Logic Program. 18(3\u20134), 656\u2013672 (2018)","journal-title":"Theory Pract. Logic Program."},{"key":"26_CR61","unstructured":"Overbeek, R.A.: Logic programming and genetic sequence analysis: a tutorial. In: Apt, K.R. (ed.) Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992, pp. 32\u201334. MIT Press (1992)"},{"key":"26_CR62","doi-asserted-by":"publisher","unstructured":"Pan, Y., Pontelli, E., Son, T.: BSIS: an experiment in automating bioinformatics tasks through intelligent workflow construction. In: Chen, H., Wang, Y., Cheung, K.H. (eds.) Semantic e-Science, pp. 189\u2013238. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-1-4419-5908-9_6","DOI":"10.1007\/978-1-4419-5908-9_6"},{"key":"26_CR63","doi-asserted-by":"publisher","first-page":"47","DOI":"10.4137\/EBO.S2320","volume":"5","author":"F Prosdocimi","year":"2009","unstructured":"Prosdocimi, F., Chisham, B., Pontelli, E., Thompson, J., Stoltzfus, A.: Initial Implementation of a Comparative Data Analysis Ontology. Evol. Bioinforma. 5, 47\u201366 (2009)","journal-title":"Evol. Bioinforma."},{"issue":"4","key":"26_CR64","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0263-7855(85)80027-8","volume":"3","author":"CJ Rawlings","year":"1985","unstructured":"Rawlings, C.J., Taylor, W.R., Nyakairu, J., Fox, J., Sternberg, M.J.E.: Reasoning about protein topology using the logic programming language Prolog. J. Mol. Graph. 3(4), 151\u2013157 (1985)","journal-title":"J. Mol. Graph."},{"key":"26_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/3-540-16492-8_101","volume-title":"Third International Conference on Logic Programming","author":"CJ Rawlings","year":"1986","unstructured":"Rawlings, C.J., Taylor, W.R., Taylor, W.R., Nyakairu, J., Fox, J., Sternberg, M.J.E.: Using prolog to represent and reason about protein structure. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol. 225, pp. 536\u2013543. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/3-540-16492-8_101"},{"key":"26_CR66","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.ijar.2017.09.007","volume":"91","author":"F Riguzzi","year":"2017","unstructured":"Riguzzi, F., Cota, G., Bellodi, E., Zese, R.: Causal inference in cplint. Int. J. Approx. Reason. 91, 216\u2013232 (2017)","journal-title":"Int. J. Approx. Reason."},{"issue":"5","key":"26_CR67","first-page":"415","volume":"12","author":"DA Rosenblueth","year":"1996","unstructured":"Rosenblueth, D.A., Thieffry, D., Huerta, A.M., Salgado, H., Collado-Vides, J.: Syntactic recognition of regulatory regions in Escherichia coli. Comput. Appl. Biosci. 12(5), 415\u2013422 (1996)","journal-title":"Comput. Appl. Biosci."},{"issue":"3","key":"26_CR68","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0169-2607(89)90152-1","volume":"28","author":"J Saldanha","year":"1989","unstructured":"Saldanha, J., Eccles, J.R.: GENPRO: automatic generation of Prolog clause files for knowledge-based systems in the biomedical sciences. Comput. Methods Programs Biomed. 28(3), 207\u2013214 (1989)","journal-title":"Comput. Methods Programs Biomed."},{"issue":"4","key":"26_CR69","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/bioinformatics\/7.4.515","volume":"7","author":"J Saldanha","year":"1991","unstructured":"Saldanha, J., Eccles, J.R.: The application of SSADM to modelling the logical structure of proteins. Bioinformatics 7(4), 515\u2013524 (1991)","journal-title":"Bioinformatics"},{"issue":"5","key":"26_CR70","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/protein\/4.5.539","volume":"4","author":"J Saldanha","year":"1991","unstructured":"Saldanha, J., Mahadevan, D.: Molecular model-building of amylin and $$\\alpha $$-calcitonin gene-related polypeptide hormones using a combination of knowledge sources. Protein Eng. Des. Sel. 4(5), 539\u2013544 (1991)","journal-title":"Protein Eng. Des. Sel."},{"key":"26_CR71","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th International Conference on Logic Programming (ICLP 95), pp. 715\u2013729 (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"26_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-49481-2_30","volume-title":"Principles and Practice of Constraint Programming \u2014 CP98","author":"P Shaw","year":"1998","unstructured":"Shaw, P.: Using constraint programming and local search methods to solve vehicle routing problems. In: Maher, M., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 417\u2013431. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49481-2_30"},{"key":"26_CR73","unstructured":"Shu, W., Lan, J.: Design a pathway\/genome expert system using a Prolog machine incorporated with a parallel hardware searcher. In: Proceedings of the Asia Pacific Association of Medical Informatics, APAMI, pp. 9\u201314 (2006)"},{"issue":"9","key":"26_CR74","doi-asserted-by":"publisher","first-page":"2479","DOI":"10.1074\/mcp.M115.048090","volume":"14","author":"J Stebbing","year":"2015","unstructured":"Stebbing, J., et al.: Characterization of the tyrosine kinase-regulated proteome in breast cancer by combined use of RNA interference (rnai) and stable isotope labeling with amino acids in cell culture (silac) quantitative proteomics. Mol. Cell. Proteomics 14(9), 2479\u20132492 (2015)","journal-title":"Mol. Cell. Proteomics"},{"issue":"3\u20134","key":"26_CR75","doi-asserted-by":"publisher","first-page":"299","DOI":"10.3233\/FI-2020-1975","volume":"176","author":"A Tarzariol","year":"2020","unstructured":"Tarzariol, A., Zanazzo, E., Dovier, A., Policriti, A.: Towards a logic programming tool for cancer data analysis. Fundam. Informaticae 176(3\u20134), 299\u2013319 (2020)","journal-title":"Fundam. Informaticae"},{"key":"26_CR76","unstructured":"Todd, S., Morffew, A., Burridge, J.: Application of relational database and graphics to the molecular sciences. In: Longstaff, J. (ed.) Proceedings of the Third British National Conference on Databases (BNCOD) 3, Leeds, UK, July 11\u201313, 1984, pp. 1\u201313. Cambridge University Press (1984)"},{"key":"26_CR77","unstructured":"Tsur, S., Olken, F., Naor, D.: Deductive databases for genomic mapping (extended abstract). In: Chomicki, J. (ed.) Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990. Technical Report, vol. TR-CS-90-14. Kansas State University (1990)"},{"key":"26_CR78","unstructured":"Turcotte, M., Muggleton, S., Sternberg, M.J.E.: Use of inductive logic programming to learn principles of protein structure. Electron. Trans. Artif. Intell. 4(B), 119\u2013124 (2000)"},{"issue":"1","key":"26_CR79","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0097-8485(01)00100-0","volume":"26","author":"M Turcotte","year":"2002","unstructured":"Turcotte, M., Muggleton, S., Sternberg, M.J.E.: Generating protein three-dimensional fold signatures using inductive logic programming. Comput. Chem. 26(1), 57\u201364 (2002)","journal-title":"Comput. Chem."},{"key":"26_CR80","volume-title":"Constraint-Based Local Search","author":"P Van Hentenryck","year":"2005","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)"},{"key":"26_CR81","unstructured":"Warren, D.S.: Introduction to Prolog. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: 50 Years of Future, LNAI 13900, pp. 3\u201319. Springer, Cham (2023)"},{"key":"26_CR82","doi-asserted-by":"crossref","unstructured":"Wong, W.K.C.: Logic programming and deductive databases for genomic computations: A comparison between Prolog and LDL. In: Proceedings of the Annual Hawaii International Conference on System Sciences. vol. 1, pp. 834\u2013843. IEEE Computer Society (1993)","DOI":"10.1109\/HICSS.1993.270607"},{"key":"26_CR83","unstructured":"Yoshida, K., et al.: Toward a human genome encyclopedia. In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1\u20135, Tokyo, Japan, pp. 307\u2013320. IOS Press (1992)"},{"issue":"3","key":"26_CR84","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1093\/bioinformatics\/btf871","volume":"19","author":"B Zupan","year":"2003","unstructured":"Zupan, B., et al.: GenePath: a system for automated construction of genetic networks from mutant data. Bioinform. 19(3), 383\u2013389 (2003)","journal-title":"Bioinform."}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T12:16:32Z","timestamp":1729599392000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":84,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}