Programs as Collections of Communicating Prolog Units.
Paola MelloAntonio NataliPublished in: ESOP (1986)
Keyphrases
- prolog programs
- logic programming
- logic programs
- document collections
- data sets
- information retrieval
- database
- answer sets
- declarative programming
- intermediate level
- computer programs
- programming language
- knowledge representation
- expert systems
- databases
- answer set programming
- theorem proving
- communication channels
- stable models
- data collections
- digital libraries
- database systems
- functional programming
- partial deduction