2,834 Hits in 2.3 sec

Periodic Adaptive Branch Prediction and its Application in Superscalar Processing in Prolog

R.-L. Ma, C.-P. Chung
1995 Computer journal  
PAM's prediction hit rate as measured by 10 Prolog benchmark programs is 97%. When implemented in a superscalar Prolog system, PAM enhances the degree of system parallelism by 68.8%.  ...  Branch instructions create barriers to instruction prefetching, greatly reducing the fine-grained parallelism of programs. Branch prediction is a common method for solving this problem.  ...  In Figure 6 (2), the period of the pattern is 5, so bit 5 is always equal to the branch result and the result can be predicted reliably.  ... 
doi:10.1093/comjnl/38.6.457 fatcat:ubiueegspjhk7ohfvvqojehfnu

Declarative language extensions for prolog courses

Ulrich Neumerkel, Markus Triska, Jan Wielemaker
2008 Proceedings of the 2008 international workshop on Functional and declarative programming in education - FDPE '08  
In this paper we present several extensions to support a more declarative view of programming in Prolog.  ...  Even quite complex programs can now be written free of any reference to the more problematic constructs.  ...  However, to date, we are unaware of any type system for Prolog that produces actual guarantees as type systems do so reliably for functional languages.  ... 
doi:10.1145/1411260.1411271 dblp:conf/icfp/NeumerkelTW08 fatcat:qvrzt66u2jfaddv2xojog6osqe


Alexei A. Morozov, Olga S. Sushkova, Alexander F. Polupanov
2017 Radioelectronics Nanosystems Information Technologies  
In contrast to the conventional 2D video surveillance, the methods of 3D vision provide reliable recognition of parts of the human body that makes possible a new statement of the problem and efficient  ...  The goal of this work is to implement the advantages of the logic programming approach in the area of 3D intelligent video surveillance.  ...  Tolmatcheva for the help in the preparation of 3D video samples and Angelos Barmpoutis for his J4K [59] library that was used for the data collection.  ... 
doi:10.17725/rensit.2017.09.205 fatcat:p4qzuh44abgnhdwgi4i6beug7a

The Specification of an Expert System for Building Bylaws Compliance

Sania Bhatti, Manzoor Ahmed Hashmani, Naheed Shaikh
2012 Mehran University Research Journal of Engineering and Technology  
Java an OOP (Object Oriented Programming) language, Prolog- a rule based language and MS Access- for database. The solution is fulfilling the three main requirements of the HDA, i.e.  ...  An Expert System is a computer program that simulates the human intelligence and behaviour in specific and limited domains.  ...  Another challenge is the provision of hybrid approach which combines the strengths of expert system and object oriented programming language.  ... 
doaj:48e87293066a48bebd4eda1595ed8ed2 fatcat:bwnlg7mbebgohl52danvh4urdy

Declarative programming for verification

Michael Leuschel
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
This paper summarises roughly ten years of experience using declarative programming for developing tools to validate formal specifications.  ...  More precisely, we present insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages, ranging from process algebras such as CSP to  ...  Acknowledgments I would like to thank the co-authors of the papers that are behind this work: Jens Bendisposto, Michael Butler, Marc Fontaine, Helko Lehmann, Thieryy Massart, Daniel Plagge, Corinna Spermann  ... 
doi:10.1145/1389449.1389450 dblp:conf/ppdp/Leuschel08 fatcat:f55xkcbjaral7lytcr6odnmsee

IDRA (ideal resource allocation): Computing ideal speedups in parallel logic programming [chapter]

M. J. Fernández, M. Carro, M. Hermenegildo
1996 Lecture Notes in Computer Science  
A tool implementing the aforementioned techniques is presented, and its predictions are compared to the performance of real systems, showing good correlation.  ...  We present a technique to estimate accurate speedups for parallel logic programs with relative independence from characteristics of a given implementation or underlying parallel hardware.  ...  We believe that both the core idea and the actual tool developed can be applied to any parallel execution paradigm (not only logic programming) whose task structure conforms to any of those in our initial  ... 
doi:10.1007/bfb0024769 fatcat:bq3h4xtlafdhjlekqi3llwwk7a

SWISH DataLab: A Web Interface for Data Exploration and Analysis [chapter]

Tessel Bogaard, Jan Wielemaker, Laura Hollink, Jacco van Ossenbruggen
2017 Communications in Computer and Information Science  
Using search logs from the National Library of the Netherlands combined with the collection content metadata, we demonstrate how to use SWISH DataLab for all stages of data analysis, using Prolog predicates  ...  SWISH DataLab is a single integrated collaborative environment for data processing, exploration and analysis combining Prolog and R.  ...  Acknowledgments We thank the National Library of the Netherlands for their support.  ... 
doi:10.1007/978-3-319-67468-1_13 fatcat:s7ddc5bjgzft3gyuqlggt6h2oa

An object-oriented modelling enviornment

T. W. Page, S. Berson, W. Cheng, R. R. Muntz
1989 SIGPLAN notices  
This system has been prototyped in an objectoriented extension to Prolog. The impact that these two paradigms, logic and objects, have had on the design is discussed.  ...  Many tools and techniques exist for the modeling and analysis of computer and communication systems. These tools are often complex and tailored to a narrow range of problems.  ...  Acknowledgements The authors wish to acknowledge the contributions of Gary Rozenblat, Leana Golubchik, and Jon Edwards to the implementation of the Tangram modeling system.  ... 
doi:10.1145/74878.74907 fatcat:gbmtj3hcujh7toavzblrsvf2ta

Using SWISH to realise interactive web based tutorials for logic based languages [article]

Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018 arXiv   pre-print
In this paper we describe the architecture of SWISH, and describe two case studies of extensions of Prolog, namely Probabilistic Logic Programming (PLP) and Logic Production System (LPS), which have used  ...  Web based interfaces allow for the creation of interactive documents that consist of text and programs, as well as their output.  ...  The SWISH implementation of LPS was developed under an EPSRC grant administered by Imperial College London. We thank the referees for their helpful comments.  ... 
arXiv:1808.08042v1 fatcat:7hob5fukfbarppat4kfqntzrd4

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  of FGCS [534]New Applications: User and Social Access to PROLOG Database Systems [529]  ...  Predicate [596]Semantics of a Logic Programming Language with a Reduction System [378]A PROLOG Implementation of the Knuth-bendix Redundancy to Obtain More Reliable and Readable PROLOG Programs [60]Adding  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Situation awareness via abductive reasoning from Semantic Sensor data: A preliminary report

Krishnaprasad Thirunarayan, Cory A. Henson, Amit P. Sheth
2009 2009 International Symposium on Collaborative Technologies and Systems  
This preliminary work illustrates synthesis of highlevel, reliable information for situation awareness by querying low-level sensor data.  ...  For concreteness, we formalize Weather domain and develop a meta-interpreter in Prolog to explain Weather data.  ...  and reasoned with in a logic programming language such as Prolog.  ... 
doi:10.1109/cts.2009.5067470 dblp:conf/cts/ThirunarayanHS09 fatcat:755buahrgrejrevbmxcfpfbtlu

Page 2340 of Psychological Abstracts Vol. 78, Issue 9 [page]

1991 Psychological Abstracts  
—Reviews psy- chological research on programming, focusing on problems ex- perienced by novices in learning Prolog, and presents a psy- chological model that explains how a certain class of errors in programs  ...  and the constructs that are available in Prolog (e.g., iterative solutions do not map easily to recursive programs).  ... 

Book reviews

1987 Computer  
It continues with an introduction to IBM Prolog and some advanced programming methods. The emphasis seems more on logic than on the teaching of Prolog.  ...  Specifically, artificial vision is predicted to reach 40 percent of the image processing market by 1992.  ... 
doi:10.1109/mc.1987.1663434 fatcat:ryfhdczjifevlc5pmas3bqct4a

Logic Programming and Software engineering—implications for Software design

Leon Sterling, Ümit Yalçinalp
1996 Knowledge engineering review (Print)  
We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.  ...  This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design.  ...  The first author acknowledges support of his current location, the Department of Computer Science of the University of Melbourne. The second author acknowledges colleagues at Quintus.  ... 
doi:10.1017/s026988890000802x fatcat:zzw3doi4nvddpkvn7dsybeyl7y

Prolog as the Fundament for Applications on the Semantic Web

Jan Wielemaker, Michiel Hildebrand, Jacco van Ossenbruggen
2007 International Conference on Logic Programming  
In this document we concentrate on the Prolog-based architecture, describing experiences and vital aspects of the design.  ...  This article describes the experiences developing a Semantic Web application entirely in Prolog.  ...  Acknowledgements This research was supported by the MultimediaN project funded through the BSIK programme of the Dutch Government.  ... 
dblp:conf/iclp/WielemakerHO07 fatcat:skwu3u34vnbwxbdccwvqr5hqn4
« Previous Showing results 1 — 15 out of 2,834 results