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