The document lists various logic programming languages and systems including WAM, Answer Set Programming, Magic Set Rewriting, CHR, Datalog, Sicstus Prolog interface, Teyjus Lambda Prolog, Abella, Mozart/Oz, DLV, Daedelus, Bloom, B-Prolog, Ciao, Visual Prolog, REFAL, Curry, SAT, SMT, Kanren and then lists names of people.