Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Prolog Visualizer Tutorial
Search
Zhixuan Lai
May 02, 2015
Programming
0
480
Prolog Visualizer Tutorial
http://www.cdglabs.org/prolog/
Zhixuan Lai
May 02, 2015
Tweet
Share
More Decks by Zhixuan Lai
See All by Zhixuan Lai
Taming WebSocket with Scarlet - Droidcon SF
zhxnlai
0
290
Taming WebSocket with Scarlet
zhxnlai
6
5.3k
Other Decks in Programming
See All in Programming
【第4回】関東Kaggler会「Kaggleは執筆に役立つ」
mipypf
0
980
サイトを作ったらNFCタグキーホルダーを爆速で作れ!
yuukis
0
740
The state patternの実践 個人開発で培ったpractice集
miyanokomiya
0
150
AWS発のAIエディタKiroを使ってみた
iriikeita
1
130
実用的なGOCACHEPROG実装をするために / golang.tokyo #40
mazrean
1
120
STUNMESH-go: Wireguard NAT穿隧工具的源起與介紹
tjjh89017
0
390
コンテキストエンジニアリング Cursor編
kinopeee
1
730
Kiroの仕様駆動開発から見えてきたAIコーディングとの正しい付き合い方
clshinji
1
180
250830 IaCの選定~AWS SAMのLambdaをECSに乗り換えたときの備忘録~
east_takumi
0
350
時間軸から考えるTerraformを使う理由と留意点
fufuhu
7
1.2k
Laravel Boost 超入門
fire_arlo
2
170
JSONataを使ってみよう Step Functionsが楽しくなる実践テクニック #devio2025
dafujii
0
210
Featured
See All Featured
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
252
21k
Building a Modern Day E-commerce SEO Strategy
aleyda
43
7.5k
Mobile First: as difficult as doing things right
swwweet
224
9.9k
Building an army of robots
kneath
306
46k
Testing 201, or: Great Expectations
jmmastey
45
7.6k
The Straight Up "How To Draw Better" Workshop
denniskardys
236
140k
Done Done
chrislema
185
16k
Rebuilding a faster, lazier Slack
samanthasiow
83
9.1k
Documentation Writing (for coders)
carmenintech
73
5k
BBQ
matthewcrist
89
9.8k
Why You Should Never Use an ORM
jnunemaker
PRO
59
9.5k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
8
910
Transcript
Prolog Visualizer Tutorial
Visualization Program Controls Examples
Step 0 of 144 This is where you start Step
1 of 144
Step 0 of 144 Initial goal A copy of the
program Step 1 of 144
Step 0 of 144 Dashed box indicates the current state
of the search Step 1 of 144
Step 0 of 144 Unifying Step 2 of 144
Step 0 of 144 Unification failed because the names of
the clauses are different Step 3 of 144
Step 0 of 144 Failed rules are crossed out Step
4 of 144
Step 0 of 144 These rules failed too Step 16
of 144
Step 0 of 144 But not this rule Step 17
of 144
Step 0 of 144 substitution before after Applying the substitution,
you get a new rule This rule unifies with the goal Step 18 of 144
Step 0 of 144 Current goal is duplicated here for
better readability Step 18 of 144
Step 0 of 144 Body of the rule after substitution
Step 19 of 144
Step 0 of 144 grandfather(X, Y) is replaced by father(X,
Z) and father(Z, Y). these are the new goals Current state has changed Step 20 of 144
Step 0 of 144 The grey path shows where you
came from current goal is in bold Step 20 of 144
Step 0 of 144 Unifying Step 21 of 144
Step 0 of 144 This rule also succeeds Step 22
of 144
This is a partial solution If X is orville, any
Y such that father(abe, Y) will be a solution father(Z, Y) is the is new goal. After the substitution (X = oriville, Z = abe), it becomes father(abe, Y) Step 23 of 144
Current state has changed Step 24 of 144
Unifying Step 28 of 144
Succeeded Step 29 of 144
This leads to a solution Step 31 of 144
Backtrack Step 44 of 144
More solutions… Step 66 of 144
…