Cited in
(only showing first 100 items - show all)- A list processing language TAO with multiple programming paradigms
- Programming constraint services. High-level programming of standard and new constraint services
- scientific article; zbMATH DE number 2031599 (Why is no real title available?)
- Local search-based hybrid algorithms for finding Golomb rulers
- Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving
- 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
- Programming languages and operational semantics. A concise overview
- A systems theoretic approach to the design and implementation of a solver component for a management information system
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
- scientific article; zbMATH DE number 1950443 (Why is no real title available?)
- Debugging for Model Expansion
- The YAP prolog system
- Interval propagation to reason about sets: Definition and implementation of a practical language
- An alternative to SAT-based approaches for bit-vectors
- Minimizing the overheads of dependent AND-parallelism
- Principles and Practice of Constraint Programming – CP 2003
- Enhancing set constraint solvers with lexicographic bounds
- Logic Programming
- 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
- Improving the ISO Prolog Standard by Analyzing Compliance Test Results
- 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
- ASPeRiX
- CS-Prolog
- LogiMOO
- PROTOS-L
- CHIP
- DELORES
- clpfd
- wamcc
- B-Prolog
- FuzzyCLIPS
- YAP-Prolog
- MontiCore
- Mercury
- Commonloops
- CondLean
- Tac
- PARTHEO
- NESCOND
- SRILM
- FPsolve
- SICStus
- Metatool
- XSB
- CLPGUI
- Petriweb
- GULP
- GHC
- FPROLOG
- clpb
- MetaEdit+
- Datafun
- SugarJ
- HunPos
- LibShortText
- Grammar Matrix
- SWI-Prolog
- Neverlang
- LPaaS
- anthem
- FaCiLe
- SenticNet
- 2P-Kt
- tuProlog
- TuCSoN
- TuSoW
- On the effectiveness of higher-order logic programming in language-oriented programming
- Logic programming with Prolog
- Realizing the dependently typed \(\lambda\)-calculus
- An Introduction to Language Processing with Perl and Prolog
- Programming finite-domain constraint propagators in Action Rules
- A sequent calculus and a theorem prover for standard conditional logics
- Evolutionary Computation in Combinatorial Optimization
- Well-founded semantics for defeasible logic
- Proving Arrow's theorem by \texttt{PROLOG}
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- Language processing with Perl and Prolog. Theories, implementation, and application
- VeriFly
- Fuzzy estimators in expert systems
- Mathematical logic
- Constraint functional logic programming over finite domains
- Datafun: a functional Datalog
- lang-n-play
- Implementing tactics and tacticals in a higher-order logic programming language
- Coinductive constraint logic programming
- scientific article; zbMATH DE number 194580 (Why is no real title available?)
- SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
- A unifying approach to goal-directed evaluation
- scientific article; zbMATH DE number 5006011 (Why is no real title available?)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
- Analysing symbolic music with probabilistic grammars
- The Boolean constraint solver of SWI-Prolog (system description)
This page was built for software: Prolog