CODEWITHSUNDEEP

StackOverflow Questions for Tag: lambda-prolog

Marco Mantovani

Marco Mantovani

Reputation: 121

List comprehension in Lambda Prolog

generatorlist-comprehensionlambda-prolog

Score: 1

Views: 125

Answers: 2

Reputation: 167

Clauses in (lambda)prolog starting with a cut

prologlogic-programmingprolog-cutlambda-prolog

Score: 2

Views: 98

Answers: 0

user502187

Reputation:

Pure Prolog Scheme Quine

prologlogical-puritylambda-prologoccurs-check

Score: 4

Views: 478

Answers: 3

user502187

Reputation:

λProlog hypothetical reasoning Tic Tac Toe

prologgame-enginelambda-prolog

Score: 2

Views: 122

Answers: 1

Reputation: 12567

Is there any difference between an N-ary function in Curry and an N+1-ary relation in Prolog?

functional-programmingprologlogic-programmingcurrylambda-prolog

Score: 2

Views: 155

Answers: 2

user502187

Reputation:

De Bruijn index based substitution in Prolog

prologlambda-prolog

Score: 2

Views: 361

Answers: 2

user502187

Reputation:

Reverse Conversion in Prolog

prologlambda-prolog

Score: -1

Views: 136

Answers: 2

Reputation: 1920

What is more interesting or powerful: Curry, Mercury or Lambda-Prolog?

prologlogic-programmingmercurycurrylambda-prolog

Score: 21

Views: 4351

Answers: 4

user502187

Reputation:

Is there a higher order Prolog that wouldn't need a type system?

prologhigher-order-functionslambda-prolog

Score: 4

Views: 139

Answers: 1

Reputation: 12567

What does higher-order semantics give you in λProlog?

prologlambda-prolog

Score: 1

Views: 276

Answers: 2

Reputation: 12567

λProlog rejecting hypothetical reasoning queries?

prologlogic-programminglambda-prolog

Score: 3

Views: 215

Answers: 2

Reputation: 4132

higher-order "solutions" predicate

prologlambda-prolog

Score: 4

Views: 501

Answers: 2

king_geedorah

Reputation: 91

Errors installing OMake on OSX 10.10.5

macosprologmakefileomakelambda-prolog

Score: 4

Views: 209

Answers: 1

PreviousPage 1Next