Skip to content

Instantly share code, notes, and snippets.

@mwhittaker
Last active January 10, 2018 05:01
Show Gist options
  • Save mwhittaker/eae9baaf8d19280ce7626009e6cd5d76 to your computer and use it in GitHub Desktop.
Save mwhittaker/eae9baaf8d19280ce7626009e6cd5d76 to your computer and use it in GitHub Desktop.
RISE Retreat Winter 2018 Poster
*.html
.DS_Store
################################################################################
# vim
################################################################################
# Swap
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
[._]sw[a-p]
# Session
Session.vim
# Temporary
.netrwhist
*~
# Auto-generated tag files
tags

RISE Retreat Winter 2018 Poster

link(a, b) :- .
link(b, c) :- .
link(c, b) :- .
link(c, d) :- .
path(X, Y) :- link(X, Y).
path(X, Y) :- path(X, Z), link(Z, Y).
digraph G {
rankdir="LR";
"a" -> "b";
"b" -> "c";
"c" -> "b";
"c" -> "d";
}
link(#a, b) :- .
link(#b, c) :- .
link(#c, d) :- .
ignore(#c, d) :- .
path(X, Y) :- link(X, Y), !ignore(X, Y).
path(X, Y) :- path(X, Z), path(Z, Y).
i_do_edb(#a, bride) :- .
i_do_edb(#a, groom) :- .
i_do(X)@async :- i_do_edb(X).
i_do(X)@next :- i_do(X).
runaway() :- !i_do(bride), i_do(groom).
runaway() :- !i_do(groom), i_do(bride).
runaway()@next :- runaway().
// A simple stratum.
a(X) :- b(X).
b(X) :- a(X).
// Check if a is quiesced.
a1(X) :- a(X).
a2(X)@next :- a1(X).
a_not_quiesced() :- a1(X), !a2(X).
a_not_quiesced() :- !a1(X), a2(X).
a_quiesced() :- !a_not_quiesced().
// Do the same for b.
// ...
stratum_done() :- a_quiesced(), b_quiesced().
This file has been truncated, but you can view the full file.
Display the source blob
Display the rendered blob
Raw
View raw

(Sorry about that, but we can’t show files that are this big right now.)

View raw

(Sorry about that, but we can’t show files that are this big right now.)

View raw

(Sorry about that, but we can’t show files that are this big right now.)

View raw

(Sorry about that, but we can’t show files that are this big right now.)

View raw

(Sorry about that, but we can’t show files that are this big right now.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment