List Question
10 TechQA 2022-06-01T06:55:37.767000Is it possible to insert a Clojure statement in the middle of a series of core.logic calls, "à la Prolog"?
195 views
Asked by Hugolin Bergier
If & Else & Pattern Matching in SML altogether?
245 views
Asked by tonythestark
Inverting `member` in Curry (PAKCS) gives no answers
163 views
Asked by MWB
Find number of successes from a list of terms/goals
144 views
Asked by Zehanort
Haskell: Combining existential and universal quantifiers fails unexpectedly
220 views
Asked by Nicolas Malebranche
Need clarification in understanding a custom core.logic constraint
166 views
Asked by Kannan Ramamoorthy
Discussion about Abductive logic programming vs Answer Set Programming
693 views
Asked by ssmoot
How can I design a 2-1 multiplexer with enable using only NAND gates?
1.2k views
Asked by hack-is-art
Generating a parser with `inverse`, with constraints on the grammar
266 views
Asked by Erik Kaplun
Compact vs full/verbose definition of the inverse combinator/operator in Curry
296 views
Asked by Erik Kaplun