"9" Result
Sort By:
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.
Logic Programming: the 1995 International Symposium
0
Type: Book
The theme for the 1995 conference is ""Declarative Systems, "" particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programmi…
