Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, runs on Linux, RS6000, SGI, Solaris, SunOS, Windows; download yours now. Free. Cool logo.
Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension of CLU.
A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half of the page is an incomplete list of dates, some tentative and some fixed, for upcoming meetings of s...