Prolog
From MaRDI portal
Software:18616
No author found.
Related Items (56)
N-Prolog: An extension of Prolog with hypothetical implications. I. ⋮ A sequent calculus and a theorem prover for standard conditional logics ⋮ On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity ⋮ A list processing language TAO with multiple programming paradigms ⋮ The YAP Prolog system ⋮ The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ Coinductive Constraint Logic Programming ⋮ Computational systems for qualitative economics ⋮ Local search-based hybrid algorithms for finding Golomb rulers ⋮ Proving Arrow's theorem by \texttt{PROLOG} ⋮ Unnamed Item ⋮ Constraint functional logic programming over finite domains ⋮ Unnamed Item ⋮ SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples ⋮ Choices in representation and reduction strategies for lambda terms in intensional contexts ⋮ Evolutionary Computation in Combinatorial Optimization ⋮ Debugging for Model Expansion ⋮ Unnamed Item ⋮ Programming languages and operational semantics. A concise overview ⋮ Analysing Symbolic Music with Probabilistic Grammars ⋮ Well-founded semantics for defeasible logic ⋮ Unnamed Item ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Datafun: a functional Datalog ⋮ Logic Programming ⋮ Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving ⋮ An Alternative to SAT-Based Approaches for Bit-Vectors ⋮ Interval propagation to reason about sets: Definition and implementation of a practical language ⋮ Lightweight compilation of (C)LP to JavaScript ⋮ Virtual time and virtual space ⋮ Enhancing set constraint solvers with lexicographic bounds ⋮ Logic Programming ⋮ Musical constraint satisfaction problems solved with adaptive search ⋮ A unifying approach to goal-directed evaluation ⋮ Improving the ISO Prolog Standard by Analyzing Compliance Test Results ⋮ The Boolean Constraint Solver of SWI-Prolog (System Description) ⋮ On the effectiveness of higher-order logic programming in language-oriented programming ⋮ Unnamed Item ⋮ An Introduction to Language Processing with Perl and Prolog ⋮ Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars ⋮ Unnamed Item ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Principles and Practice of Constraint Programming – CP 2003 ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems ⋮ kProbLog: An Algebraic Prolog for Kernel Programming ⋮ Programming finite-domain constraint propagators in Action Rules ⋮ A systems theoretic approach to the design and implementation of a solver component for a management information system ⋮ Realizing the Dependently Typed Lambda Calculus. ⋮ Minimizing the overheads of dependent AND-parallelism ⋮ Logic Programming with Prolog ⋮ Implementing tactics and tacticals in a higher-order logic programming language ⋮ Language Processing with Perl and Prolog ⋮ Programming constraint services. High-level programming of standard and new constraint services ⋮ PAN: A portable, parallel Prolog: Its design, realisation and performance. ⋮ Relative clause extraposition in German: An efficient and portable implementation
This page was built for software: Prolog
