A versatile module system for Prolog mapped to flat prolog

Authors:
Isambo Karali;Evangelos Pelecanos;Constantin Halatsis
Affiliations:
University of Athens, Department of Informatics;University of Athens, Department of Informatics;University of Athens, Department of Informatics
Venue:
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Year:
1993

Micro-PROLOG: programming in logic

Micro-PROLOG: programming in logic
Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
The art of Prolog: advanced programming techniques

The art of Prolog: advanced programming techniques
Fundamentals of programming languages (2nd ed.)

Fundamentals of programming languages (2nd ed.)
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
A Preprocessor Based Module System for Prolog

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages

Abstract data type support in Prolog and its relation to parallelism

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
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

Hi-index	0.00