Use of PROLOG as an implementation tool for FDT lotos.
Romi J. BarjaktarevicJan RoosRobert VerkroostPublished in: ICCC (1988)
Keyphrases
- formal specification language
- logic programming
- programming tool
- software tools
- efficient implementation
- evolutionary algorithm
- programming language
- temporal logic
- website
- implementation issues
- information systems
- artificial intelligence
- knowledge representation
- general purpose
- neural network
- user friendly
- relational databases
- analysis tool
- functional programming