Prolog
From MaRDI portal
swMATH6518MaRDI QIDQ18616FDOQ18616
Author name not available (Why is that?)
Official website: http://www.gprolog.org/
Cited In (98)
- 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.
- Programming languages and operational semantics. A concise overview
- 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
- 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
- Specification and correctness proof of a WAM extension with abstract type constraints
- On the effectiveness of higher-order logic programming in language-oriented programming
- Logic programming with Prolog
- DELORES
- clpfd
- wamcc
- B-Prolog
- FuzzyCLIPS
- YAP-Prolog
- MontiCore
- Realizing the dependently typed \(\lambda\)-calculus
- Mercury
- Commonloops
- CondLean
- Tac
- PARTHEO
- NESCOND
- SRILM
- FPsolve
- SICStus
- Metatool
- XSB
- CLPGUI
- Petriweb
- A sequent calculus and a theorem prover for standard conditional logics
- Evolutionary Computation in Combinatorial Optimization
- GULP
- GHC
- FPROLOG
- clpb
- MetaEdit+
- Datafun
- SugarJ
- HunPos
- LibShortText
- Grammar Matrix
- SWI-Prolog
- Neverlang
- LPaaS
- anthem
- FaCiLe
- 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
- SenticNet
- 2P-Kt
- tuProlog
- TuCSoN
- TuSoW
- Fuzzy estimators in expert systems
- 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
- Title not available (Why is that?)
- SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
- 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)
- 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
- VeriFly
- \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
- Debugging for Model Expansion
- Minimizing the overheads of dependent AND-parallelism
- Logic Programming
- 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
- Lightweight compilation of (C)LP to JavaScript
- An Introduction to Language Processing with Perl and Prolog
- Programming finite-domain constraint propagators in Action Rules
- Language processing with Perl and Prolog. Theories, implementation, and application
- Mathematical logic
- A unifying approach to goal-directed evaluation
- Title not available (Why is that?)
- Logic Programming
This page was built for software: Prolog
