Bamboo
Friday, July 12, 13
WHAT WE MISS
• WAM
• Answer set prog
• Magic set rewriting
• CHR
• Datalog
Friday, July 12, 13
IMPLS
• Sicstus general interface to constraint
solving
• Teyjus Lambda Prolog
• Abella (lambda trees -- subset of Lambda ...
DATALOG
• DLV disjunctive datalog
• Daedelus
• Bloom
• (any others?)
• Datomic
Friday, July 12, 13
PROLOG / FLP
• B-Prolog
• Ciao
• Visual Prolog
• REFAL (1st FLP)
• Curry
Friday, July 12, 13
DO WE NEED?
• SAT
• SMT
• Non-deterministic prog in GPLs
• Oleg!
Friday, July 12, 13
KANREN
• Captured imagination
• Switch between logic and FP
• Post-functional
Friday, July 12, 13
Gabriel Pickard
Friday, July 12, 13
Ryan Senior
Friday, July 12, 13
Adam Foltzer
Friday, July 12, 13
David Nolen
Friday, July 12, 13
Nada Amin
Friday, July 12, 13
Friedman/Byrd
Friday, July 12, 13
Upcoming SlideShare
Loading in...5
×

Confo

154

Published on

Intro slides for the 1st miniKanren Confo (co-located with Clojure/West 2013)

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
154
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Confo

  1. 1. Bamboo Friday, July 12, 13
  2. 2. WHAT WE MISS • WAM • Answer set prog • Magic set rewriting • CHR • Datalog Friday, July 12, 13
  3. 3. IMPLS • Sicstus general interface to constraint solving • Teyjus Lambda Prolog • Abella (lambda trees -- subset of Lambda P) • Mozart/Oz (multiparadigm) Friday, July 12, 13
  4. 4. DATALOG • DLV disjunctive datalog • Daedelus • Bloom • (any others?) • Datomic Friday, July 12, 13
  5. 5. PROLOG / FLP • B-Prolog • Ciao • Visual Prolog • REFAL (1st FLP) • Curry Friday, July 12, 13
  6. 6. DO WE NEED? • SAT • SMT • Non-deterministic prog in GPLs • Oleg! Friday, July 12, 13
  7. 7. KANREN • Captured imagination • Switch between logic and FP • Post-functional Friday, July 12, 13
  8. 8. Gabriel Pickard Friday, July 12, 13
  9. 9. Ryan Senior Friday, July 12, 13
  10. 10. Adam Foltzer Friday, July 12, 13
  11. 11. David Nolen Friday, July 12, 13
  12. 12. Nada Amin Friday, July 12, 13
  13. 13. Friedman/Byrd Friday, July 12, 13
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×