Lập trình logic là một mẫu hình lập trình dựa trên logic toán trong các mối quan hệ và các suy luận.[1] Các chương trình được viết trong các Ngôn ngữ lập trình logic là các tập hợp câu logic, thể hiện sự thật và các luật về một vài vùng vấn đề nào đó. Cùng với các thuật toán suy luận, chúng hình thành nên chương trình. Các lập trình logic chính bao gồm Prolog và Datalog.
|
---|
Paradigm | |
---|
Cấp độ | |
---|
Có liên quan | |
---|
Kiến thức tính toán |
---|
Các chủ đề và các khái niệm | |
---|
Các đề xuất và các thực thi |
- Zairja
- Ramon Llull#Ars generalis ultima (Ars Magna) (Ramon Llull, 1300)
- An Essay towards a Real Character and a Philosophical Language (John Wilkins, 1688)
- Calculus ratiocinator & Characteristica universalis (Gottfried Leibniz, 1700)
- Dewey Decimal Classification (Melvil Dewey, 1876)
- Begriffsschrift (Gottlob Frege, 1879)
- Mundaneum (Paul Otlet & Henri La Fontaine, 1910)
- Logical atomism (Bertrand Russell, 1918)
- Tractatus Logico-Philosophicus (Ludwig Wittgenstein, 1921)
- Hilbert's program (David Hilbert, 1920s)
- Gödel's incompleteness theorems (Kurt Gödel, 1931)
- Memex (Vannevar Bush, 1945)
- Prolog (1972)
- Cyc (1984)
- Mạng ngữ nghĩa (2001)
- Evi (software) (Evi (software), 2007)
- Alpha (Wolfram Research, 2009)
- Watson (IBM, 2011)
- Siri (Apple Inc., 2011)
- Knowledge Graph (Google, 2012)
- Wikidata (Quỹ Wikimedia, 2012)
- Cortana (2014)
- Viv (2016)
|
---|
Tiểu thuyết | |
---|