Tau Prolog: A Prolog Interpreter for the Web.
José A. RiazaPublished in: Theory Pract. Log. Program. (2024)
Keyphrases
- programming language
- logic programming
- prolog programs
- abstract machine
- expert systems
- website
- knowledge base
- web applications
- web documents
- theorem proving
- backward chaining
- constraint logic programming
- web pages
- programming paradigms
- web scale
- inference engine
- semantic web
- end users
- web resources
- web information
- web mining
- logic programming language
- natural language
- databases