5,564 Hits in 4.2 sec

KWIC (key word in context)

1984 The Journal of Logic Programming  
Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation  ...  [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  ...  for PROLOG DB Applications [492]Prograph as an Environment for PROLOG in LISP [335]Qlog-the Programming Environment for PROLOG Program Development [341]A Programming Support Environment  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

InterProlog: Towards a Declarative Embedding of Logic Programming in Java [chapter]

Miguel Calejo
2004 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

Designing a Development Environment for Logic and Multi-Paradigm Programming

Giulio Piancastelli, Enrico Denti
2008 Italian Workshop on Eclipse Technologies  
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

A Framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems

Guoqi LI
2014 IEICE transactions on information and systems  
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

International Workshop on Processing Declarative Knowledge (Report)

Cristina Ribeiro
1992 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

An Architecture for Autonomously Controlling Robot with Embodiment in Real World [article]

Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
2013 arXiv   pre-print
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

Page 76 of University Computing : The Bulletin of the IUCC Vol. 12, Issue 2 [page]

1990 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.  ... 

Page 7086 of Mathematical Reviews Vol. , Issue 99j [page]

1999 Mathematical Reviews  
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  ... 

Book reports

1992 Computers and Mathematics with Applications  
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

Page 5443 of Mathematical Reviews Vol. , Issue 88j [page]

1988 Mathematical Reviews  
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  ... 

OR-parallel PROLOG in flat concurrent PROLOG

Ehud Shapiro
1989 The Journal of Logic Programming  
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

Programs as collections of communicating Prolog units [chapter]

Paola Mello, Antonio Natali
1986 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

Page 64 of Journal of Research and Practice in Information Technology Vol. 15, Issue 2 [page]

1983 Journal of Research and Practice in Information Technology  
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).  ... 

Prolog at IBM: An advanced and evolving application development technology

M. Benichou, H. Beringer, J.-M. Gauthier, C. Beierle
1992 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: Exploiting independent and-parallelism

M. V. Hermenegildo, K. J. Greene
1991 New generation computing  
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