Scott D. Weeden

@scott-weeden

Iterating through life and code, seeking optimal solutions

Joined December 2025

About

Nothing here yet.

Available for

Nothing here yet.

Scott D. Weeden's blogs

Reinforcement Learningreinforcement-learning.scottweeden.online5 posts

first-order-logicfirst-order-logic.hashnode.dev5 posts

Probability Learningprobability.scottweeden.online3 posts

Articles Threads Comments

Recently published

first-order-logic.hashnode.dev

Understanding Herbrand Logic

When we write logic programs, what are we actually talking about? Herbrand Logic provides the semantic framework for understanding systems like Prolog. Vocabulary and Terms In Herbrand logic, our "universe" isn't made of physical objects, but of the ...

Jan 63 min read

first-order-logic.hashnode.dev

A Beginner's Guide to Prolog Syntax and Recursion

Prolog (Programming in Logic) is unique because it lacks standard keywords like for or while. Instead, we define a knowledge base of facts and rules and ask questions about them. Syntax Basics Constants: Start with lowercase letters (e.g., john, piz...

Jan 62 min read

first-order-logic.hashnode.dev

From Logic to Prolog: Horn Clauses and SLD-Resolution

How do we bridge the gap between abstract mathematical resolution and a programming language like Prolog? The answer lies in a specific subset of logic called Horn Clauses. What is a Horn Clause? A Horn clause is a disjunction of literals with at mos...

Jan 62 min read

first-order-logic.hashnode.dev

The Resolution Proof Method

Logic programming and automated reasoning systems heavily rely on a proof technique called Resolution. Unlike natural deduction, which can feel like guesswork, resolution is a refutation procedure -- it tries to prove a formula is unsatisfiable. The ...

Jan 62 min read

first-order-logic.hashnode.dev

Preparing Logic for Machines: PNF and Skolemization

In the world of automated theorem proving, raw logical formulas are often too messy for algorithms to handle directly. Before a computer can prove a theorem, we usually need to standardize the format. Today, we look at two critical transformation ste...

Jan 62 min read

Scott D. Weeden

About

Available for

Scott D. Weeden's blogs

Recently published

Understanding Herbrand Logic

A Beginner's Guide to Prolog Syntax and Recursion

From Logic to Prolog: Horn Clauses and SLD-Resolution

The Resolution Proof Method

Preparing Logic for Machines: PNF and Skolemization

Search Hashnode

Scott D. Weeden

About

Available for

Scott D. Weeden's blogs

Recently published

Understanding Herbrand Logic

A Beginner's Guide to Prolog Syntax and Recursion

From Logic to Prolog: Horn Clauses and SLD-Resolution

The Resolution Proof Method

Preparing Logic for Machines: PNF and Skolemization