A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Model to Efficient Compilation of Patterns From Abstract PROLOG Instruction Set An Abstract PROLOG Machine-a Specification  Abstract PROLOG Machine and its Application to Partial Evaluation ...  on of an Abstract PROLOG Machine An Abstraction in Logic Programming Modularization and Abstraction in Logic Programming Modularization and Abstraction in PROLOG/KR Data Acceptability ... for PROLOG DB Applications Prograph as an Environment for PROLOG in LISP Qlog-the Programming Environment for PROLOG Program Development A Programming Support Environment ...doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm
Lecture Notes in Computer Science
It is proposed as a first step towards a common standard Java + Prolog API, gifting the Java developer with the best inference engines, and the logic programmer with simple access to the mainstream object-oriented ... It promotes coarse-grained integration between logic and object-oriented layers, by providing the ability to bidirectionally map any class data structure to a Prolog term; integration is done either through ... Prolog programming perspective The main InterProlog contribution for Prolog programming is the javaMessage predicate shown below, but it also provides a simple "Prolog listener" window: a traditional " ...doi:10.1007/978-3-540-30227-8_64 fatcat:t57ezzbedbczpdhxf5qun6cgie
Moreover, we use the Java/Prolog multi-paradigm capabilities of tuProlog as a case study for discussing the integration of two different programming languages in a single environment. ... We set out to design an environment for logic programming built around tuProlog, a Java-based light-weight Prolog engine that provides seamless integration into the platform and promotes an innovative ... to the Prolog AST) and extension towards the multiparadigm side of the project will be pursued. ...dblp:conf/eclipseit/PiancastelliD08 fatcat:wuaoptibzjbvln4zlm6rhoyik4
Guoqi LI †a) , Member SUMMARY The large and complicated safety-critical systems today need to keep changing to accommodate ever-changing objectives and environments. ... Accordingly, runtime analysis for safe reconfiguration or evaluation is currently a hot topic in the field, whereas information acquisition of external environment is crucial for runtime safety analysis ... When calling a Prolog program from C++ through the interface of SWI-Prolog, additional threads or processes will be created and the results of the Prolog program will be output to the console of SWI-Prolog ...doi:10.1587/transinf.e97.d.981 fatcat:uzykej6ptfcgzgmxvumvrfk35a
The AI Magazine
The workshop was intended as a forum for the presentation of new approaches to processing declarative knowledge, the discussion of procedural versus alternative paradigms, and the issues concerned with ... He reported on a surprisingly large number of currently used database-sized applications developed in Prolog. ... A special talk by Moss entitled "Commercial Applications of Large Prolog Knowledge Bases'' concluded the workshop. ...doi:10.1609/aimag.v13i1.983 dblp:journals/aim/Ribeiro92 fatcat:o6ikke2pynhanj22n7jkyfysbi
We propose the use of a new concept, enabling robots to do these two things, for autonomously controlling mobile robots. ... The results of these experiments show that our idea provides a way to adapt to dynamic changes of the environment in the real world. ... Acknowledgments This work was supported by Nara Women's University Intramural Grant for Young Women Researchers. ...arXiv:1307.7129v1 fatcat:dugoysbsdbfexiuumsk6skmnu4
University Computing : The Bulletin of the IUCC
The obligatory Case Studies are a problem solver based on the STRIPS approach and an electronic diary, with interesting comments on how large programs can be extended in Prolog. ... A core of Prolog is used for the code throughout the book. ...
the Prolog program. ... The idea is to translate a default theory along with a query into a Prolog program and a Prolog query so that the original query is derivable from the default theory iff the Prolog query is derivable from ...
Experiences from a large industrial circuit design application. 37. Prolog testing of C modules. XVII. Program transformation and synthesis. 38. ... Programming environments 1. Temporal debugging and its visual animation. 2. Abstract view of prolog executions in opium. LI. Non-horu programs. 3. ...doi:10.1016/0898-1221(92)90096-z fatcat:4pjyhq2h5zcxzcjs7pzcgpop54
Minsky, Towards a pro- gramming environment for large Prolog programs (pp. 230-241); Harald Ganzinger and Michael Hanus, Modular logic program- ming of compilers (pp. 242-253); Amitabh Srivastava, Don ... O’Keefe, To- wards an algebra for constructing logic programs (pp. 152-160); Mats Carlsson, A microcoded unifier for Lisp Machine Prolog (pp. 162-171); Laurent Fribourg, SLOG: a logic programming language ...
For a large class of programs the algorithm has U(log n) overhead and exhibits O(n/(log n)2) parallel speedup over the standard sequential algorithm. ... D We describe a simple OR-parallel execution algorithm for PROLOG that naturally collects all solutions to a goal. ... The theoretical analysis indicates that the algorithm may be practical for a large class of PROLOG programs. ...doi:10.1016/0743-1066(89)90016-2 fatcat:ee6xvsrjkfc3bnj7q72hdcfi4e
Lecture Notes in Computer Science
At the current state of the art, people are not encouraged to use logic programming languages for bulding large and complex software systems due to the difficulty of expressing concepts such as modularity ... Initially, a new mechanism is added to Prolog: the possibility to split a base of clauses into a set of different units. ... In particular, P-units seem well suited to build a programming environment for Prolog, using Protog itself. ...doi:10.1007/3-540-16442-1_21 fatcat:2oaodg5jdrdg3loq53opzzewoq
One interesting feature of Prolog is that variables in the head of a clause may be used for either input or output. Consider the program, tea ee in(X,[A,..B]) :— in(X, B). If a query such as ? ... The reader is in- vited to construct a trace of execution for the program: reverse(,). wesncoon 1] BI, X) :— reverse(B, B1), append(B1, [A], X). ...
IBM Systems Journal
BENICHOU ET AL. 761 Logic programming languages like Prolog have a large potential for parallel execution. The two main kinds of parallelism in Prolog are or-paral- lelism and and-parallelism. ... Use of Prolog will lead to a change in the skills required and methods used, and will shift the em- phasis from traditional programming and testing toward analysis or, in other words, from a com- puter ...doi:10.1147/sj.314.0755 fatcat:jidyrgtlzvfihjz3pj6mum7bse
The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploiting strict and non-strict independent and-parallelism, is described. ... Both automatic and manual parallelization of programs is supported. ... that exhibit enough parallelism, and can be guaranteed to perform no slower for all programs. ...doi:10.1007/bf03037164 fatcat:kfxbk6asfvdz3mu4bffihj44rq
« Previous Showing results 1 — 15 out of 5,564 results