Technology

Programming Languages and Environment. Our team has a history of developing programming languages including SPARC (an instance language of Answer Set Technology Programming, a modern development of Logic Programming) and tools to support the use of Logic Programming by a larger audience including middle school students.

SPARC Language Design SPARC Manual SPARC High School Lecture Notes