Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
371	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
372	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.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
373	Seven Languages in Seven Weeks Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-03-27 11:23:10 Functional languages The Pragmatic Programmer Erlang Haskell Prolog Computing Software engineering Computer programming
374	Warren’s Abstract Machine A Tutorial Reconstruction Hassan Aıt-Kaci ICLP’91 Pre-Conference Tutorial Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2005-03-21 20:04:02 Prolog Limit Heap Variable Mathematics Algebraic structures Functor
375	a YAP User’s Manual Version[removed]V´ıtor Santos Costa, Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2010-08-04 13:47:19 Constraint programming Prolog Logtalk YAP Logic programming Constraint Handling Rules Warren Abstract Machine Cygwin CLP Computing Software engineering Software
376	William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming When someone says “I want a programming language in which I need only say what I Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-04-12 16:50:44 Applied mathematics Logic in computer science Combinatory logic Fixed-point combinator Eval Symbol Prolog Futures and promises Theoretical computer science Computing Lambda calculus
377	PowerLoom-Course-Lecture3 Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-05-29 19:28:47 Knowledge LOOM Inference Prolog Rabies Semantic reasoner Knowledge representation and reasoning Logic programming Backward chaining Reasoning Logic Science
378	Sceptic User Manual September 1989, revised March 1990 Version 3.0, December 1990 Saki Hajnal John Fox Paul Krause Add to Reading List Source URL: cogent.psyc.bbk.ac.uk Language: English - Date: 2012-01-10 15:14:11 Prolog Logic programming Programming paradigms Production system Constraint programming B-Prolog Software engineering Computer programming Computing
379	Suppl : A Flexible Language for Policies Robert Dockins and Andrew Tolmach Portland State University Abstract. We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, exe Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-09-11 10:05:46 Programming paradigms Prolog Predicate Logic programming Logic Mathematical logic Mathematics
380	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming

UPDATE