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
430
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
280
Taming WebSocket with Scarlet
zhxnlai
6
5k
Other Decks in Programming
See All in Programming
Synchronizationを支える技術
s_shimotori
1
150
Tuning GraphQL on Rails
pyama86
2
1k
Vue SFCのtemplateでTypeScriptの型を活用しよう
tsukkee
3
1.5k
Vue.js学習の振り返り
hiro_xre
2
130
Android 15 でアクションバー表示時にステータスバーが白くなってしまう問題
tonionagauzzi
0
140
cXML という電子商取引の トランザクションを支える プロトコルと向きあっている話
phigasui
3
2.2k
Vaporモードを大規模サービスに最速導入して学びを共有する
kazukishimamoto
4
4.3k
Googleのテストサイズを活用したテスト環境の構築
toms74209200
0
270
PHP でアセンブリ言語のように書く技術
memory1994
PRO
1
150
/←このスケジュール表に立ち向かう フロントエンド開発戦略 / A front-end development strategy to tackle a single-slash schedule.
nrslib
1
590
macOS でできる リアルタイム動画像処理
biacco42
6
1.7k
WEBエンジニア向けAI活用入門
sutetotanuki
0
300
Featured
See All Featured
Fantastic passwords and where to find them - at NoRuKo
philnash
50
2.8k
Testing 201, or: Great Expectations
jmmastey
38
7k
GraphQLの誤解/rethinking-graphql
sonatard
66
9.9k
The Cost Of JavaScript in 2023
addyosmani
45
6.6k
4 Signs Your Business is Dying
shpigford
180
21k
Stop Working from a Prison Cell
hatefulcrawdad
267
20k
Fashionably flexible responsive web design (full day workshop)
malarkey
404
65k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
31
2.7k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Why Our Code Smells
bkeepers
PRO
334
57k
Intergalactic Javascript Robots from Outer Space
tanoku
268
27k
Rails Girls Zürich Keynote
gr2m
93
13k
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
…