Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
51	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
52	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
53	Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2015-12-26 16:04:57 Education Software engineering Educational psychology Programming paradigms Computer programming Educational technology Intelligent tutoring system Exercise Functional programming Programming language Prolog
54	ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises
55	Microsoft Word - Prolog im Vilnius.doc Add to Reading List Source URL: www.bowling-thueringen.de Language: German - Date: 2013-02-21 04:52:59
56	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Software engineering Declarative programming Computer programming Automated theorem proving Logic programming Prolog Interpreter Eval Substitution Resolution
57	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
58	Finding Application Errors and Security Flaws Using PQL: a Program Query Language Michael Martin Benjamin Livshits Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-08-16 13:28:19 Software engineering Computer programming Computing Query languages Functional languages Object-oriented programming languages Scripting languages SQL Datalog Prolog Closure Objective-C
59	A POLYGON OVERLAY SYSTEM IN PROLOG Wm. Randolph Franklin Peter Y.F. Wu Electrical, Computer, and Systems Engineering Dept. Rensselaer Polytechnic Institute Troy, NY Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:29 Geometry Software engineering Polygons Mathematics Euclidean plane geometry Point in polygon Computational geometry Prolog Sliver polygon Convex geometry Simple polygon
60	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar

UPDATE