Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
301	A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-05-02 05:38:03 Type theory Variables Prolog Backtracking MOS Technology SID Assignment Pointer Free variables and bound variables Stack Computing Software engineering Data types
302	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
303	DEPARTMENT OF COMPUTING ~ MACQUARIE UNIVERSITY Minutes of the 300-Level Liaison Committee Meeting 14th October 2013 @ 1pm Present: Student Representatives Add to Reading List Source URL: comp.mq.edu.au Language: English - Date: 2013-12-09 18:10:23 Education reform Pedagogy Philosophy of education Educational psychology Prolog Education Computing
304	Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:20 Mathematical logic Prolog Mathematical proof SQL Idea Computing Cognition Programming language theory
305	Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:36 Typography Digital typography LaTeX Prolog Association for Computing Machinery MathTime TeX Computing Application software
306	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
307	Predicate Routing: Enabling Controlled Networking Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2011-02-22 16:10:24 PlanetLab Tapestry Programming language theory Software engineering Prolog Peer-to-peer Benchmark Pastry Distributed data storage Software testing Computing
308	Using triples for implementation: the Triple20 ontology-manipulation tool Jan Wielemaker1 , Guus Schreiber2 , and Bob Wielinga1 1 University of Amsterdam, Human Computer Studies (HCS), Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Resource RDF Schema Simple Knowledge Organization System Ontology editor Ontology Triplestore GUI widget Resource Description Framework RDFLib Semantic Web Information Data
309	Why It’s Nice to be Quoted: Quasiquoting for Prolog Jan Wielemaker1 and Michael Hendricks2 1 Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2013-07-14 07:05:17 Technical communication Prolog JavaScript XHTML Document Object Model DICT XML Futures and promises Map Computing Markup languages HTML
310	Sophia: An Information Plane for Networked Systems Mike Wawrzoniak and Larry Peterson Princeton University Abstract This paper motivates and describes an example network Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2014-09-30 10:30:55 Automated theorem proving Programming paradigms Actor model PlanetLab Software testing Prolog Eval Logic programming Futures and promises Computing Software engineering Computer programming

UPDATE