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
450
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
5.2k
Other Decks in Programming
See All in Programming
家族・子育て重視/沖縄在住を維持しながらエンジニアとしてのキャリアをどのように育てていくか?
ug
0
220
私の愛したLaravel 〜レールを超えたその先へ〜
kentaroutakeda
11
3k
Devin入門と最近のアップデートから見るDevinの進化 / Introduction to Devin and the Evolution of Devin as Seen in Recent Update
rkaga
7
2.9k
S3静的ホスティング+Next.js静的エクスポート で格安webアプリ構築
iharuoru
0
180
いまさら聞けない生成AI入門: 「生成AIを高速キャッチアップ」
soh9834
11
3.2k
マルチアカウント環境での、そこまでがんばらない RI/SP 運用設計
wa6sn
0
220
技術好きなエンジニアが "リーダーへの進化" によって得たものと失ったもの
pospome
5
1.3k
PHPでお金を扱う時、終わりのない 謎の1円調査の旅にでなくて済む方法
nakka
3
950
複雑なフォームと複雑な状態管理にどう向き合うか / #newt_techtalk vol. 15
izumin5210
4
2.4k
2025/3/18 サービスの成長で生じる幅広いパフォーマンスの問題を、 AIで手軽に解決する
shirahama_x
0
150
Go1.24 go vetとtestsアナライザ
kuro_kurorrr
2
350
Day0 初心者向けワークショップ実践!ソフトウェアテストの第一歩
satohiroyuki
0
140
Featured
See All Featured
Making the Leap to Tech Lead
cromwellryan
133
9.2k
Why Our Code Smells
bkeepers
PRO
336
57k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
12
1.4k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
129
19k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
6
610
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Six Lessons from altMBA
skipperchong
27
3.7k
Code Reviewing Like a Champion
maltzj
521
39k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
27
1.6k
Building a Scalable Design System with Sketch
lauravandoore
462
33k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.8k
How GitHub (no longer) Works
holman
314
140k
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
…