Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
401	An Overview of M. Hermenegildo1,2 M. Carro1,2 P. L´ opez-Garc´ıa4,1 E. Mera3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-20 13:18:16 Prolog Programming language RuleML Ciao Linux kernel Computing Software Programming language theory
402	Logic Prolog Logic Programming: Prolog All Caltech graduates are nerds. Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-05-02 09:28:31 Prolog Unification Computing Logic programming Programming language theory Software engineering
403	Towards a Study of Meta-Predicate Semantics Paulo Moura Dep. of Computer Science, Univ. of Beira Interior, Portugal Center for Research in Advanced Computing Systems Add to Reading List Source URL: logtalk.org Language: English - Date: 2010-07-14 20:23:31 Prolog Predicate Predicate logic Logtalk Logic Software engineering Programming language theory
404	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://www.ciaohome.org/ Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2011-08-16 03:35:22 Filter Assertion Emacs Prolog D Software bug Software Computing Computer programming
405	Master Thesis Modelling Uncertainty in 3APL Johan Kwisthout studentnummer[removed] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-09-05 12:29:41 Logic Software engineering Non-classical logic 3APL Dempster–Shafer theory Epistemic modal logic Logic programming Prolog AgentSpeak Multi-agent systems Computing Artificial intelligence
406	MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle Md Abdullah Al Mamun, Christian Berger, and Jörgen Hansson Chalmers \| University of Gothenburg, Sweden Department of Computer Science and Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:41 Wireless sensor network Technology Configuration graph Sensor node Prolog Model-based testing Programming language theory Computing Embedded systems Wireless networking
407	The Ciao Prolog System A Next Generation Multi-Paradigm Programming Environment REFERENCE MANUAL The Ciao System Documentation Series http://www.ciaohome.org/ Generated/Printed on: 26 April 2006 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2006-04-26 14:16:16 Debugging Logic in computer science Prolog Emacs Software Computing Assertion
408	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:25:17 Object-oriented programming Logtalk Protocol Objective-C Prolog Multiple inheritance Smalltalk Prototype-based programming Object Software engineering Computer programming Computing
409	3APL as Programming Language for Cognitive Robots Masters’ Thesis Technical Artificial Intelligence Computer Science, Utrecht University Marko Verbeek Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2003-02-26 06:44:38 Science 3APL Prolog Action theory Reason 2APL GOAL agent programming language Multi-agent systems Computing Artificial intelligence
410	Implementation of Axiomatic Language Walter W. Wilson1 1 Dept. of Computer Science & Engineering The University of Texas at Arlington Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2011-07-17 21:01:28 Lisp programming language Formal languages Formal systems Functional languages Metalogic Prolog S-expression Lisp Programming language Software engineering Computer programming Computing

UPDATE