Abstract
No abstract available.
Cited By
- Bossard A and Kaneko K A New Methodology for a Functional and Logic Programming Course Proceedings of the 20th Annual SIG Conference on Information Technology Education, (63-68)
- Nunes-Harwitt A From Naïve to Norvig On Deriving a PROLOG Compiler Proceedings of ILC 2014 on 8th International Lisp Conference, (70-78)
- López-Fraguas F, Martin-Martin E and Rodríguez-Hortalá J Well-typed narrowing with extra variables in functional-logic programming Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, (83-92)
- Tarau P (2018). The binprolog experience, Theory and Practice of Logic Programming, 12:1-2, (97-126), Online publication date: 1-Jan-2012.
- Ströder T, Emmes F, Schneider-Kamp P, Giesl J and Fuhs C A linear operational semantics for termination and complexity analysis of ISO prolog Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation, (237-252)
- van den Brand M, van der Meer A, Serebrenik A and Hofkamp A Formally specified type checkers for domain specific languages Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, (1-7)
- Schneider-kamp P, Giesl J, StrÖder T, Serebrenik A and Thiemann R (2018). Automated termination analysis for logic programs with cut*, Theory and Practice of Logic Programming, 10:4-6, (365-381), Online publication date: 1-Jul-2010.
- Ströder T, Schneider-Kamp P and Giesl J Dependency triples for improving termination analysis of logic programs with cut Proceedings of the 20th international conference on Logic-based program synthesis and transformation, (184-199)
- Piancastelli G, Benini A, Omicini A and Ricci A The architecture and design of a malleable object-oriented prolog engine Proceedings of the 2008 ACM symposium on Applied computing, (191-197)
- Wielemaker J, Huang Z and Van der meij L (2008). Swi-prolog and the web, Theory and Practice of Logic Programming, 8:3, (363-392), Online publication date: 1-May-2008.
- Şavga I and Rudolf M Refactoring-based support for binary compatibility in evolving frameworks Proceedings of the 6th international conference on Generative programming and component engineering, (175-184)
- Pelzer B and Wernhard C System Description Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (508-513)
- Małuszyński J, Szałas A and Vitória A A four-valued logic for rough set-like approximate reasoning Transactions on rough sets VI, (176-190)
- Cohen T, Gil J and Maman I JTL Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (89-108)
- Cohen T, Gil J and Maman I (2006). JTL, ACM SIGPLAN Notices, 41:10, (89-108), Online publication date: 16-Oct-2006.
- King A and Martin J (2019). Control Generation by Program Transformation, Fundamenta Informaticae, 69:1-2, (179-218), Online publication date: 1-Jan-2006.
- King A and Martin J (2006). Control Generation by Program Transformation, Fundamenta Informaticae, 69:1-2, (179-218), Online publication date: 1-Jan-2006.
- Braem M, Verlaenen K, Joncheere N, Vanderperren W, Van Der Straeten R, Truyen E, Joosen W and Jonckers V Isolating process-level concerns using padus Proceedings of the 4th international conference on Business Process Management, (113-128)
- Mesnard F and Bagnara R (2005). cTI: a constraint-based termination inference tool for ISO-Prolog, Theory and Practice of Logic Programming, 5:1-2, (243-257), Online publication date: 1-Jan-2005.
- Benoy F, King A and Mesnard F (2005). Computing convex hulls with a linear solver, Theory and Practice of Logic Programming, 5:1-2, (259-271), Online publication date: 1-Jan-2005.
- Denti E, Omicini A and Ricci A (2005). Multi-paradigm Java-Prolog integration in tuProlog, Science of Computer Programming, 57:2, (217-250), Online publication date: 1-Aug-2005.
- Kulaš M (2005). Toward the Concept of Backtracking Computation, Electronic Notes in Theoretical Computer Science (ENTCS), 128:1, (39-59), Online publication date: 1-May-2005.
- Vitória A A framework for reasoning with rough sets Transactions on Rough Sets IV, (178-276)
- Janzen D and De Volder K Navigating and querying code without getting lost Proceedings of the 2nd international conference on Aspect-oriented software development, (178-187)
- Rippert C (2003). Protection in flexible operating system architectures, ACM SIGOPS Operating Systems Review, 37:4, (8-18), Online publication date: 1-Oct-2003.
- Mens T and Tourwe T A Declarative Evolution Framework for Object-Oriented Design Patterns Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Leuschel M Logic Program Specialisation Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (155-188)
Index Terms
- Prolog: the standard: reference manual
Recommendations
Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf
$\lambda$Prolog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can be implemented with a great economy of expression. We encode a higher-order logic using an ...
A Dynamic Logic-Based Modal Prolog
MICAI '12: Proceedings of the 2012 11th Mexican International Conference on Artificial IntelligenceThe field of modal logic programming has been developed to extend the expressiveness of logic programming. By introducing the modal operators of necessity and possibility within the language of Horn clauses, modal logic programming languages retain its ...