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 P)

• Mozart/Oz (multiparadigm)

Friday, July 12, 13

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