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: 100

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: 12617

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: 156

Answers: 2

user502187

Reputation:

De Bruijn index based substitution in Prolog

prologlambda-prolog

Score: 2

Views: 366

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: 4376

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: 12617

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

prologlambda-prolog

Score: 1

Views: 277

Answers: 2

Reputation: 12617

λProlog rejecting hypothetical reasoning queries?

prologlogic-programminglambda-prolog

Score: 3

Views: 216

Answers: 2

Reputation: 4142

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: 210

Answers: 1

PreviousPage 1Next