Pertanyaan yang diberi tag «logic-programming»

Apakah ada aplikasi praktis untuk model pemrograman non-von Neumann? Apa bahasa pemrograman non-von Neumann yang paling banyak diadopsi?

16 universal-computation  logic-programming 

Pertanyaan Apa yang baru dalam struktur data murni fungsional sejak Okasaki? , dan jawaban epik jbapple, disebutkan menggunakan daftar perbedaan dalam pemrograman fungsional (sebagai lawan dari pemrograman logika), yang merupakan sesuatu yang baru-baru ini saya minati. Hal ini membuat saya menemukan implementasi daftar perbedaan untuk Haskell. Saya memiliki dua pertanyaan …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua ini?

8 reference-request  lo.logic  db.databases  logic-programming