lambda-prolog

7 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Clauses in (lambda)prolog starting with a cut
user_7800770
•
2
0
58
lambda-prolog prolog-cut logic-programming prolog
λProlog hypothetical reasoning Tic Tac Toe
Admin1
•
2
1
75
lambda-prolog game-engine prolog
Pure Prolog Scheme Quine
Admin1
•
4
3
369
occurs-check lambda-prolog logical-purity prolog
Is there any difference between an N-ary function in Curry and an N+1-ary relation in Prolog?
user_19371970
•
2
2
112
curry lambda-prolog logic-programming prolog functional-programming
Is there a higher order Prolog that wouldn't need a type system?
Admin1
•
4
1
91
lambda-prolog prolog higher-order-functions
λProlog rejecting hypothetical reasoning queries?
user_19371970
•
3
2
165
lambda-prolog logic-programming prolog
higher-order "solutions" predicate
user_3913990
•
4
2
418
lambda-prolog prolog
  • 1
Hot Questions