An introduction to LIFE-programming with logic, inheritance, functions, and equations

Default timed concurrent constraint programming

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Deductive database languages: problems and solutions

ACM Computing Surveys (CSUR)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

CLAIRE: combining sets, search and rules to better express algorithms

Theory and Practice of Logic Programming

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

Efficient parameterizable type expansion for typed feature formalisms

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications

An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems