Prolog

swMATH6518MaRDI QIDQ18616FDOQ18616

Author name not available (Why is that?)

Described by source

• On the implementation of GNU Prolog

Cited In (56)

• Logic Programming
• Improving the ISO Prolog Standard by Analyzing Compliance Test Results
• Virtual time and virtual space
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• PAN: A portable, parallel Prolog: Its design, realisation and performance.
• \textsc{Tor}: modular search with hookable disjunction
• A systems theoretic approach to the design and implementation of a solver component for a management information system
• Programming languages and operational semantics. A concise overview
• Debugging for Model Expansion
• Title not available (Why is that?)
• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• The YAP prolog system
• Principles and Practice of Constraint Programming – CP 2003
• An alternative to SAT-based approaches for bit-vectors
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Minimizing the overheads of dependent AND-parallelism
• Enhancing set constraint solvers with lexicographic bounds
• Computational systems for qualitative economics
• Choices in representation and reduction strategies for lambda terms in intensional contexts
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Musical constraint satisfaction problems solved with adaptive search
• Judging actions on the basis of prima facie duties. The case of self-driving cars
• Specification and correctness proof of a WAM extension with abstract type constraints
• Lightweight compilation of (C)LP to JavaScript
• On the effectiveness of higher-order logic programming in language-oriented programming
• Logic programming with Prolog
• An Introduction to Language Processing with Perl and Prolog
• Programming finite-domain constraint propagators in Action Rules
• Realizing the dependently typed \(\lambda\)-calculus
• A sequent calculus and a theorem prover for standard conditional logics
• Evolutionary Computation in Combinatorial Optimization
• Proving Arrow's theorem by \texttt{PROLOG}
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• Well-founded semantics for defeasible logic
• Language processing with Perl and Prolog. Theories, implementation, and application
• Fuzzy estimators in expert systems
• Mathematical logic
• Constraint functional logic programming over finite domains
• Datafun: a functional Datalog
• Implementing tactics and tacticals in a higher-order logic programming language
• Coinductive constraint logic programming
• Title not available (Why is that?)
• A unifying approach to goal-directed evaluation
• SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
• Title not available (Why is that?)
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• Logic Programming
• Analysing symbolic music with probabilistic grammars
• The Boolean constraint solver of SWI-Prolog (system description)
• kProbLog: an algebraic Prolog for kernel programming
• Relative clause extraposition in German: An efficient and portable implementation
• Title not available (Why is that?)
• A list processing language TAO with multiple programming paradigms
• Programming constraint services. High-level programming of standard and new constraint services
• Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving
• Local search-based hybrid algorithms for finding Golomb rulers

This page was built for software: Prolog