StackOverflow Questions for Tag: functional-logic-progr

ssmoot

Reputation: 31

Discussion about Abductive logic programming vs Answer Set Programming

prologlogic-programmingfunctional-logic-progr

Score: 3

Answers: 3

tonythestark

Reputation: 543

If & Else & Pattern Matching in SML altogether?

functional-programmingsmlsmlnjfunctional-logic-progr

Score: 1

Answers: 1

Hugolin Bergier

Reputation: 155

Is it possible to insert a Clojure statement in the middle of a series of core.logic calls, "à la Prolog"?

clojureprologlogic-programmingclojure-core.logicfunctional-logic-progr

Score: 1

Answers: 0

MWB

Reputation: 12567

Inverting `member` in Curry (PAKCS) gives no answers

functional-programminglogic-programmingcurryfunctional-logic-progr

Score: 1

Answers: 2

Zehanort

Reputation: 508

Find number of successes from a list of terms/goals

functional-programminglogic-programmingmercuryfunctional-logic-progr

Score: 0

Answers: 1

Nicolas Malebranche

Reputation: 387

Haskell: Combining existential and universal quantifiers fails unexpectedly

haskellghcexistential-typefunctional-logic-progr

Score: 5

Answers: 1

Kannan Ramamoorthy

Reputation: 4180

Need clarification in understanding a custom core.logic constraint

clojureclojure-core.logicfunctional-logic-progr

Score: 3

Answers: 1

hack-is-art

Reputation: 325

How can I design a 2-1 multiplexer with enable using only NAND gates?

hardwarecircuit-diagramfunctional-logic-progr

Score: 0

Answers: 2

Erik Kaplun

Reputation: 38207

Generating a parser with `inverse`, with constraints on the grammar

parsinginverselogic-programmingcurryfunctional-logic-progr

Score: 0

Answers: 1

Erik Kaplun

Reputation: 38207

Compact vs full/verbose definition of the inverse combinator/operator in Curry

pattern-matchinglogic-programmingcurryfunctional-logic-progrkics2

Score: 4

Answers: 2

PreviousPage 1Next

StackOverflow Questions for Tag: functional-logic-progr

Discussion about Abductive logic programming vs Answer Set Programming

If &amp; Else &amp; Pattern Matching in SML altogether?

Is it possible to insert a Clojure statement in the middle of a series of core.logic calls, &quot;&#224; la Prolog&quot;?

Inverting `member` in Curry (PAKCS) gives no answers

Find number of successes from a list of terms/goals

Haskell: Combining existential and universal quantifiers fails unexpectedly

Need clarification in understanding a custom core.logic constraint

How can I design a 2-1 multiplexer with enable using only NAND gates?

Generating a parser with `inverse`, with constraints on the grammar

Compact vs full/verbose definition of the inverse combinator/operator in Curry

If & Else & Pattern Matching in SML altogether?

Is it possible to insert a Clojure statement in the middle of a series of core.logic calls, "à la Prolog"?