All public logs
Jump to navigation
Jump to search
Combined display of all available logs of FasciPedia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 17:49, 26 January 2023 Bacchus talk contribs created page Functional logic (Created page with "'''Functional logic''' is a philosophy that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book |first1=Gopalan |last1=Nadathur |first2=D. |last2=Miller |chapter=Higher-Order Logic Programming |title=Handbook of Logi...")