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

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• XSB
• Prolog
• Logic programming
• Partial evaluation
• Mathematical logic
• Logic
• Deductive database
• Abstract interpretation
• ECL programming language

New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)

Source URL: ijcai-16.org

• Software engineering
• Logic
• Declarative programming
• Reasoning
• Programming paradigms
• Model theory
• Logical connectives
• Logic programming
• Prolog
• Datalog
• HiLog
• XSB

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

Source URL: cses.informatik.hu-berlin.de

• Education
• Software engineering
• Educational psychology
• Programming paradigms
• Computer programming
• Educational technology
• Intelligent tutoring system
• Exercise
• Functional programming
• Programming language
• Prolog

ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog

Source URL: repository.readscheme.org

• 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

Microsoft Word - Prolog im Vilnius.doc

Source URL: www.bowling-thueringen.de

PDF Document

Source URL: repository.readscheme.org

• Software engineering
• Declarative programming
• Computer programming
• Automated theorem proving
• Logic programming
• Prolog
• Interpreter
• Eval
• Substitution
• Resolution

Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract

Source URL: repository.readscheme.org

• Software engineering
• Theoretical computer science
• Logic programming
• Computer programming
• Programming paradigms
• Automated theorem proving
• Type theory
• Prolog
• Unification
• Substitution
• Interpreter
• Term

Finding Application Errors and Security Flaws Using PQL: a Program Query Language Michael Martin Benjamin Livshits

Source URL: suif.stanford.edu

• Software engineering
• Computer programming
• Computing
• Query languages
• Functional languages
• Object-oriented programming languages
• Scripting languages
• SQL
• Datalog
• Prolog
• Closure
• Objective-C

A POLYGON OVERLAY SYSTEM IN PROLOG Wm. Randolph Franklin Peter Y.F. Wu Electrical, Computer, and Systems Engineering Dept. Rensselaer Polytechnic Institute Troy, NY

Source URL: mapcontext.com

• Geometry
• Software engineering
• Polygons
• Mathematics
• Euclidean plane geometry
• Point in polygon
• Computational geometry
• Prolog
• Sliver polygon
• Convex geometry
• Simple polygon

Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3

Source URL: research.nii.ac.jp

• Software engineering
• Formal languages
• Computer programming
• Declarative programming
• Datalog
• CYK algorithm
• Definite clause grammar
• Parsing
• Logic programming
• Prolog
• Parse tree
• Categorial grammar