Fifty Years of Prolog and Beyond (Q6063890): Difference between revisions

@@ Property / cites work @@
+Q3992583
@@ Property / cites work: Q3992583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020572
@@ Property / cites work: Q5020572 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Logic Programming Using ECL<sup><i>i</i></sup>PS<sup><i>e</i></sup>
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Programming without Grounding
+Normal rank
@@ Property / cites work @@
+Q4796144
@@ Property / cites work: Q4796144 / rank @@
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing global constraints in CHIP
@@ Property / cites work: Introducing global constraints in CHIP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3571951
@@ Property / cites work: Q3571951 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for skeptical stable model semantics
@@ Property / cites work: Resolution for skeptical stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839029
@@ Property / cites work: Q4839029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663380
@@ Property / cites work: Q5663380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735050
@@ Property / cites work: Q3735050 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767050
@@ Property / cites work: Q2767050 / rank @@
+Normal rank
@@ Property / cites work @@
+SICStus Prolog—The first 25 years
@@ Property / cites work: SICStus Prolog—The first 25 years / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812993
@@ Property / cites work: Q4812993 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
+Normal rank
@@ Property / cites work @@
+PARLOG: parallel programming in logic
@@ Property / cites work: PARLOG: parallel programming in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353338
@@ Property / cites work: Q4353338 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling constraints in clp(FD)
@@ Property / cites work: Compiling constraints in clp(FD) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3049801
@@ Property / cites work: Q3049801 / rank @@
+Normal rank
@@ Property / cites work @@
+Total Precedence Relations
@@ Property / cites work: Total Precedence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857726
@@ Property / cites work: Q3857726 / rank @@
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+Coding guidelines for Prolog
@@ Property / cites work: Coding guidelines for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
+Normal rank
@@ Property / cites work @@
+Q4873717
@@ Property / cites work: Q4873717 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of<tt>GNU Prolog</tt>
@@ Property / cites work: On the implementation of<tt>GNU Prolog</tt> / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient context-free parsing algorithm
@@ Property / cites work: An efficient context-free parsing algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Absys: the first logic programming language —A retrospective and a commentary
+Normal rank
@@ Property / cites work @@
+Hybrid type checking
@@ Property / cites work: Hybrid type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340205
@@ Property / cites work: Q3340205 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic code browsing
@@ Property / cites work: Semantic code browsing / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+Q4227005
@@ Property / cites work: Q4227005 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Computation, Co-induction and Computational Logic
+Normal rank
@@ Property / cites work @@
+Modules for Prolog Revisited
@@ Property / cites work: Modules for Prolog Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738543
@@ Property / cites work: Q3738543 / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Q3732947
@@ Property / cites work: Q3732947 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702568
@@ Property / cites work: Q4702568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218865
@@ Property / cites work: Q4218865 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming in the 1970s
@@ Property / cites work: Logic Programming in the 1970s / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive computing as model generation
@@ Property / cites work: Reactive computing as model generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Logic program specialisation through partial  deduction: Control issues
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+A design and implementation of the Extended Andorra Model
+Normal rank
@@ Property / cites work @@
+Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Q4411982
@@ Property / cites work: Q4411982 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Description and Optimization of Abstract Machines in a Dialect of Prolog
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763626
@@ Property / cites work: Q2763626 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and control in PROLOG
@@ Property / cites work: Negation and control in PROLOG / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q5020541
@@ Property / cites work: Q5020541 / rank @@
+Normal rank
@@ Property / cites work @@
+From tuple spaces to tuple centres
@@ Property / cites work: From tuple spaces to tuple centres / rank @@
+Normal rank
@@ Property / cites work @@
+Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
+Normal rank
@@ Property / cites work @@
+Q3992706
@@ Property / cites work: Q3992706 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+Q2723933
@@ Property / cites work: Q2723933 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe &amp; Efficient Gradual Typing for TypeScript
@@ Property / cites work: Safe & Efficient Gradual Typing for TypeScript / rank @@
+Normal rank
@@ Property / cites work @@
+Q5233781
@@ Property / cites work: Q5233781 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+On applying or-parallelism and tabling to logic programs
+Normal rank
@@ Property / cites work @@
+Q3662589
@@ Property / cites work: Q3662589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702600
@@ Property / cites work: Q2702600 / rank @@
+Normal rank
@@ Property / cites work @@
+ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP
@@ Property / cites work: ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Typed Prolog
@@ Property / cites work: Towards Typed Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Delimited continuations for prolog
@@ Property / cites work: Delimited continuations for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming
@@ Property / cites work: Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: A new exposition and implementation in Prolog
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4800171
@@ Property / cites work: Q4800171 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the ISO Prolog Standard by Analyzing Compliance Test Results
+Normal rank
@@ Property / cites work @@
+Q3746920
@@ Property / cites work: Q3746920 / rank @@
+Normal rank
@@ Property / cites work @@
+The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
+Normal rank
@@ Property / cites work @@
+The Boolean Constraint Solver of SWI-Prolog (System Description)
+Normal rank
@@ Property / cites work @@
+Guarded horn clauses
@@ Property / cites work: Guarded horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+A logical reconstruction of Prolog II
@@ Property / cites work: A logical reconstruction of Prolog II / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+–1993: The wonder years of sequential Prolog implementation
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+SWI-Prolog and the web
@@ Property / cites work: SWI-Prolog and the web / rank @@
+Normal rank
@@ Property / cites work @@
+Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Programming finite-domain constraint propagators in Action Rules
+Normal rank
@@ Property / cites work @@
+The language features and architecture of B-Prolog
+Normal rank