Lập trình khai báo là gì?

Lập trình khai báo là một mô hình lập trình máy tính mà nhà phát triển xác định những gì chương trình nên thực hiện thay vì xác định rõ ràng cách thức thực hiện. Cách tiếp cận này tự nhiên dựa trên định nghĩa lập trình của các hệ thống logic chính thức và có lợi ích đơn giản hóa việc lập trình một số ứng dụng xử lý song song.

Ngôn ngữ lập trình khai báo

  • VÒI
  • Vắng mặt
  • Alpha
  • Kiến
  • LÊN
  • Nguyên tử
  • ATS
  • Brooks
  • Nến
  • Cà ri
  • CLP (R)
  • Làm xoăn
  • CycL
  • Dữ liệu
  • DASL
  • Phụ thuộc ML
  • ECL
  • SQL nhúng
  • Erlang
  • EAML
  • Logic F
  • FXML
  • GeneXus
  • Phát sáng
  • MỤC TIÊU
  • Gofer
  • GtkBuilder
  • Hải cảng
  • Xin chào
  • HPCC
  • Tập lệnh JavaFX
  • JModelica
  • Quốc gia
  • Tiếng Litva
  • KHOẢN
  • Lucid
  • Nước bóng
  • MetaFont
  • MetaPost
  • Miranda
  • Mô hình
  • MXML
  • Oz
  • Pan
  • Prolog
  • Prova
  • PTQL
  • .QL
  • QML
  • Khung Quark
  • NHANH
  • RDQL
  • Trình tựL
  • TÍN HIỆU
  • NHỎ
  • SPARQL
  • SQL
  • Logic giao dịch
  • Ngôn ngữ bản thể web
  • XBase
  • XProc
  • XSLT

Logic, mô hình, ngôn ngữ lập trình, thuật ngữ lập trình