Lập trình ký hiệu

Mẫu hình lập trình
Action language Hướng tác tử Hướng mảng Automata-based programming Concurrent computing Relativistic programming Data-driven programming Khai báo (ngược với: Mệnh lệnh) Hàm Logic hàm Purely functional Logic Abductive logic Answer set Concurrent logic Logic hàm Inductive logic Ràng buộc Constraint logic Concurrent constraint logic Dataflow Flow-based Phản ứng Dynamic/scripting Hướng sự kiện Function-level (ngược với: Value-level) Point-free style Concatenative Tổng quát Mệnh lệnh (ngược với: Khai báo) Thủ tục Hướng đối tượng Literate Language-oriented Natural-language programming Discipline-specific Ngôn ngữ miền chuyên biệt Grammar-oriented Intentional Lập trình meta Automatic Inductive programming Reflective Attribute-oriented Macro Template Non-structured (ngược với: Cấu trúc) Array Nondeterministic Tính toán song song Process-oriented Probabilistic Stack-based Structured (ngược với: Non-structured) Block-structured Hướng đối tượng Actor-based Dựa trên lớp Đồng thời Dựa trên nguyên mẫu By separation of concerns: Hướng khía cạnh Role-oriented Subject-oriented Đệ quy Ký hiệu Value-level (ngược với: Function-level) Lập trình lượng tử

Trong lập trình máy tính, lập trình ký hiệu (tiếng Anh: symbolic programming) là một Mẫu hình lập trình trong đó chương trình có thể sử dụng những công thức và thành phần của chương trình như thể chúng là dữ liệu thô.

Sử dụng lập trình tính toán hình thức, những chương trình phức tạp có thể được phát triển để xây dựng những chương trình phức tạp hơn bằng cách kết hợp các đơn vị logic và chức năng nhỏ hơn. Vì vậy, chương trình đó có tự thay đổi chính nó một cách hiệu quả và có thể "học",làm chúng thích hợp hơn với các ứng dụng như trí tuệ nhân tạo, hệ chuyên gia,  xử lý ngôn ngữ tự nhiên, và các trò chơi máy tính.

Những ngôn ngữ lập trình hỗ trợ lập trình tính toán hình thức bao gồm Wolfram Language, LISP và Prolog.