A pipelined microprocessor for logic programming languages.
Hiroshi NakashimaYasutaka TakedaKatsuto NakajimaHideki AndouKiyohiro FurutaniPublished in: ICCD (1990)
Keyphrases
- programming language
- logic programming
- lambda calculus
- general purpose
- object oriented
- programs written
- database languages
- programming environment
- strongly typed
- denotational semantics
- software engineering
- high level
- predicate logic
- data abstraction
- object oriented programming
- modal logic
- concurrent programming
- java language
- specification language
- floating point
- programming paradigms
- databases