Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
721	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2004-01-23 12:07:32 Computing Functional languages Escher Logic programming Gödel Procedural programming Programming language Prolog Declarative programming Software engineering Programming paradigms Computer programming
722	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:57:10 Automated theorem proving Year of birth missing Logic in computer science Logic programming Prolog Planner Keith Clark Model elimination Logic Software engineering Computing Computer programming
723	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-08-22 06:40:52 Type theory Data types Object-oriented programming Go! Semantic Web Knowledge representation Prolog Subtype polymorphism Polymorphism Software engineering Computing Computer programming
724	PDF Document Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2004-02-05 12:29:47 Functional languages Functional programming Higher-order functions Literate programming Programming paradigms Prolog Haskell Append Type class Software engineering Computing Computer programming
725	PDF Document Add to Reading List Source URL: www2.parc.com Language: English - Date: 2000-03-28 03:32:56 Programming language implementation Lisp Self-interpreter Programming language Interpreter Compiler Object-oriented programming Dynamic programming language Prolog Software engineering Computing Computer programming
726	PDF Document Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:32:23 Reasoning Logic programming Query languages Semantic Web Programming paradigms Datalog Prolog Semantic reasoner Answer set programming Computing Software engineering Artificial intelligence
727	PDF Document Add to Reading List Source URL: wps.aw.com Language: English - Date: 2008-06-24 17:03:38 Lisp programming language Automated theorem proving Functional languages Constraint programming Object-oriented programming Prolog Logic programming Lisp Planner Computing Software engineering Computer programming
728	PDF Document Add to Reading List Source URL: cgi.di.uoa.gr Language: English - Date: 2009-10-07 03:51:54 Programming language implementation Computing Definite clause grammar Prolog Logic programming Context-free grammar Van Wijngaarden grammar Parsing Augmented transition network Formal languages Compiler construction Software engineering
729	PDF Document Add to Reading List Source URL: iospress.metapress.com Language: English Functional languages Lisp programming language Integrated development environments Allegro Common Lisp Prolog Genera Common Lisp Lisp Logic programming Computing Software engineering Computer programming
730	PDF Document Add to Reading List Source URL: download.pdc.dk Language: English - Date: 2008-08-25 08:05:37 Integrated development environments Borland software Debuggers Visual Prolog Prolog Logic programming Anonymous function Logtalk SWI-Prolog Software engineering Computing Computer programming