Filters








11,744 Hits in 6.1 sec

Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration [article]

Goran Falkman, Olof Torgersson
2002 arXiv   pre-print
The Gisela framework for declarative programming was developed with the specific aim of providing a tool that would be useful for knowledge representation and reasoning within real-world applications.  ...  In addition to providing complete integration, Gisela also allows extensions and modifications due to the general computation model and well-defined APIs.  ...  The controller connects the two, and decides how to handle user actions and how data obtained from the model should be presented in the view.  ... 
arXiv:cs/0207054v1 fatcat:myljj3e57jeghgfg4za35zktvi

The use of prolog for improving the rigour and accessibility of ecological modelling

R. Muetzelfeldt, D. Robertson, A. Bundy, M. Uschold
1989 Ecological Modelling  
We introduce the concept of a 'model blueprint', a complete. formal specification of the structure of a model, and show how a blueprint can be represented as a Prolog program, basing our analysis on system  ...  The use of Prolog for improving the rigour and accessibility of ecological modelling. EcoL Modelling, 46: 9-34.  ...  We begin by showing how Prolog can be used to represent the model blueprint for models that conform to the formalism of system dynamics (see Wolfe et al., 1986) .  ... 
doi:10.1016/0304-3800(89)90067-7 fatcat:qjatla6bvfh3tjfjoprsva6a44

Computational thinking for beginners: A successful experience using Prolog

Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
2015 Italian Conference on Computational Logic  
For our experiments we combined lectures on inductive reasoning with Prolog, practice on natural language processing and ontologies, and evaluations based on questionnaires before and after the workshop  ...  We discuss a logic-based methodology that we adopted to teach basic concepts of programming to high school students with a scientific profile and very basic knowledge of computer science.  ...  The tutorial is based on a crash-course that introduces the application domain, followed by lectures on declarative programming, on the use of tools, and practical sessions to learn the basics of programming  ... 
dblp:conf/cilc/BeuxBCDFFGMOPST15 fatcat:nlwgopup4na4bdlzssb34olfbq

Kenyan "Nyumba Kumi" Neighborhood Information System using Artificial Intelligence

Kevin O., Kenneth O.
2016 International Journal of Computer Applications  
The system is able to answer various neighborhood queries using artificial intelligence knowledge from the facts and rules fed into the system, which we designed using prolog.  ...  The system could be customized by adding as many facts and rules as possible as long as the facts and rules are not contradicting.  ...  These facts should be collected from a "nyumba kumi" neighborhood. We designed and implemented the system, and then gave a structure of how to develop the predicate logics for feeding the system.  ... 
doi:10.5120/ijca2016910488 fatcat:4wrtrtjh6fgnvos43rbwk7s6ze

Debugging Prolog Using Annotations

M. Kulaš
2000 Electronical Notes in Theoretical Computer Science  
No restrictions are placed upon the object language, the concern being veri cation of (full) Standard Prolog programs. Here we discuss the merits of the annotations for Prolog debugging.  ...  We present an annotation language well-suited for rendering aspects of Prolog execution. Our annotations are special Prolog goals that act as executable comments, performing debugging at run-time.  ...  For such p u r p o s e s w e allow negative contexts, represented as dash-pre xed atomary Prolog goals.  ... 
doi:10.1016/s1571-0661(05)80660-7 fatcat:prgqsokmerevnehq5xxntmjkoe

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB [article]

Spyros Hadjichristodoulou, Donald E. Porter, David S. Warren
2013 arXiv   pre-print
In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs.  ...  This project illustrates that Prolog systems are ideal for building tools for use in other disciplines that require sophisticated inferences, because Prolog is both declarative and can efficiently implement  ...  Acknowledgments We thank the anonymous reviewers for their insightful comments on earlier versions of this paper.  ... 
arXiv:1308.3938v1 fatcat:a6ibrl44jvgwxmrgj5vtlitt5e

Using Prolog for Transforming XML Documents [article]

René Haberland
2021 arXiv   pre-print
Proponents of the programming language Prolog share the opinion Prolog is more appropriate for transforming XML-documents as other well-established techniques and languages like XSLT.  ...  In order to clarify this position this work proposes a tuProlog-styled interpreter for parsing XML-documents into Prolog-internal lists and vice versa for serialising lists into XML-documents.  ...  The essential lingual features of Prolog should be considered for transformations. Next, an appropriate data structure should be researched in Prolog for parsing and serialisation of XML-documents.  ... 
arXiv:1912.10817v2 fatcat:ipcltqdwo5gzzoewzzxatwjol4

Measuring Coverage of Prolog Programs Using Mutation Testing [article]

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
2018 arXiv   pre-print
Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations.  ...  To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.  ...  For most mutations, examples that represent idiomatic Prolog code are given.  ... 
arXiv:1808.07725v1 fatcat:nygxqcf7tjfdvigm6qcicraf3a

Using a Logic Programming Language with Persistence and Contexts [chapter]

Salvador Abreu, Vitor Nogueira
2006 Lecture Notes in Computer Science  
This claim is experimentally backed by the applications that have been developed using these tools.  ...  We claim that these two can be effectively combined to obtain a language which offers significant gains in expressiveness over previous work.  ...  The sequence of web pages is represented and managed using a sequence of contexts, each representing what may be done at a particular stage.  ... 
doi:10.1007/11963578_4 fatcat:wtpwn7x2crb2lfd36zyeaklsjq

Using Classification as a Programming Language

Chris Mellish, Ehud Reiter
1993 International Joint Conference on Artificial Intelligence  
of the computations required by a natural-language generation system; in fact it seems possible to use the classifier to encode and execute arbitrary programs.  ...  Our experience in the IDAS natural language generation project has shown us that IDAS'S KL-ONE-like classifier, originally built solely to hold a domain knowledge base, could also be used to perform many  ...  Classes can also be used to represent data structures, with roles being used to represent and access the data structure's fields.  ... 
dblp:conf/ijcai/MellishR93 fatcat:iask4sc7vraovmwuez3iwbskym

Computer-Guided Solutions to Physics Problems Using Prolog

Thomas J. Bensky, Catherine A. Taff
2010 Computing in science & engineering (Print)  
By posing a continual stream of pertinent questions, a nonmathematical computer program can prod freshman physics students toward an analytical solution to one-dimensional kinematics problems.  ...  How should we present the problem's facts to the computer? What solution do we need? Attempting to code this software in a rigid, step-by-step procedural lan guage would be unnecessarily labored.  ...  The fourth might then be derived (by the stu dent) using the kinematic equation the rule represents (as the software will advise). A similar written rule ex ists for Equation 2 .  ... 
doi:10.1109/mcse.2010.8 fatcat:sbrx7zam5rfwtkjy7f6nkm6ck4

Are Black Boxes Transparent?— High School Students' Strategies of Using Abstract Data Types

Bruria Haberman, Ehud Shapiro, Zahava Scherz
2002 Journal of educational computing research  
We developed an instructional model designed to introduce ADT as a formal CS concept and as a tool for developing computer programs. To implement the abstract data types, we used "black boxes."  ...  However, there were also students who adopted their own strategies for using ADTs: a) using ADTs only as a graphical description to organize data and knowledge; and b) using "ADT black boxes" in alternative  ...  described, should be taught only to advanced students.  ... 
doi:10.2190/afr7-chtt-ea8t-61ef fatcat:kipmmxhvuvfvfc4466fgk5nsxa

Constraint animation using an object-oriented declarative language

Jeff Gray, Stephen Schach
2000 Proceedings of the 38th annual on Southeast regional conference - ACM-SE 38  
/ambig.html 2 See [42] for a detailed chronicle of the problem.  ...  In particular, in this paper we focus on animating the effect of constraints. 1 A list of ambiguous and inconsistent statements is being compiled and can be found at: http://www.vuse.vanderbilt.edu/~jgray  ...  Several authors, most notably [13] , used the problem to illustrate how their specific technique could be used to uncover errors.  ... 
doi:10.1145/1127716.1127718 dblp:conf/ACMse/GrayS00 fatcat:r3l3pjmcbbg5fokyii2rgkcf6e

Automatic Differentiation using Constraint Handling Rules in Prolog [article]

Samer Abdallah
2017 arXiv   pre-print
representing the computation.  ...  This note describes a novel approach to reverse mode automatic differentiation using constraint logic programmming, specifically, the constraint handling rules (CHR) library of SWI Prolog, resulting in  ...  Acknowledgments I would like to thank Jan Burse for discussions on the SWI Prolog mailing list about using Prolog for differentiation and for prompting me to investigate the problem of computing multiple  ... 
arXiv:1706.00231v1 fatcat:urjhljq4p5govg4epfmd6nfzbi

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
The output can be rendered using web technology as, e.g., text, tables, charts or graphs.  ...  This article describes SWISH, a web front-end for Prolog that consists of a web server implemented in SWI-Prolog and a client web application written in JavaScript.  ...  We thank the referees for their helpful comments.  ... 
arXiv:1808.08042v1 fatcat:7hob5fukfbarppat4kfqntzrd4
« Previous Showing results 1 — 15 out of 11,744 results