DEV Community

# logic

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Solving Programming Challenges

Solving Programming Challenges

2
Comments
1 min read
Certainty is a Programming Bug (featuring Hillel Wayne)

Certainty is a Programming Bug (featuring Hillel Wayne)

10
Comments
14 min read
Untestable: testing compile-safe strategies via `dynamic`

Untestable: testing compile-safe strategies via `dynamic`

6
Comments
3 min read
Accumulators in Declarative Logic Programming

Accumulators in Declarative Logic Programming

2
Comments
3 min read
Learn algorithms

Learn algorithms

2
Comments
1 min read
Symbolic logic and programming

Symbolic logic and programming

2
Comments
1 min read
Prolog Natural Numbers

Prolog Natural Numbers

9
Comments 1
3 min read
Why there is no NullPointerException in Declarative Programming

Why there is no NullPointerException in Declarative Programming

9
Comments
2 min read
Variables in Declarative Programming

Variables in Declarative Programming

10
Comments
2 min read
Let's Play Checkers with AI and Clojure

Let's Play Checkers with AI and Clojure

30
Comments 1
11 min read
Extending Prolog - TerminusDB Discussion #10 55:41

Extending Prolog - TerminusDB Discussion #10

7
Comments
1 min read
Add two numbers without arithmetic operators 🙅‍♂️➕

Add two numbers without arithmetic operators 🙅‍♂️➕

6
Comments
3 min read
Actionable bitwise with C++

Actionable bitwise with C++

7
Comments 2
5 min read
Prolog: Acertijo del granjero, la cabra, el lobo y la col

Prolog: Acertijo del granjero, la cabra, el lobo y la col

13
Comments
8 min read
Low-Level Logical Operations

Low-Level Logical Operations

8
Comments
3 min read
Streamlining Conditional Statements with Logical Operators

Streamlining Conditional Statements with Logical Operators

7
Comments
4 min read
9 Things You Should Practice for Logic Building

9 Things You Should Practice for Logic Building

16
Comments 4
2 min read
Continuation passing style in C#

Continuation passing style in C#

8
Comments
4 min read
Double negation in C#

Double negation in C#

17
Comments 8
4 min read
Mathematics' Architecture & Processes for Programmers

Mathematics' Architecture & Processes for Programmers

6
Comments 1
4 min read
The Curry-Howard Correspondence in C#: Part 2

The Curry-Howard Correspondence in C#: Part 2

5
Comments 6
3 min read
The Curry-Howard Correspondence in C#

The Curry-Howard Correspondence in C#

11
Comments 4
3 min read
Swastik Pattern in C++

Swastik Pattern in C++

5
Comments
2 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

5
Comments
5 min read
Ways to control flow...

Ways to control flow...

6
Comments
2 min read
loading...