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.

OnlineSPARC Programming environment provides an easy to use online environment for programmers to edit their programs, ask queries and find answer sets of their programs.

SPARC Language Design

SPARC Manual

SPARC High School Lecture Notes