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
5.1k
Other Decks in Programming
See All in Programming
リアーキテクチャxDDD 1年間の取り組みと進化
hsawaji
1
220
Amazon Bedrock Agentsを用いてアプリ開発してみた!
har1101
0
340
Amazon Qを使ってIaCを触ろう!
maruto
0
410
Better Code Design in PHP
afilina
PRO
0
130
Snowflake x dbtで作るセキュアでアジャイルなデータ基盤
tsoshiro
2
520
Remix on Hono on Cloudflare Workers
yusukebe
1
290
とにかくAWS GameDay!AWSは世界の共通言語! / Anyway, AWS GameDay! AWS is the world's lingua franca!
seike460
PRO
1
870
色々なIaCツールを実際に触って比較してみる
iriikeita
0
330
Kaigi on Rails 2024 〜運営の裏側〜
krpk1900
1
220
Tauriでネイティブアプリを作りたい
tsucchinoko
0
370
flutterkaigi_2024.pdf
kyoheig3
0
120
アジャイルを支えるテストアーキテクチャ設計/Test Architecting for Agile
goyoki
9
3.3k
Featured
See All Featured
How to Think Like a Performance Engineer
csswizardry
20
1.1k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
229
52k
Writing Fast Ruby
sferik
627
61k
5 minutes of I Can Smell Your CMS
philhawksworth
202
19k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
28
9.1k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
169
50k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
16
2.1k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
250
21k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
126
18k
A Philosophy of Restraint
colly
203
16k
Imperfection Machines: The Place of Print at Facebook
scottboms
265
13k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
8
890
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
…