Compiling Multi-Paradigm Declarative Programs into Prolog.
Sergio AntoyMichael HanusPublished in: FroCoS (2000)
Keyphrases
- declarative programming
- answer set programming
- logic programming
- logic programs
- prolog programs
- knowledge representation
- declarative semantics
- logic programming language
- expert systems
- partial deduction
- databases
- procedural semantics
- data mining
- programming environment
- theorem proving
- information technology
- high level
- e learning
- deductive database systems
- information systems