Communications of the ACM
Embedding boolean expressions into logic programming
Journal of Symbolic Computation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
Constraint logic programming languages
Communications of the ACM
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A general framework for Bi-directional translation between abstract and pictorial data
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Notes on implementing sets in Prolog
Communications of the ACM
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
Quantifier elimination for formulas constrained by quadratic equations
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Backtracking without trailing in CLP (RLin)
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Database querying and constraint programming
ACM SIGACT News
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Backtracking without trailing in CLP ( RLin )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Glimpse of Constraint Satisfaction
Artificial Intelligence Review
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
The framework approach for constraint satisfaction
ACM Computing Surveys (CSUR)
ACM Transactions on Computational Logic (TOCL)
Constraints in computational logics
Building industrial applications with constraint programming
Constraints in computational logics
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Combination of constraint systems II: rational amalgamation
Theoretical Computer Science
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Inference guiding in propositional knowledge bases
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Parametric Sequence Alignment with Constraints
Constraints
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
Predictive Personnel Management
IEEE Intelligent Systems
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Finite-Tree Analysis for Constraint Logic-Based Languages
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Interface Timing Verification with Delay Correlation Using Constraint Logic Programming
EDTC '97 Proceedings of the 1997 European conference on Design and Test
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Emerging technologies to support supply chain management
Communications of the ACM - Why CS students need math
Computer algebra handbook
HydroJ: object-oriented pattern matching for evolvable distributed systems
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Between finite state and Prolog: constraint-based automata for efficient recognition of phrases
Natural Language Engineering
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Processing language with logical types and active constraints
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Theory and Practice of Logic Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
Using active constraints to parse GPSGs
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Finite-tree analysis for constraint logic-based languages
Information and Computation
Encyclopedia of Computer Science
Proceedings of the 2006 ACM symposium on Applied computing
A constraint solver for sequences and its applications
Proceedings of the 2006 ACM symposium on Applied computing
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
Proceedings of the 2007 ACM symposium on Applied computing
A Modeling Layer for Constraint-Programming Libraries
INFORMS Journal on Computing
Theory and Practice of Logic Programming
XCentric: logic programming for XML processing
Proceedings of the 9th annual ACM international workshop on Web information and data management
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Back to the Complexity of Universal Programs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Journal of Symbolic Computation
From exponential to almost linear decomposability of finite or infinite trees
Proceedings of the 2009 ACM symposium on Applied Computing
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the algebraic structure of declarative programming languages
Theoretical Computer Science
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A full first-order constraint solver for decomposable theories
Annals of Mathematics and Artificial Intelligence
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Solving first-order constraints in the theory of the evaluated trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
A novel test case generation method for prolog programs based on call patterns semantics
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
On complementary principles of object-oriented constraint programming
Programming and Computing Software
A 25-year perspective on logic programming
Augmenting video surveillance footage with virtual agents for incremental event evaluation
Pattern Recognition Letters
Unification of the predicate line in the logic-syntactic recognition of raster images
Pattern Recognition and Image Analysis
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Solving first-order constraints in the theory of the evaluated trees
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
About the combination of trees and rational numbers in a complete first-order theory
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Constraint solving for sequences in software validation and verification
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Algorithm A* in logical-structure recognition of objects on raster images
Pattern Recognition and Image Analysis
| Hi-index | 48.25 |
The Prolog III programming language extends Prolog by redefining the fundamental process at its heart: unification. This article presents the specifications of this new language and illustrates its capabilities.