logic programming

programming paradigm based on formal logic

en-GB/ˈlɒd͡ʒɪk ˈpɹəʊɡɹæmɪŋ/
en-US/ˈlɑd͡ʒɪk ˈpɹoʊɡˌɹæmɪŋ/

分类：

programming paradigmdeclarative programming