Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
321	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
322	Syntactic integration of external languages in Prolog Jan Wielemaker1 and Nicos Angelopoulos2 1 Web and Media group, VU University Amsterdam, De Boelelaan 1081a, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2013-05-25 07:00:08 Constraint programming Prolog JSON Logic programming Programming language JavaScript SQL Operator Logtalk Computing Software engineering Computer programming
323	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:07:07 Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming
324	Native Preemptive Threads in SWI-Prolog Jan Wielemaker Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Language: English Threads Prolog Monitor Futures and promises POSIX Threads Erlang Logtalk Computing Software engineering Computer programming
325	An Architecture for Making Object-Oriented Systems Available from Prolog Jan Wielemaker and Anjo Anjewierden Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Constraint programming Prolog ECLiPSe Exception handling Visual Prolog Logtalk Software engineering Computer programming Computing
326	2 Logic programming for knowledge-intensive interactive applications ACADEMISCH PROEFSCHRIFT Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2009-03-18 04:31:51 Prolog Programming paradigms Logic programming Semantic Web RDF Software engineering Computing Computer programming
327	Precise Garbage Collection in Prolog Jan Wielemaker1 and Ulrich Neumerkel2 1 Universiteit van Amsterdam, The Netherlands Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2009-08-27 10:41:37 Constraint programming Prolog Logic programming ECLiPSe Garbage collection Env Unification Calling convention YAP Computing Software engineering Computer programming
328	Under consideration for publication in Theory and Practice of Logic Programming 1 SWI-Prolog and the Web JAN WIELEMAKER Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Markup languages Technical communication RDF XML Prolog Standard Generalized Markup Language CDATA Resource Data exchange Computing Semantic Web Web standards
329	PlDoc: Wiki style Literate Programming for Prolog Jan Wielemaker1 and Anjo Anjewierden2 1 2 Add to Reading List Source URL: www.swi-prolog.org Language: English Constraint programming Internet standards Prolog Logtalk ECLiPSe Literate programming Comment Javadoc Base64 Computing Software Computer programming
330	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 8 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:10 Prolog Logic programming Predicate logic Predicate Unification Function Datalog B-Prolog Software engineering Mathematical logic Logic

UPDATE