Prolog

#	Item
731	PDF Document Add to Reading List Source URL: ssdi.di.fct.unl.pt Language: English - Date: 2006-10-10 10:09:19 Functions and mappings Predicate logic Model theory Prolog Function Datalog Predicate variable FO Inference Logic Mathematics Mathematical logic
732	PDF Document Add to Reading List Source URL: fsl.cs.uiuc.edu Language: English Prolog Operator SQL C Atom Prolog syntax and semantics Computing Software engineering Programming language theory
733	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-10-16 04:59:10 Artificial intelligence Ontology Knowledge representation Knowledge engineering Information science Prolog Web Ontology Language Semantic reasoner Description logic Semantic Web Computing Information
734	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-05-17 22:40:01 Lisp programming language Prolog Predicate Append Logic programming Logtalk List comprehension Common Lisp Backtracking Software engineering Computing Computer programming
735	PDF Document Add to Reading List Source URL: prolog.developpez.com Language: French
736	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-10-10 20:10:32 Data management RDF Web services Prolog Metadata RDF Schema Triplestore Named graph Inference Computing Semantic Web Software engineering