FOLON: An Environment for Declarative Construction of Logic Programs

Authors:
Jean Henrard;Baudouin Le Charlier
Affiliations:
-;-
Venue:
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Year:
1992

Citing 0
Cited 3

Logic program based action specifications

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract