An integrated Prolog programming environment
ACM SIGPLAN Notices
An integrated Prolog programming environment
ACM SIGPLAN Notices
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
IDL '94 Proceedings of the workshop on Interface definition languages
Automated Software Engineering
Handling imperfect knowledge handling in Milord II for the identification of marine sponges
Applications of Uncertainty Formalisms
Pragmatics in the Synthesis of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Journal of Functional Programming
A parameterised module system for constructing typed logic programs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
A modular semantics for higher-order declarative programming with constraints
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A multi-level logic programming model of a query optimizer
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Dynamic composition of parameterised logic modules
Computer Languages
Hi-index | 0.00 |