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
monorepo の Go テストをはやくした〜い!~最小の依存解決への道のり~ / faster-testing-of-monorepos
convto
2
470
私達はmodernize packageに夢を見るか feat. go/analysis, go/ast / Go Conference 2025
kaorumuta
2
540
ポスターセッション: 「まっすぐ行って、右!」って言ってラズパイカーを動かしたい 〜生成AI × Raspberry Pi Pico × Gradioの試作メモ〜
komofr
0
1.3k
アメ車でサンノゼを走ってきたよ!
s_shimotori
0
220
「ちょっと古いから」って避けてた技術書、今だからこそ読もう
mottyzzz
10
6.6k
What's new in Spring Modulith?
olivergierke
1
140
Swift Concurrency - 状態監視の罠
objectiveaudio
2
510
Things You Thought You Didn’t Need To Care About That Have a Big Impact On Your Job
hollycummins
0
220
The Past, Present, and Future of Enterprise Java
ivargrimstad
0
310
TFLintカスタムプラグインで始める Terraformコード品質管理
bells17
2
160
Your Perfect Project Setup for Angular @BASTA! 2025 in Mainz
manfredsteyer
PRO
0
160
いま中途半端なSwift 6対応をするより、Default ActorやApproachable Concurrencyを有効にしてからでいいんじゃない?
yimajo
2
400
Featured
See All Featured
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
162
15k
The Invisible Side of Design
smashingmag
302
51k
GitHub's CSS Performance
jonrohan
1032
470k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.2k
Fashionably flexible responsive web design (full day workshop)
malarkey
407
66k
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.7k
Designing for Performance
lara
610
69k
Raft: Consensus for Rubyists
vanstee
139
7.1k
Code Review Best Practice
trishagee
72
19k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
19
1.2k
GraphQLとの向き合い方2022年版
quramy
49
14k
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
…