Prolog and natural-language analysis
Prolog and natural-language analysis
Garbarge collection for Prolog based on WAM
Communications of the ACM
Developing multi-agent systems with a FIPA-compliant agent framework
Software—Practice & Experience
The Cathedral and the Bazaar
ECLiPSe: Declarative Specification and Scaleable Implementation
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Gprof: A call graph execution profiler
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
ActiveRDF: object-oriented semantic web programming
Proceedings of the 16th international conference on World Wide Web
Theory and Practice of Logic Programming
Thesaurus-Based Search in Large Heterogeneous Collections
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Improving the ISO prolog standard by analyzing compliance test results
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Attempts to verify written English
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
A modeling method and declarative language for temporal reasoning based on fluid qualities
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Proceedings of the 2012 Symposium on Military Modeling and Simulation
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Declarative datalog debugging for mere mortals
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Smchr: Satisfiability modulo constraint handling rules
Theory and Practice of Logic Programming
Constraints
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Satisfiability modulo constraint handling rules (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computers and Electronics in Agriculture
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.01 |
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.