Published in Proceedings of EURO–PAR’95, Sweden Relating Data–Parallelism and (And–) Parallelism in Logic Programs? Manuel V. Hermenegildo and Manuel Carro Universidad Polit´ecnica de Madrid

Source URL: clip.dia.fi.upm.es

• Software engineering
• Compiler optimizations
• Data parallelism
• Prolog
• Automatic parallelization
• Parallelism
• Scalable parallelism
• Programming paradigms
• Task parallelism
• Computing
• Parallel computing
• Computer programming

Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover

Source URL: www.cs.bath.ac.uk

• Computer programming
• Prolog
• Warren Abstract Machine
• Unification
• Backtracking
• Answer set programming
• B-Prolog
• Logic programming
• Software engineering
• Computing

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming? M.J. Fern´ andez M. Carro M. Hermenegildo

Source URL: clip.dia.fi.upm.es

• Programming language theory
• Prolog
• Speedup
• Parallel processing
• Central processing unit
• Automatic parallelization
• Parallel computing
• Computing
• Computer programming

Inhalt 7 Prolog – Die Hängematte

Source URL: www.hatjecantz.de

A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗)

Source URL: clip.dia.fi.upm.es

• Database management systems
• Prolog
• Query languages
• Deductive database
• Logic programming
• Database
• SQL
• Predicate
• Persistence
• Computing
• Software engineering
• Computer programming

PDF Document

Source URL: www.cs.arizona.edu

• Prolog
• Append
• Logic programming
• Icon
• Unification
• Smalltalk
• Software engineering
• Computer programming
• Computing

CENTENNIAL SECTION PROLOG Prolog to the Section on Privacy and Cybersecurity BY C ARL L ANDWEHR , Senior Member IEEE The ancient word Bsecurity[ originated from the Latin securitas, meaning freedom from anxiety or care,

Source URL: www.landwehr.org

• Ethics
• English languages
• Internet ethics
• Law
• Privacy
• Computer security
• Institute of Electrical and Electronics Engineers
• Internet privacy
• Information security
• Security
• Crime prevention
• National security

Indexing over Predicates Indexing over Terms Beyond Horn Clauses

Source URL: www.qatar.cmu.edu

• Searching
• Logic programming
• Information retrieval
• Search engine indexing
• Predicate
• Information science
• Software engineering
• Prolog

Jitting Prolog for Fun and Profit David Schneider Carl Friedrich Bolz

Source URL: bergel.eu

• Compiler construction
• Programming language implementation
• PyPy
• Prolog
• Just-in-time compilation
• Partial evaluation
• Logic programming
• Interpreter
• Compiler
• Software engineering
• Computing
• Computer programming

Chapter 20 Repeating Blocks: Iteration One thing computers are good at is repeating operations—like little children, they never tire

Source URL: www.appinventor.org

• Notation
• Foreach loop
• D
• While loop
• Perl control structures
• B-Prolog
• Computing
• Software engineering
• Control flow