logic

278 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Prolog - How can I return a list where each element appears only once?
user_28985860
•
2
2
133
unification prolog logic list
Running a java program and using the return value in another program
user_90894200
•
1
0
24
resthighlevelclient elasticsearch logic dependency-injection java
What happens here: sum += i++;?
user_141062690
•
3
4
1146
postfix-operator increment logic java
How to verify solutions for Logic functions having ampersand symbol (used in Logic package)
user_95088840
•
2
2
48
maple logic
Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?
user_18198610
•
8
1
177
type-theory formal-semantics rust move-semantics logic
How do I prove this in Lean? p ∨ ¬p
user_154770990
•
2
2
142
lean logic
how do I disable keyboard input when the video is playng?
user_87377030
•
3
1
54
logic processing video
Is there a way to automate similar (almost repetitive) code and make it like a function?
Admin1
•
2
2
59
logic python-3.x python
Is there an AND option on the rules condition in .gitlab-ci.yml?
user_154742700
•
11
1
12670
gitlab-ci-runner gitlab-ci logic
Separating UI and Logic in Flutter
user_143986000
•
1
2
3967
flutter logic widget user-interface
Hot Questions