Software Formal Specification by Logic Programming: The Example of Standard Prolog.
AbdelAli Ed-DbaliPierre DeransartPublished in: Logic Programming Summer School (1992)
Keyphrases
- logic programming
- formal specification
- object oriented design
- logic programs
- logic programming language
- formal methods
- model checking
- software components
- deductive databases
- answer set programming
- knowledge base
- nonmonotonic reasoning
- knowledge representation
- constraint logic programming
- programming language
- computational logic
- inductive logic programming
- default logic
- stable models
- software systems
- answer sets
- procedural semantics
- case study
- software design
- reverse engineering
- background knowledge
- multi agent
- business rules
- database systems
- source code
- software development
- information systems
- fine grained