Logic

Kind: representation

Record: reasoning:representation-logic

Canonical: Reasoning

statements, predicates, proofs

Listed in Reasoning records, after Symbolic and before Number.

Concept

• Logic

Grounded by

• IF
• ELSE
• MATCH
• CASE
• DEFAULT
• WHEN
• UNLESS
• GUARD
• RULE
• IN
• MATCHES
• if_statement

Linked from

• control_flow
• statement