PROLOG implementation

Part of the Lecture Notes in Computer Science book series (LNCS, volume 767)


Database design tools; Entity-Relationship prototype system; logic programming as compiler and target language; architecture of the PROLOG implementation; working with the system; motivating example; data specification language DSL; translation of data sorts, data operations, and data predicates; schema definition language SDL; translation of entity types, attributes, components, relationship types, and type constructions; functions in logic programming languages; query and constraint language CALC; translation of terms, formulas, declarations, and ranges; example for translation of a complex query; translation of the calculus to Horn clause logic.


Entity Type Integrity Constraint Horn Clause Logic Programming Language Ground Fact 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Personalised recommendations