Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
711	PDF Document Add to Reading List Source URL: www.sci.brooklyn.cuny.edu Language: English - Date: 2003-09-03 10:42:12 Rules of inference Logic programming B-Prolog SLD resolution Prolog Datalog Computer program Resolution XSB Computing Software engineering Computer programming
712	PDF Document Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2006-08-14 07:57:03 Prolog Algebraic Logic Functional programming language Lisp programming language Append Logic programming XL Programming language Operator Ground expression Software engineering Computing Computer programming
713	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:33 Predicate logic Logic in computer science Logic programming Programming paradigms ΛProlog Functional programming Unification Prolog Lambda calculus Mathematics Software engineering Mathematical logic
714	PDF Document Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-07-31 12:13:28 Data types Type system Pointer Prolog Assembly language ALGOL 68 C Floating point Tagged union Computing Software engineering Computer programming
715	PDF Document Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2003-10-01 09:35:32 Prolog Definite clause grammar Logic programming Computer program Swedish Institute of Computer Science Predicate Visual Prolog Computing Software engineering Computer programming
716	PDF Document Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2005-01-17 11:06:30 Models of computation Virtual machines Programming language implementation Lisp programming language Functional languages Abstract machine Programming language Prolog Bytecode Computing Software engineering Software
717	PDF Document Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2007-08-24 04:14:36 Computer programming Oz Declarative programming Concurrent computing Logic programming Alice Prolog Imperative programming Dataflow programming Software engineering Computing Programming paradigms
718	PDF Document Add to Reading List Source URL: www.ensta-bretagne.fr Language: English - Date: 2013-04-02 03:11:07 Declarative programming Mathematical optimization Local consistency Constraint Solver Prolog Constraint satisfaction Quadratic programming Constraint programming Theoretical computer science Software engineering
719	PDF Document Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2011-09-19 10:31:27 Artificial intelligence Stable model semantics Negation as failure Prolog Answer set programming Negation Inference Natural deduction Admissible rule Logic programming Logic Software engineering
720	PDF Document Add to Reading List Source URL: www.cs.sunysb.edu Language: English - Date: 2008-07-06 10:39:46 Theoretical computer science Logic Mathematics SLD resolution Stable model semantics Automated theorem proving FO Prolog Resolution Logic programming Rules of inference Mathematical logic