Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
651	Visual Prolog 7 边练边学 Contents Visual Prolog 7 边练边学 ................................................................................................................. 1 Add to Reading List Source URL: www.visual-prolog.com Language: Korean - Date: 2014-03-30 10:56:57
652	The XSB System Version 3.3 Volume 2: Libraries, Interfaces and Packages Add to Reading List Source URL: xsb.sourceforge.net Language: English - Date: 2013-07-04 05:07:52 Query languages Abstract data types Prolog Predicate logic Datalog Predicate XSB SQL HTML element Computing Software engineering Data types
653	VU University Amsterdam University of Amsterdam Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-01-08 12:18:02 Integrated development environments Constraint programming Prolog Smalltalk Genera Logic programming Emacs Visual Prolog Logtalk Software Computing Computer programming
654	VU University Amsterdam University of Amsterdam Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-05-28 05:58:58 Constraint programming Prolog ECLiPSe Constraint Handling Rules Logic programming Emacs Futures and promises Logtalk Visual Prolog Computing Software engineering Software
655	Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-27 15:02:09 Logic in computer science Type theory Formal methods Automated theorem proving Logical framework Twelf Logic programming Prolog Programming language Programming language theory Theoretical computer science Software engineering
656	Case Study Epayslips Add to Reading List Source URL: www.prologprintmedia.co.uk Language: English - Date: 2013-09-09 10:34:39 H&M Prolog Business Computing Employment compensation Payroll Paycheck
657	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory
658	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
659	[removed]Gotand Bike Battle Prolog Add to Reading List Source URL: www.gotlandbikebattle.se Language: Swedish - Date: 2010-08-20 12:48:30
660	IF/Prolog V5.3 Constraints Package Add to Reading List Source URL: www.ifcomputer.de Language: English - Date: 2007-12-17 04:37:32 Prolog Programming paradigms Constraint programming Logic programming Backtracking Predicate B-Prolog Prolog syntax and semantics Software engineering Computer programming Computing

UPDATE