logical-purity

14 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What minimal change to my code would make it preserve logical purity?
user_4786560
•
4
2
57
logical-purity prolog
How to implement list item deletion for all argument modes?
user_23269610
•
5
1
275
failure-slice logical-purity termination prolog sequence
Proper unify_with_occurs_check/2 in SWI-Prolog?
Admin1
•
3
2
247
occurs-check logical-purity swi-prolog prolog
Pure Prolog Scheme Quine
Admin1
•
4
3
369
occurs-check lambda-prolog logical-purity prolog
Pure Prolog Peano Number Apartness
Admin1
•
3
2
145
logical-purity peano-numbers prolog
Pure Prolog Meta-Interpreter with one Rule
Admin1
•
2
3
120
logical-purity prolog metaprogramming
Is "almost pure" Prolog expressive?
user_19371970
•
2
3
624
prolog-dif logical-purity logic-programming prolog programming-languages
NU-Prolog's and Gödel's logical and sound `if-then-else` extension
user_19371970
•
2
2
245
logical-purity logic-programming prolog
Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?
user_19371970
•
4
3
959
logical-purity logic-programming prolog turing-complete turing-machines
Prolog if-then-else constructs: -> vs *-> vs. if_/3
user_9271900
•
6
2
776
implication logical-purity control-structure prolog if-statement
Hot Questions