Media Summary: Interpretation is pervasive in computer science both from a theoretical and a practical perspective. In this video we take our first steps into Over the last 3 videos we've extended our

Prolog Meta Interpreters - Detailed Analysis & Overview

Interpretation is pervasive in computer science both from a theoretical and a practical perspective. In this video we take our first steps into Over the last 3 videos we've extended our In this final video of the 20-example course, we learn about a different use for

Photo Gallery

Prolog Meta-interpreters
16 - Meta-Interpreter 1: Facts
miniKanren 2021 - Prolog-Style Meta-Programming miniKanren
19 - Meta-Interpreter 4: The Cut
17 - Meta-Interpreter 2: Deduction
"Production Prolog" by Michael Hendricks
20 - Meta-Interpeter 5: Fixed Depth Search
18 - Meta-Interpeter 3: Recursion
A Tour of Prolog
It’s the Language of AI – So Why Doesn’t AI Use Prolog?
Logic and Problem Solving with Prolog
View Detailed Profile
Prolog Meta-interpreters

Prolog Meta-interpreters

Interpretation is pervasive in computer science both from a theoretical and a practical perspective.

16 - Meta-Interpreter 1: Facts

16 - Meta-Interpreter 1: Facts

In this video we take our first steps into

miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

https://icfp21.sigplan.org/details/minikanren-2021-papers/1/

19 - Meta-Interpreter 4: The Cut

19 - Meta-Interpreter 4: The Cut

Over the last 3 videos we've extended our

17 - Meta-Interpreter 2: Deduction

17 - Meta-Interpreter 2: Deduction

In this video we extend our minimal

"Production Prolog" by Michael Hendricks

"Production Prolog" by Michael Hendricks

Prolog

20 - Meta-Interpeter 5: Fixed Depth Search

20 - Meta-Interpeter 5: Fixed Depth Search

In this final video of the 20-example course, we learn about a different use for

18 - Meta-Interpeter 3: Recursion

18 - Meta-Interpeter 3: Recursion

In this video we extend our

A Tour of Prolog

A Tour of Prolog

Let's take a look at

It’s the Language of AI – So Why Doesn’t AI Use Prolog?

It’s the Language of AI – So Why Doesn’t AI Use Prolog?

prolog

Logic and Problem Solving with Prolog

Logic and Problem Solving with Prolog

We start with a short history of