An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1.
Masaru OhkiAkikazu TakeuchiKoichi FurukawaPublished in: ICLP (1987)
Keyphrases
- programming language
- logic programming language
- logic programming
- object oriented
- high level programming language
- constraint logic programming
- object oriented concepts
- software engineering
- general purpose
- deductive databases
- strongly typed
- high level
- answer set programming
- inference rules
- specification language
- default logic
- data model
- computer programs
- programming environment
- situation calculus
- database languages
- object oriented programming
- answer sets
- parallel processing
- parallel programming
- functional language
- programming paradigms
- database
- constraint satisfaction
- logic programs
- relational databases
- databases