StackOverflow Questions for Tag: logical-purity

false

Reputation: 10142

Better definition of the reifying memberd_t/3

prologmeta-predicatelogical-purity

Score: 3

Answers: 8

jreid9001

Reputation: 1247

'if' in prolog?

prologiso-prologlogical-purity

Score: 79

Answers: 11

mat

Reputation: 40778

Steadfastness: Definition and its relation to logical purity and termination

prologlogical-puritynon-terminationsteadfastness

Score: 15

Answers: 1

Lewis Baxter

Reputation: 101

Is this the smallest Prolog program whose halting is unknown?

prologsuccessor-arithmeticslogical-purity

Score: 1

Answers: 2

user1812457

Reputation:

Using \==/2 or dif/2

prologprolog-diflogical-purity

Score: 18

Answers: 3

false

Reputation: 10142

Better pure version of same_length/2

prologlogical-purity

Score: 5

Answers: 5

user502187

Reputation:

Pure Prolog Peano Number Apartness

prologsuccessor-arithmeticslogical-purity

Score: 3

Answers: 3

user502187

Reputation:

Pure Prolog Meta-Interpreter with one Rule

prologmetaprogramminglogical-purityprolog-metainterpreter

Score: 2

Answers: 3

Tudor Berariu

Reputation: 4910

Purity of Prolog predicates that use impure primitives

prologlogic-programminglogical-purity

Score: 9

Answers: 2

Tudor Berariu

Reputation: 4910

Logical purity of when/2 and ground/1

prologlogical-purity

Score: 5

Answers: 1

Shaopeng Guo

Reputation: 35

Prolog, about how to form better clauses

prologprolog-difprolog-cutlogical-purity

Score: 2

Answers: 2

Fatalize

Reputation: 3543

How to implement a not_all_equal/1 predicate

listprologpredicateprolog-diflogical-purity

Score: 5

Answers: 2

user287424

Reputation: 1249

Features of good Prolog code?

prologfailure-slicelogical-purity

Score: 11

Answers: 1

Achaldo

Reputation: 273

Are cuts that bad in programming?

prologprolog-cutlogical-puritypurity

Score: 11

Answers: 2

TessellatingHeckler

Reputation: 29048

What minimal change to my code would make it preserve logical purity?

prologlogical-purity

Score: 5

Answers: 2

Sahian Alexandra Mejia Amador

Reputation: 21

Delete from a list the non-duplicated items

listprologlogical-purity

Score: 1

Answers: 2

Géry Ogam

Reputation: 8107

How to implement list item deletion for all argument modes?

prologsequenceterminationfailure-slicelogical-purity

Score: 5

Answers: 1

coder

Reputation: 12992

Logical Negation in Prolog

prolognegationlogical-purityprolog-coroutining

Score: 14

Answers: 2

user502187

Reputation:

Pure Prolog Scheme Quine

prologlogical-puritylambda-prologoccurs-check

Score: 4

Answers: 3

false

Reputation: 10142

Declarative uses of memberchk/2

prologlogical-purity

Score: 19

Answers: 3

PreviousPage 1Next

StackOverflow Questions for Tag: logical-purity

Better definition of the reifying memberd_t/3

&#39;if&#39; in prolog?

Steadfastness: Definition and its relation to logical purity and termination

Is this the smallest Prolog program whose halting is unknown?

Using \==/2 or dif/2

Better pure version of same_length/2

Pure Prolog Peano Number Apartness

Pure Prolog Meta-Interpreter with one Rule

Purity of Prolog predicates that use impure primitives

Logical purity of when/2 and ground/1

Prolog, about how to form better clauses

How to implement a not_all_equal/1 predicate

Features of good Prolog code?

Are cuts that bad in programming?

What minimal change to my code would make it preserve logical purity?

Delete from a list the non-duplicated items

How to implement list item deletion for all argument modes?

Logical Negation in Prolog

Pure Prolog Scheme Quine

Declarative uses of memberchk/2

'if' in prolog?