Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Constraint logic programming
• Prolog
• Programming language
• Partial evaluation
• Functional programming
• Constraint programming
• Abstract interpretation
• Logic programming

Active Knowledge: Dynamically Enriching RDF Knowledge Bases by Web Services Nicoleta Preda Max Planck Institute for Informatics Saarbrücken, Germany

Source URL: event.cwi.nl

• Computing
• Data management
• Data
• Resource Description Framework
• Query languages
• Web services
• Semantic Web
• Datalog
• SPARQL
• Prolog
• Data integration
• Query optimization

CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

Source URL: www.cs.miami.edu

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Software engineering
• TPTP
• Automated reasoning
• SPASS
• Reasoning system
• Prolog
• Model elimination
• OMDoc
• System on TPTP

Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)

Source URL: www.klomp.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Programming idioms
• Computability theory
• Alma-0
• Backtracking
• Logic programming
• Recursion
• Prolog
• Imperative programming

M1-M7 modules; A1 and A2 level: Course books: Małolepsza M., Hura!!! Po polsku 1, Prolog, Kraków 2006, Stempek I.,Stelmach A., Dawidek S., Szymkiewicz A., Polski, krok po kroku A1, polish-courses.com, Kraków 2011 An

Source URL: www.sjo.pw.edu.pl

Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf

Source URL: jroesch.github.io

• Software engineering
• Declarative programming
• Computer programming
• Constraint logic programming
• Constraint programming
• Logic programming
• Programming paradigms
• Formal languages
• CLP
• Prolog
• Context-free grammar
• JavaScript

Angela Berger Das Glückskeksprinzip Roman Prolog

Source URL: www.l-ars.ch

Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Programming paradigms
• Logic
• Logic programming
• Automated theorem proving
• Prolog
• Substitution
• Interpreter
• Term
• Programming language
• Declarative programming

C:/Mina dokument/4th year project/ProjectReport.dvi

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Rippling
• IsaPlanner
• A* search algorithm
• Mathematical proof
• Planner
• Isabelle
• Theorem
• Prolog

PDF Document

Source URL: prolog.univie.ac.at