Lập trình ký hiệu

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,Wolfram Language Notes for Programming Language Experts LISP và Prolog.

 Tham khảo 

Thể loại:Mẫu hình lập trình