The following pages link to Prolog (Q18616):
Displaying 50 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- Programming languages and operational semantics. A concise overview (Q405750) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Virtual time and virtual space (Q685231) (← links)
- Relative clause extraposition in German: An efficient and portable implementation (Q812149) (← links)
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- A list processing language TAO with multiple programming paradigms (Q1082798) (← links)
- Implementing tactics and tacticals in a higher-order logic programming language (Q1311396) (← links)
- SD-solver: Towards a ``Multidirectional'' CLP-based simulation tool. Framework and short financial examples (Q1362860) (← links)
- Programming constraint services. High-level programming of standard and new constraint services (Q1600089) (← links)
- Musical constraint satisfaction problems solved with adaptive search (Q1769675) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- PAN: A portable, parallel Prolog: Its design, realisation and performance. (Q1862650) (← links)
- Computational systems for qualitative economics (Q1891388) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- Local search-based hybrid algorithms for finding Golomb rulers (Q2385176) (← links)
- Proving Arrow's theorem by \texttt{PROLOG} (Q2385186) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- Enhancing set constraint solvers with lexicographic bounds (Q2476614) (← links)
- The Boolean Constraint Solver of SWI-Prolog (System Description) (Q2798256) (← links)
- kProbLog: An Algebraic Prolog for Kernel Programming (Q2827476) (← links)
- Logic Programming with Prolog (Q2864123) (← links)
- Language Processing with Perl and Prolog (Q2865938) (← links)
- Realizing the dependently typed \(\lambda\)-calculus (Q2883111) (← links)
- The YAP prolog system (Q2893087) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- Coinductive Constraint Logic Programming (Q2900266) (← links)
- Fuzzy estimators in expert systems (Q2908343) (← links)
- Minimizing the overheads of dependent AND-parallelism (Q2909152) (← links)
- Datafun: a functional Datalog (Q2982016) (← links)
- (Q3365930) (← links)
- Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars (Q3387901) (← links)
- An Alternative to SAT-Based Approaches for Bit-Vectors (Q3557070) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485) (← links)
- (Q4413056) (← links)
- (Q4446083) (← links)
- A systems theoretic approach to the design and implementation of a solver component for a management information system (Q4470637) (← links)
- Analysing Symbolic Music with Probabilistic Grammars (Q4595377) (← links)
- (Q4692548) (← links)
- Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739) (← links)
- Lightweight compilation of (C)LP to JavaScript (Q4911147) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- (Q5109401) (← links)
- Logic Programming (Q5191485) (← links)
- A sequent calculus and a theorem prover for standard conditional logics (Q5277787) (← links)
- Constraint functional logic programming over finite domains (Q5309079) (← links)
- Debugging for Model Expansion (Q5325763) (← links)
- Improving the ISO Prolog Standard by Analyzing Compliance Test Results (Q5449605) (← links)
