University at Buffalo 3 credits Biomedical Informatics
This course introduces students to logic programming (LP). The course starts with an informal introduction to logic, its relation to LP, and how LP is used for natural language processing, knowledge discovery, inductive machine learning, verification of deep learning models, and the development of ontologies. Using Prolog as a declarative programming language, students will perform guided exercises covering the basics of unification, back tracking, forward chaining, input- and output and database management. The second part of the course consists of various exercises using SemMedDb’s 117 million predications derived from medical abstracts, making students familiar with the challenges involved in logically inconsistent big databases and how logic programming can be used to find and work with inconsistencies. In the third part, students will as a final course project use Prolog to build a small application solving one or other life science problem of their choice.
Our subject experts help with essays, research papers, case studies, discussion posts, and capstone projects for these programs — written from scratch to your course requirements.
Program and course information is reproduced from each university's published academic catalog for informational purposes and may change. Always confirm current requirements with your university. We are an independent academic support service and are not affiliated with or endorsed by the universities listed.
Expert guides on essay writing, citation styles, study skills, and academic success.
View All Articles
Learn how to write a good research question for a paper. Narrow your topic, identify a research problem, and create a focused question with practical examples.
Learn how to choose a research topic you can actually research. Discover how to narrow broad ideas, find reliable sources, and develop a focused research question.
Learn how to cite sources in a research paper using APA, MLA, and Chicago styles, with in-text citation examples and reference-list tips.