stanford-oval/wikipedia huggingface dataset:
Walet polos
Perilaku > Perkembangbiakan

Spesies ini bersarang dalam koloni di dalam gua dimana spesies ini menggunakan kemampuan ekolokasinya untuk bernavigasi di dalam gua. Sarang spesies ini berbentuk menyerupai mangkuk yang dangkal, dan dibuat menggunakan bahan yang berlumut yang dicampur dengan air liur walet itu sendiri. Sarang walet ini biasanya diletakkan pada permukaan dinding gua yang vertikal pada zona gua yang selalu gelap. Di Guam, tanaman Neckeropsis lepiniana digunakan sebagai bahan pembuatan sarang, sementara di Hawaii tanaman dari genus Herberta digunakan sebagai bahan pembuatan sarang. Sarang walet ini biasanya berisi satu atau dua butir telur. Lama masa inkubasi telurnya kurang lebih dua belas hari dan burung walet muda akan melakukan penerbangan perdananya sekitar tigapuluh lima hari setelah menetas.
Status

Walet polos memiliki daerah sebaran yang sangat luas dan sangat umum untuk dijumpai di beberapa tempat di dalam kawasan sebarannya. Populasi walet ini belum dikuantifikasi, namun dipercayai masih memiliki populasi yang stabil. Burung ini tidak menghadapi ancaman yang khusus, sehingga IUCN mengkategorikan spesies ini kedalam kategori "Risiko Rendah"
Pakkat Hauagong, Pakkat, Humbang Hasundutan

Pakkat Hauagong merupakan salah satu kelurahan yang ada di kecamatan Pakkat, Kabupaten Humbang Hasundutan, provinsi Sumatera Utara, Indonesia.
Demografi > Agama

Mayoritas penduduk Kelurahan Pakkat Hauagong memeluk agama Kristen.
| Agama di Kelurahan Pakkat Hauagong (2024) |
| --- | --- | --- | --- | --- |
| Agama |  |  | Persen |  |
| Islam | Islam |    | 11,91% | 11,91% |
| Kristen Protestan | Kristen Protestan |    | 61,25% | 61,25% |
| Kristen Katolik | Kristen Katolik |    | 26,82% | 26,82% |
| Hindu | Hindu |    | 0,00% | 0,00% |
| Buddha | Buddha |    | 0,00% | 0,00% |
| Konghucu | Konghucu |    | 0,00% | 0,00% |
| Kepercayaan terhadap Tuhan YME | Kepercayaan terhadap Tuhan YME |    | 0,00% | 0,00% |
Galeri

Tugu Tuan Sumerham Rambe di Kelurahan Pakkat Hauagong
Beruang kepulauan abc

| Beruang kepulauan abc |
| --- | --- |

Di Bronx Zoo
Status konservasi
 Risiko Rendah  (IUCN 3.1) (Kepulauan ABC)
Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Chordata
Kelas:: Mammalia
Ordo:: Carnivora
Famili:: Ursidae
Genus:: Ursus
Spesies:: U. arctos × U. maritimus
Subspesies:: U. a. sitkensis
Nama trinomial
Ursus arctos sitkensis Merriam, 1896
Beruang kepulauan abc atau beruang cokelat sitka (Ursus arctos sitkensis) adalah subspesies atau populasi beruang cokelat yang menghuni Alaska Tenggara dam ditemukan di Pulau Admiralty, Pulau Baranof, dan Pulau Chichagof di Alaska (dalam percakapan sehari-hari disebut Kepulauan ABC), dan merupakan bagian dari Kepulauan Alexander. Beruang ini memiliki struktur genetik yang unik yang menghubungkannya tidak hanya dengan beruang cokelat, melainkan juga dengan beruang kutub. Habitatnya berada di Hutan Nasional Tongass, yang merupakan bagian dari zona hutan hujan perhumid.
| --- | --- |
Pengidentifikasi takson:  Wikidata: Q11704940  Wikispecies: Ursus arctos sitkensis  EoL: 1266085  GBIF: 6163856  iNaturalist: 147159  ITIS: 726994  MSW: 14000984 
↑  "IUCN Brown Bear subspecies status". Diakses tanggal August 29, 2022.
↑  Stephens, Tim (March 14, 2013). "DNA Study Clarifies Relationship Between Polar Bears and Brown Bears". University of California, Santa Cruz Newscenter. Diakses tanggal 2017-08-01.
Andeca Andeci

"Andeca Andeci" adalah sebuah lagu yang diciptakan dan dinyanyikan oleh penyanyi asal Indonesia, Oslan Husein, diiringi orkes Gema Irama pimpinan Jack Lesmana, serta pertama kali muncul dalam film Kasih Tak Sampai pada tahun 1961. Lagu ini kemudian dirilis sebagai singel pada tahun 1962. Di sisi-B dari singel ini terdapat lagu "Ko' Untuang" yang juga dinyanyikan oleh Oslan Husein. Pada tahun 1964, lagu ini dirilis pada album kompilasi Oslan Husein sebagai lagu keenam pada album tersebut.
Lagu ini merupakan salah satu karyanya yang paling terkenal serta telah menghasilkan beberapa versi daur ulang.
Versi lain

Pelawak Kasino serta penyanyi dangdut Elvy Sukaesih menyanyikan lagu "Andeca Andeci" versi duet pada film Warkop DKI berjudul Mana Tahaaan... dan album jalur suara yang bernama sama pada tahun 1979. Lagu ini juga dinyanyikan oleh semua personel Warkop, yakni Dono, Kasino, Nanu dan Indro dalam rilisan kaset Warkop Prambors edisi pertama yang dirilis di tahun yang sama. Lagu ini kembali didaur ulang pada album jalur suara film Warkop DKI Reborn: Jangkrik Boss! Part 1 pada tahun 2016.
Adul, Andre Taulany, Aziz Gagap, Nunung, Opie Kumis, Parto dan Sule dari Opera Van Java mempopulerkan kembali lagu "Andeca Andeci" dengan menyanyikan versi parodi dari lagu tersebut pada tahun 2011 hingga 2013. Pada salah satu kesempatan, mereka memelesetkan grup vokal 7 Icons menjadi "7 Ikans" dalam sebuah video klip lagu "Andeca Andeci". Lagu ini mengambil warna musik penggabungan antara musik chà-chà-chà dan nu metal ala Linkin Park era album Hybrid Theory (dalam lagu "Papercut") dan Meteora (dalam lagu "Somewhere I Belong", "From The Inside" dan "Don't Stay") dengan musik Samba dan irama senam SKJ.
Musbro dan Delima, kontestan dari Kontes Dangdut Indonesia 2018 menyanyikan lagu "Andeca Andeci" sebagai jalur suara dari sinetron berjudul Tamu Tak Diundang pada tahun 2019.
Pranala luar

Andetja Andetji / Ko' Untuang di Discogs
(Indonesia) Andetja Andetji / Ko' Untuang di Irama Nusantara
Berkik-puyuh

| Berkik-puyuh    |
| --- | --- |
Thinocoridae 
 Berkik-puyuh kecil 
Taksonomi

Kelas: Aves
Ordo: Charadriiformes
Famili: Thinocoridae  Gray, 1845
 
 
Berkik-puyuh adalah famili kecil, Thinocoridae, dari burung perandai kecil yang suka berteman yang telah beradaptasi dengan pola makan herbivora . Keluarga ini terbagi menjadi dua genera, Attagis dan Thinocorus, masing-masing berisi dua spesies. Keluarga ini mempunyai sebaran di Amerika Selatan, di wilayah Andean dan Patagonian . Hubungan dengan keluarga lain dalam ordo Charadriiformes tidak pasti; Ada anggapan bahwa kelana-tanah Australia, burung-sepatu, dan berkik-kembang adalah kerabat terdekat mereka. Burung kelana-tanah khususnya memiliki ekologi makan yang serupa, meskipun biologi perkembangbiakannya sangat berbeda. Nama umum keluarga ini menyesatkan, karena mereka tidak menyerupai berkik sejati dan tidak berkerabat dekat dengan puyuh  Namun satu spesies Thinocorus rumicivorus diketahui memakan pelengkap kelopak bunga berdaging Calceolaria uniflora, spesies Scrophularaceae. Dalam proses memakan pelengkap kaya gula ini, mereka juga menyerbuki bunga.
Mereka menyerupai grouse, burung puyuh dan grouse tanah, hanya saja sayapnya panjang.  Berkik-puyuh dalam genus Thinocorus berukuran lebih kecil, mulai dari ukuran burung gereja hingga berkik sejati, sedangkan genus Attagis lebih besar, seukuran ptarmigan . Mereka memiliki kaki pendek (tetapi jari kaki panjang) dan ekor. Warna bulu mereka umumnya samar . Terdapat beberapa dimorfisme seksual pada bulu spesies Thinocorus, jantan memiliki wajah, leher, dan dada berwarna abu-abu.
Seedsnipes menghuni berbagai lingkungan yang keras, termasuk lahan rumput, padang rumput, gurun semi-kering, dan habitat pegunungan. Berkik-puyuh perut-merah dapat berpergian hingga ke garis salju (5500 m).
2–3 butir telurnya diletakkan di lubang dangkal di tanah.
Jenis

| Gambar | Marga | Jenis |
| --- | --- | --- |
| </img> | Attagis (Saint-Hilaire and Lesson, 1831) |  Berkik-puyuh perut-merah Attagis gayi  Berkik-puyuh perut-putih Attagis malouinus |
| </img> | Thinocorus Eschscholtz, 1829 |  Berkik-puyuh dada-kelabu Thinocorus orbignyanus  Berkik-puyuh kecil adalah Thinocorus rumicivorus |
Acmaeodera ornatoides

| Acmaeodera ornatoides |
| --- | --- |


Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Arthropoda
Kelas:: Insecta
Ordo:: Coleoptera
Famili:: Buprestidae
Genus:: Acmaeodera
Spesies:: Acmaeodera ornatoides

Acmaeodera ornatoides adalah spesies kumbang yang tergolong ke dalam famili Buprestidae. Spesies ini juga merupakan bagian dari ordo Coleoptera. Spesies Acmaeodera ornatoides sendiri merupakan bagian dari genus Acmaeodera.
Rura Tanjung, Pakkat, Humbang Hasundutan

Rura Tanjung merupakan salah satu desa yang ada di kecamatan Pakkat, Kabupaten Humbang Hasundutan, provinsi Sumatera Utara, Indonesia.
Pemerintahan

Desa Rura Tanjung terdiri dari empat dusun, yaitu:
Ambasang
Sihorbo
Sigalapang
Kode Ijuk
Demografi > Agama

Mayoritas penduduk Desa Rura Tanjung memeluk agama Kristen.
| Agama di Desa Rura Tanjung (2024) |
| --- | --- | --- | --- | --- |
| Agama |  |  | Persen |  |
| Islam | Islam |    | 13,88% | 13,88% |
| Kristen Protestan | Kristen Protestan |    | 78,13% | 78,13% |
| Kristen Katolik | Kristen Katolik |    | 7,97% | 7,97% |
| Hindu | Hindu |    | 0,00% | 0,00% |
| Buddha | Buddha |    | 0,00% | 0,00% |
| Konghucu | Konghucu |    | 0,00% | 0,00% |
| Kepercayaan terhadap Tuhan YME | Kepercayaan terhadap Tuhan YME |    | 0,00% | 0,00% |
Loke Siew Fook

Dalam artikel ini, nama keluarganya adalah .
| Yang Berhormat TuanAnthony Loke Siew FookAP |
| --- | --- |
陆兆福

 
Menteri Perhubungan
Petahana
Mulai menjabat  3 Desember 2022
Penguasa monarki: Abdullah
Perdana Menteri: Anwar Ibrahim
Pendahulu Wee Ka SiongPengganti Petahana
Daerah pemilihan: Seremban
Masa jabatan 21 Mei 2018 – 24 Februari 2020
Penguasa monarki: Muhammad V   (2018-2019)   Abdullah   (2019-2020)
Wakil: Kamarudin Jaffar
Pendahulu Liow Tiong LaiPengganti Wee Ka Siong
Daerah pemilihan: Seremban
Sekretaris Jenderal Partai Aksi Demokratis
Petahana
Mulai menjabat  20 Maret 2022
Wakil: V. Sivakumar Tengku Zulpuri Shah Raja Puji Liew Chin Tong
Ketua Partai: Lim Guan Eng
Pendahulu Lim Guan EngPengganti Petahana
Anggota Parlemen Malaysia dapil Seremban
Petahana
Mulai menjabat  5 Mei 2013
Pendahulu John Fernandez (DAP)Pengganti Petahana
Mayoritas: 30.841 (2022) 30.694 (2018) 12.553 (2013)
Anggota Parlemen Malaysia dapil Rasah
Masa jabatan 8 Maret 2008 – 5 Mei 2013
Pendahulu Goh Siow Huat   (BN-UMNOPengganti Siow Kim Leong
Mayoritas: 13.151 (2008)
Anggota Majelis Legislatif Negara Bagian Negeri Sembilan dapil Chennah
Petahana
Mulai menjabat  5 Mei 2013
Anggota Majelis Legislatif Negara Bagian Negeri Sembilan dapil Lobak
Masa jabatan 21 Maret 2004 – 5 Mei 2013
 
Informasi pribadi
Lahir: 5 Februari 1976 (umur 48) Seremban, Negeri Sembilan, Malaysia
Kebangsaan: Malaysia
Partai politik: DAP – PH
Almamater: Universitas Nasional Malaysia   Universitas Malaya
Pekerjaan: Politikus
   

Sunting kotak info • L • B
 
Loke Siew Fook (Hanzi sederhana: 陆兆福; Hanzi tradisional: 陸兆福; Pinyin: Lù Zhàofú; Yale (Bahasa Kanton): Luhk Siuh-fūk; Pe̍h-ōe-jī: Lio̍k Tiāu-ho̍k; lahir 28 April 1977) adalah seorang politikus Malaysia dan Anggota Parlemen untuk Seremban, Negeri Sembilan. Saat ini Loke menjabat sebagai Menteri Perhubungan dalam Kabinet Anwar Ibrahim setelah dilantik pada 3 Desember 2022. Sebelumnya ia juga menjabat di Departemen yang sama dalam Kabinet Mahathir Muhammad Ke VII dari tanggal 9 Mei 2018 - Februari 2020.
Loke adalah anggota Partai Aksi Demokratis (PAD), dan Ketua Majelis Negara Bagian tersebut untuk Lobak di Majelis Legislatif Negara Bagian Negeri Sembilan, bertindak sebagai Pemimpim Oposisi dalam majelis negara bagian tersebut. Ia adalah kepala Pemuda Sosialis PAD.
Kehidupan Awal dan Pendidikan

Anthony Loke Siew Fook lahir di Seremban, Negeri Sembilan dan menamatkan pendidikan di Institusi St. Paulus dan SMK Seri Ampangan. Kemudian ia menempuh pendidikan tinggi di Universiti Kebangsaan Malaysia pada tahun 2000 dengan mengambil pendidikan di pengembangan sains. Ia melanjutkan pendidikan S2-nya Universitas Malaya dengan mengambil konsentrasi Magister Administrasi Publik.
Political career

Pada tahun 1994, Loke bergabung dengan DAP pada umur 17 tahun, umur minimal yang disyaratkan untuk menjadi Anggota Partai DAP. Pada tahun 2004 Loke terpilih menjadi Anggota Dewan Undangan Negeri (DUN) Negeri Sembilan mewakili daerah Lobak dan mempertahankan kembali kursinya di Pemilu 2008. Pada pemilu 2008 ia juga terpilih sebagai Anggota Parlemen untuk daerah pemilihan Rasah. Sedangkan pada Pemilu 2013, dia bertukar daerah pemilihan di level federal dan daerah. Ia memenangkan pemilihan anggota DUN Negeri Sembilan di daerah pemilihan Chennah dan Seremban untuk Dewan Rakyat Malaysia.
Loke meminta maaf kepada Ketua Pakatan Harapan setelah lebih dari 40 baliho menampilkan pemimpin harus ditutupi setelah diarahkan oleh Komisi Pemilihan Umum Malaysia.
Loke mempertahankan kursinya di Seremban dan Chennah pada pemilu 2018 dengan mengalahkan calon dari MCA, Ching Sin Woon (untuk Parlemen) dan Seet Tee Gee (DUN Negeri Sembilan) dengan mayoritas suara 30.694 suara dan 1.115 suara.
Dalam Kabinet Pakatan Harapan Pertama, Loke menjadi Menteri Perhubungan dan diambil sumpahnya pada tanggal 21 Mei 2018 di Istana Negara.
Pada 20 Maret 2022 dalam Kongres Ke-17 DAP, Loke kembali terpilih kedalam Komite Eksekutif Pusat DAP dengan 1625 suara, menjadi suara tertinggi ke-3 setelah Gobind Singh dan Chow Kon Yeow. Dia diangkat menjadi Sekretaris Jenderal DAP setelah Lim Guan Eng mengundurkan diri dari jabatannya setelah 17 tahun menjabat
On 20 March 2022, on the 17th DAP National Congress, Loke was re-elected into the Central Executive Committee with 1625 votes, the 3rd highest vote, after Gobind Singh and Chow Kon Yeow. He was then appointed as DAP's 6th Secretary-general after Lim Guan Eng had stepped down from the role after 17 years.
Hasil Pemilihan

| Tahun | Dapil |  |  | Suara | % Suara | Calon Lawan | Calon Lawan | Suara | % Suara | Mayoritas |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2004 | N11 Lobak, P128 Seremban |  | Loke Siew Fook (DAP) | 5,991 | 59.08% |  | Khoo Seng Hock (MCA) | 4,149 | 40.98% | 1,842 |
| 2008 | N11 Lobak, P128 Seremban |  | Loke Siew Fook (DAP) | 9,244 | 80.00% |  | Siow Koi Loon (MCA) | 2,316 | 20.00% | 6,928 |
| 2013 | N1 Chennah, P126 Jelebu |  | Loke Siew Fook (DAP) | 5,128 | 55.99% |  | Siow Foo Wen (MCA) | 4,030 | 44.01% | 1,098 |
| 2018 | N1 Chennah, P126 Jelebu |  | Loke Siew Fook (DAP) | 5,031 | 50.91% |  | Seet Tee Gee (MCA) | 3,876 | 39.22% | 1,155 |
| 2018 | N1 Chennah, P126 Jelebu |  | Loke Siew Fook (DAP) | 5,031 | 50.91% |  | Jamalus Mansor (PAS) | 975 | 9.87% | 1,155 |
| Tahun | Dapil |  |  | Suara | % Suara | Calon Lawan | Calon Lawan | Suara | % Suara | Mayoritas |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2008 | P130 Rasah, N. Sembilan |  | Loke Siew Fook (DAP) | 34,271 | 61.87% |  | Yeow Chai Thiam (MCA) | 21,120 | 38.13% | 13,151 |
| 2013 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 45,628 | 53.12% |  | Yeow Chai Thiam (MCA) | 33,075 | 38.52% | 12,553 |
| 2013 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 45,628 | 53.12% |  | Abd Halim Abdullah (Berjasa) | 6,866 | 8.00% | 12,553 |
| 2013 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 45,628 | 53.12% |  | John Fernandez (IND) | 221 | 0.26% | 12,553 |
| 2013 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 45,628 | 53.12% |  | Bujang Abu (IND) | 83 | 0.10% | 12,553 |
| 2018 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 55,503 | 60.45% |  | Chong Sin Woon (MCA) | 24,809 | 27.02% | 30,694 |
| 2018 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 55,503 | 60.45% |  | Shariffuddin Ahmad (PAS) | 11,506 | 12.53% | 30,694 |
| 2022 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 63,916 | 51.84% |  | Mohd Fadli Che Me (PAS) | 33,075 | 26.83% | 30,841 |
| 2022 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 63,916 | 51.84% |  | Wong Yin Ting (MCA) | 24,584 | 19.94% | 30,841 |
| 2022 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 63,916 | 51.84% |  | Mohamad Jani Ismail (PEJUANG) | 1,336 | 1.08% | 30,841 |
| 2022 | P128 Seremban, N. Sembilan |  | Loke Siew Fook (DAP) | 63,916 | 51.84% |  | Izat Lesly (IND) | 373 | 0.3% | 30,841 |
|  | P128 Seremban, N. Sembilan |  |  |  |  |  |  |  |  |  |
Pranala luar

Loke's official blog
Loke Siew Fook di Facebook
Loke Siew Fook di Instagram
Blog resmi milik Loke
| l b Anggota Saat Ini Dewan Perwakilan Malaysia (Dewan Rakyat) dari Negeri Sembilan |
| --- | --- |
Barisan Nasional:  Zainudin Ismail (UMNO)  Mohd Isa Abdul Samad (UMNO)  Hassan Malek (UMNO)  Khairy Jamaluddin (UMNO)  Shaziman Abu Mansor (UMNO) 
Pakatan Rakyat:  Loke Siew Fook (PAD)  Teo Kok Seong (PAD)  Kamarul Bahrin Abbas (PKR) 
 Johor  Kedah  Kelantan  Malaka  Negeri Sembilan  Pahang  Penang  Perak  Perlis  Sabah  Selangor  Sarawak  Terengganu  Kuala Lumpur  Putrajaya  Labuan
Logika pemrograman

Templat:Paradigma Pemrograman
Logika Pemrograman adalah paradigma pemrograman yang sebagian besar didasari dalam logika formal. Seluruh program yang ditulis pada sebuah logika bahasa pemrograman adalah sekelompok kalimat-kalimat dalam bentuk logis, mengekspresikan fakta-fakta, dan peraturan-peraturan tentang beberapa permasalahan yang didalam bagian tersebut. Bahasa pemrograman logika sebagian besar termasuk Prolog, jawaban sekelompok pemrograman atau _answer set programming_ (ASP) dan Datalog. Dalam seluruh bahasa-bahasa berikut, peraturan-peraturannya ditulis dalam bentuk klausa:
dan telah dibaca secara deklaratif sebagai implikasi logis:
H disebut kepala atau _head_ dari peraturan dan B1, ..., Bn dipanggil badan atau body. Fakta-fakta adalah peraturan-peraturan yang tak memiliki badan, dan ditulis dalam bentuk simpleks:
Dalam kasus yang simpleks dimana H, B1, ..., Bn adalah semuanya formula atomik, klausa-klausa ini dipanggil klausa definit atau Klausa Horn. Namun, ada banyak ekstensi dari kasus simpleks ini, untuk kasus yang paling penting adalah dimaan kondisi-kondisinya dalam tubuh dari sebuah klausa, bisa juga dari negasi dari formula atomik. Bahasa pemrograman logis termasuk dalam ekstensi ini memiliki ilmu pengetahuan yang merepresentasikan kapabilitas dari logika non-monoton.
Dalam ASP atau _Answer Set Programming_ atau jawaban sekelompok pemrograman dan Datalog, program logika hanya memiliki satu bacaan dari deklaratif, dan eksekusinya adalah dilakukan dengan melakukan bukti prosedur atau model generator yang perilakunya tidak dimaksudkan untuk dikontrol oleh programmer. Namun, dalam keluarga bahasa Prolog, program logis juga memiliki interpretasi Prosedural sebagai prosedur reduksi tujuan:
Pertimbangkan juga klausa berikut sebagai contohnya:
Berdasarkan pada sebuah contoh digunakan oleh Terry Winograd  untuk mengiilustrasikan bahasa pemrograman Planner. Sebagai sebuah klausa dalam program logis, bisa digunakan sebagai prosedur untuk mengetes apakah X adalah bersalah dengan mengetes apakah X adalah manusia, dan sebagai prosedur untuk menemukan X dimana bersalah ditemukan sebuah X dimana seorang manusia Bahkan fakta-fakta memiliki interpretasi prosedural. Contoh, klausa:
bisa digunakan sebagai prosedur untuk menunjukkan bahwa sokrates adalah manusia, dan sebagai prosedur untuk mencari X adalah sebagai human dengan "memberikan" sokrates untuk X.
Pembacaan deklaratif untuk program logis bisa digunakan oleh programmer untuk memeriksa kebenarannya. Lebih lagi, berdasarkan logika program transformasi, teknik-tekniknya bisa dilakukan juga untuk mentransformasi program logika menjadi program ekuivalen secara logis yang sama-sama lebih efisien. Dalam keluarga bahasa pemrograman logika Prolog, seorang programmer bisa menggunakan perilaku penyelesaian masalah yang telah diketahui dari mekanisme eksekusi untuk meningkatkan efesiensi dari sebuah program.
Sejarah

Penggunaan logika matematika untuk merepresentasikan dan menjalankan program komputer juga merupakan fitur dari kalkulus lambda, yang dikembangkan oleh Alonzo Church pada tahun 1930-an. Namun, proposal pertama untuk menggunakan bentuk logika clausal untuk merepresentasikan program komputer dibuat oleh Cordell Green. Ini menggunakan aksiomatisasi subset dari LISP, bersama dengan representasi relasi masukan-keluaran, untuk menghitung relasi dengan mensimulasikan eksekusi program di LISP. Di sisi lain, Foster dan Elcock, menggunakan kombinasi persamaan dan kalkulus lambda dalam bahasa pemrograman asersi yang tak membatasi urutan dari operasi yang dilakukan.
Pemrograman logika sekarang dapat ditelusuri kembali ke perdebatan akhir tahun 1960-an dan awalh 1970-an tentang representasi pengetahuan deklaratif dengan prosedural di kecerdasan buatan.Para pendukung representasi deklaratif terutama bekerja di Stanford, terkait dengan John McCarthy, Bertram Raphael dan Cordell Green, dan di Edinburgh, dengan John Alan Robinson (pengunjung akademik dari Universitas Syracuse), Pat Hayes, dan Robert Kowalski. Pendukung representasi prosedural terutama dipusatkan di MIT, di bawah kepemimpinan Marvin Minsky dan Seymour Papert[butuh rujukan]
Meskipun didasarkan pada metode pembuktian logika, Planner, yang dikembangkan di MIT, adalah bahasa pertama yang muncul dalam paradigma prosedural ini. Perencana menampilkan pemanggilan rencana prosedural yang diarahkan pola dari tujuan (yaitu reduksi tujuan atau rangkaian mundur dan dari pernyataan asersi atau rangkaian maju. mplementasi Planner yang paling berpengaruh adalah bagian dari Planner, yang disebut Micro-Planner, yang diimplementasikan oleh Gerry Sussman, Eugene Charniak dan Terry Winograd. Dimaan itu digunakan untuk mengimplementasikan program pemahaman bahasa alami Winograd SHRDLU, yang merupakan mercusuar pada waktu itu. Untuk mengatasi sistem memori yang sangat terbatas pada saat itu, Planner menggunakan backtracking struktur kontrol sehingga hanya satu jalur perhitungan yang mungkin harus disimpan pada satu waktu. Planner melahirkan bahasa pemrograman QA-4, Popler, Conniver, QLISP, dan bahasa konkuren Ether.[butuh rujukan]
Hayes dan Kowalski di Edinburgh mencoba mendamaikan pendekatan deklaratif berbasis logika untuk representasi pengetahuan dengan pendekatan prosedural Planner. Hayes (1973) mengembangkan bahasa persamaan, Golux, di mana prosedur yang berbeda dapat diperoleh dengan mengubah perilaku pembukti teorema. Sebaliknya, Kowalski mengembangkan resolusi SLD, varian resolusi SL, dan ditunjukkan bagaimana memperlakukan implikasi sebagai prosedur reduksi tujuan. Kowalski bersama dengan Colmerauer di Marseille, yang telah mengembangkan ide ini dalam desain dan implementasi bahasa pemrograman Prolog.
Asosiasi untuk Pemrograman Logika telah ditemukan untuk mempromosikan Pemrogramin Logika di tahun 1986.
Prolog memberikan kebangkitan kepada bahasa-bahasa pemrograman ALF, Fril, Gödel, Mercury, Oz, Ciao, Visual Prolog, XSB, dan λProlog, serta berbagai bahasa pemrograman logika konkuren, pemrograman logika konstrain
Konsep > Semantik

Maarten van Emden dan Robert Kowalski mendefinisikan tiga semantik untuk program logika klausa Horn, model-theoretic, fixed-point, dan bukti teoritis, dan menunjukkan bahwa mereka lebih ekuivalen.
Konsep > Logika dan Kontrol

Artikel utama: Pemrograman Deklaratif
Pemrograman logika bisa dilihat sebagai deduksi terkontrol. Sebuah konsep penting dalam pemrograman logika adalah separasi dari program kepada komponen logika dan kontrolnya. Dengan bahasa pemrograman logika yang murni, komponen logika sendirik dapat menentukan solusi yang dihasilkan. Komponen kontrol bisa bervariasi untuk memberikan jalan alternatif dalam mengeksekusi logika program. Notasi ini diambil dengan slogan
Dimana "Logika" merepresentasikan program logis dan "Kontrol" merepresenasikan strategi pembuktian teorema yang berbeda.