Tag:Prolog
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming logic ai puzzle development datalog languages language database declarative einstein zebra math constraint csp logicprogramming databases game article calculus constraints linguistics relational algorithms db history asp sequent artificialintelligence erlang dissertation rules @read theory constraint_programming haskell intelligence paradigm interesting research logic-programming query logic-puzzle later hmc riddle inteligencia-artificial smart brainy einstien knowledge-management water lang sl_research_dimensions_in_design toread nonbeard unification ii.ia functional lambda cs lenguaje-programacion-logico games diploma programming_language @learn lisp to_read starred @now @toread solver java paradigms cp icontact ideas @programming-or constraintprogramming clp algorithm contraint haskell-types geek getzen prj:ld rbp quotes 5gl ansprolog rule step compsci dataspace based logical answersetprogramming 4gl semanticweb search
Articles
- Prolog (57)prolog programming wikipedia ai development wiki reference logic language languages linguistics erlang article intelligence artificialintelligence icontact hmc inteligencia-artificial knowledge-management lenguaje-programacion-logico ks5 gp delanick 5gl 4gl @read artificial declarative artigos_wiki_para_ler dynamic_programming
- Datalog (11)
- Answer set programming (2)
- Logic programming (2)
- Sequent calculus (1)logic math calculus sequent wikipedia research proof-theory sequence prolog pl>lisp>qi wiki-entry wikipediapage wikipedia-entry people-richard_gentzen sequent-calculus sequent-calculi-lk logics gentzen-systems gentzen deduction csci499h getzen haskell-sequent-calculus mathematics mathematical-logic lk haskell-types nonbeard
- Unification (1)
- Zebra Puzzle (1)
- Constraint programming (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Prolog"
