Prolog Cafe : A Prolog to Java Translator System.
Mutsunori BanbaraNaoyuki TamuraKatsumi InouePublished in: INAP (2005)
Keyphrases
- programming language
- logic programming
- abstract machine
- expert systems
- prolog programs
- logic programming language
- inference engine
- knowledge base
- knowledge representation
- programming paradigms
- high level
- object oriented
- theorem proving
- constraint logic programming
- web applications
- functional programming
- inference rules
- database
- software engineering
- web services
- artificial intelligence