Logic programming uses logic and proof procedures to define and resolve problems.
Find out about upcoming conferences, read their newsletter, and find out how to become a member. Programming Online journal covers topics in functional and logic programming. Articles on various aspects of constraint programming. Collection of information and resources for research in programming language theory, design, implementation, and related areas including automated deduction, constraints, dynamic storage allocation, formal methods, functional programming, logic programming, logical frameworks, object oriented programming, semantics-based program analysis and manipulation, software engineering, and visual programming. Logic Programming Links to logic programming information including general repositories, Prolog, window system interfaces, other logic programming systems, meetings and other related information.