Prolog
Most Relevant Related Tags
- alain colmerauer [10%]
- swi-prolog [10%]
- horn clause [7%]
- turing completeness [7%]
- imperative programming [7%]
- negation as failure [7%]
- logic programming [7%]
- visual prolog [7%]
- xsb [7%]
- arity [7%]
- bprolog [7%]
- declarative programming [7%]
- ow prolog [4%]
- oblog [4%]
- operating system [4%]
- message passing interface [4%]
- marseille [4%]
- memoization [4%]
- predicate logic [4%]
- meta-circular evaluator [4%]
This is the cloud of related tags for the Prolog concept
abstract interpretation abstract syntax tree alain colmerauer arity artificial intelligence bprolog backtracking character encoding comparison of prolog implementations computational linguistics constraint logic programming currying cyan worlds data type datalog declarative programming definite clause grammar dynamic programming eclipse edinburgh f-logic france french language gnu prolog graphical user interface horn clause imperative programming international organization for standardization ivan bratko knowledge representation list comprehension logic logic programming logical conjunction logical disjunction logtalk marseille memoization message passing interface meta-circular evaluator negation as failure non-monotonic logic ow prolog oblog operating system predicate logic programming language implementation programming paradigm prologue prova robert kowalski sld resolution swi-prolog scotland strawberry prolog tail recursion tuprolog turing completeness unicode unification visual prolog wikibooks xsb