"predicates" - related articles and key terms

Related terms: prolog   planner   reasoning   backtracking   robert kowalski   variable bindings   logic programming   source lang   implementations   logic programming languages   constraint logic programming   artificial intelligence

Wikipedia sources: Prolog   Logic programming   Inquiry   Dualism (philosophy of mind)   Scheme (programming language)


Context for words: predicates