Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
381	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
382	Cologne: A Declarative Distributed Constraint Optimization Platform Changbin Liu∗ ∗ University Lu Ren∗ Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:31 Constraint programming Operations research Mathematical optimization Numerical software Mathematical modeling Datalog Prolog Constraint optimization Solver Software engineering Computer programming Computing
383	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
384	STEPS Toward The Reinvention of Programming First Year Progress Report Dec 2007 VPRI Technical Report TR[removed] Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:29 Cross-platform software Scripting languages Programming paradigms JavaScript Programming language Type system Lua Prolog C Computing Software engineering Software
385	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
386	The Ciao System A New Generation, Multi-Paradigm Programming Language and Environment (Including a State-of-the-Art ISO-Prolog) REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2013-06-19 03:35:12 Filter Emacs Assertion Prolog Shell Software bug Debugger Debugging D Software Computing Computer programming
387	The birth of Prolog Alain Colmerauer and Philippe Roussel November 1992 Abstract The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2014-09-29 06:14:00 Prolog Definite clause grammar Logic programming Planner Alain Colmerauer Q-systems Unification Inference B-Prolog Software engineering Computing Computer programming
388	Logic Programming: Prolog COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-05-02 09:28:13 Prolog Software engineering Nerd Cut Computing Logic programming Academia
389	Logtalk 2.6 Documentation July 2000 Paulo Jorge Lopes de Moura [removed] TECHNICAL REPORT DMI—2000/1 Add to Reading List Source URL: logtalk.org Language: English - Date: 2000-07-05 04:29:14 Object-oriented programming Logtalk Protocol Objective-C Multiple inheritance Prolog Smalltalk Prototype-based programming Object Software engineering Computer programming Computing
390	MDSS, Medical Diagnosis Support System. Antonio Ribeiro Filho Knowledge Engineer – SI Intelligent Systems [removed] Abstract— MDSS, Medical Diagnostic Support System is a medical expert system applied to suppo Add to Reading List Source URL: www.lpa.co.uk Language: English - Date: 2010-02-24 19:00:00 Decision theory Information systems Artificial intelligence Clinical decision support system Medical diagnosis Prolog Inference Expert system Medical history Medicine Health Medical terms

UPDATE