Search results
From MaRDI portal
- Computation with run time skolemisation (N-Prolog part 3) 1994-02-01 Paper N-Prolog: An extension of Prolog with hypothetical implications. I. 1984-01-01...10 bytes (16 words) - 14:26, 13 December 2023
- Publication Date of Publication Type Coding guidelines for Prolog 2012-12-27 Paper O(1) reversible tree navigation without cycles 2004-03-01 Paper Solving...10 bytes (18 words) - 01:55, 13 December 2023
- Termination of Binary CLP Programs 2008-04-24 Paper Improving Prolog programs: Refactoring for Prolog 2008-03-27 Paper Recurrence with affine level mappings is...10 bytes (16 words) - 04:13, 9 December 2023
- 2022-08-25 Paper An Integrated Approach to Assertion-Based Random Testing in Prolog 2022-08-25 Paper Testing your (static analysis) truths 2022-03-23 Paper...10 bytes (19 words) - 03:58, 12 December 2023
- 2014-11-25 Paper Delimited continuations for prolog 2014-02-27 Paper Coding guidelines for Prolog 2012-12-27 Paper SWI-Prolog 2012-06-25 Paper Logic Programming...10 bytes (17 words) - 06:45, 7 October 2023
- refinement 1993-05-16 Paper A comparison of three PROLOG extensions 1992-08-13 Paper Near-Horn prolog and beyond 1991-01-01 Paper Finding critical sets...10 bytes (19 words) - 16:04, 10 December 2023
- transition systems 2000-03-19 Paper Towards a logical semantics for pure Prolog 2000-01-04 Paper A transformation system for concurrent processes 1999-04-26...10 bytes (18 words) - 00:46, 13 December 2023
- probabilistic Prolog programs 2009-03-31 Paper On the Efficient Execution of ProbLog Programs 2009-01-22 Paper Revising Probabilistic Prolog Programs 2007-11-15...10 bytes (16 words) - 02:31, 11 December 2023
- Planning in hybrid relational MDPs 2018-02-26 Paper kProbLog: an algebraic Prolog for machine learning 2018-02-26 Paper Inference and learning in probabilistic...10 bytes (19 words) - 06:04, 9 December 2023
- Paper Revisiting da Costa logic 2016-06-30 Paper A logical approach to A-Prolog 2013-04-19 Paper Equivalence for the \(G_3^\prime\)-stable models semantics...10 bytes (22 words) - 23:54, 10 December 2023
- Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System 2011-05-19 Paper Planning for Multiagent Using ASP-Prolog 2010-11-09 Paper...10 bytes (18 words) - 16:36, 6 October 2023
- 2000-09-14 Paper Automated verification of Prolog programs 1999-11-01 Paper Reexecution in abstract interpretation of prolog 1999-05-05 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 16:16, 24 September 2023
- reasoning in Prolog: The DLog system 2009-08-19 Paper Prolog Based Description Logic Reasoning 2009-01-22 Paper Description Logic Reasoning in Prolog 2008-03-11...10 bytes (16 words) - 09:28, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4849970 1995-10-04 Paper IDNAF Prolog 1994-08-07 Paper https://portal.mardi4nfdi.de/entity/Q3830553 1989-01-01...10 bytes (18 words) - 09:08, 9 December 2023
- deduction and abduction 1995-02-22 Paper A Prolog technology theorem prover: A new exposition and implementation in Prolog 1993-01-17 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 10:08, 24 September 2023
- Design and analysis of hardware for high-performance prolog 1997-12-08 Paper An integrated Prolog architecture for symbolic and numeric executions 1997-05-13...10 bytes (19 words) - 12:19, 28 January 2024
- de/entity/Q4023284 1993-01-23 Paper Compositional operational semantics for Prolog programs 1992-08-13 Paper https://portal.mardi4nfdi.de/entity/Q3484365 1989-01-01...10 bytes (18 words) - 04:10, 9 December 2023
- de/entity/Q3212265 1989-01-01 Paper OR-parallel PROLOG in flat concurrent PROLOG 1989-01-01 Paper Specialisation of Prolog and FCP programs using abstract interpretation...10 bytes (17 words) - 16:19, 6 October 2023
- 2022-08-25 Paper An Integrated Approach to Assertion-Based Random Testing in Prolog 2022-08-25 Paper Testing your (static analysis) truths 2022-03-23 Paper...10 bytes (18 words) - 16:22, 7 December 2023
- interpretation of logic programs 1994-04-05 Paper Modelling Prolog Control 1994-03-27 Paper Specialisation of Prolog and FCP programs using abstract interpretation...10 bytes (16 words) - 11:27, 11 December 2023
