Philip's Learning Blog

Sidebar AI Technical Support Web Development Web Servers Security Linux Cloud & DevOps Programming Practical Scripting Data Science and ML Raspberry Pi Retro Computing Databases Projects Networking Japan Hungary France YouTube Maths for Programmers Office & Productivity Software Windows

Programming

Preply Python Lessons Python Exercises Python Projects - Beginner Python Fundamentals Python Intermediate Python Advanced Git & GitHub Foundations Git & GitHub For Teams Git & GitHub Advanced Mastery Web Hosting Essentials Learning Regular Expressions PHP Fundamentals PHP Intermediate Course PHP Advanced Course VS Code Essentials Go Fundamentals Go Intermediate Go Advanced TypeScript Fundamentals TypeScript Intermediate TypeScript Real World Applications Advanced TypeScript API Types & Design API Testing & Tooling Kotlin Fundamentals Kotlin Intermediate Ruby Fundamentals Ruby Intermediate/Advanced Ruby on Rails Fundamentals Ruby on Rails Intermediate/Advanced GraphQL Perl Fundamentals Perl Intermediate/Advanced gRPC CI/CD Pipelines Rust Fundamentals Rust Intermediate Rust Advanced C Fundamentals C Intermediate C Advanced C++ Fundamentals C++ Intermediate C++ Advanced C# Fundamentals C# Intermediate/Advanced Java Fundamentals Java Intermediate/Advanced Haskell Fundamentals Haskell Intermediate/Advanced Prolog Fundamentals Getting Started Facts & Rules Unification Backtracking & the Search Tree Lists Recursion Over Lists Arithmetic: is vs. = vs. == Cut (!) — Controlling Backtracking, Honestly Prolog Intermediate/Advanced

Home › Programming › Prolog Fundamentals

Prolog Fundamentals

1. Getting Started
2. Facts & Rules
3. Unification
4. Backtracking & the Search Tree
5. Lists
6. Recursion Over Lists
7. Arithmetic: is vs. = vs. ==
8. Cut (!) — Controlling Backtracking, Honestly